Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
RTFM-core: course in compiler construction
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.ORCID-id: 0000-0002-1791-535X
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.ORCID-id: 0000-0001-5311-1781
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.
Rekke forfattare: 32016 (engelsk)Inngår i: The SIGBED Review, ISSN 1551-3688, Vol. 14, nr 1, s. 29-36Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

The course in Compiler Construction is part of the Computer Science masters program at Luleå University of Technology (LTU). Since the fall of 2014, the course is given by the Embedded Systems group. This paper outlines the course syllabus and its relation to CPS/IoT and embedded systems in general. In particular, the course introduces domain specific language design with the outset from the imperative RTFM-core language. Students are exposed to design choices for the language, spanning from programming model, compiler design issues, back-end tools, and even runtime environments. The intention is to give a holistic perspective and motivate the use of compilation techniques towards robust, efficient, and verifiable (embedded) software. Of course, developing basic skills is not overlooked and as part of the laboratory assignments, students extend the min-imalistic Object Oriented language RTFM-cOOre and develop the compiler accordingly targeting the RTFM-core language as an intermediate representation. As the RTFM-core/-cOOre compilers are implemented using OCaml/Men-hir, the students are also exposed to functional languages and to their advantages in the context of compiler construction. However, for their own development they may choose alternative design tools and languages. This gives us the opportunity to review and correlate achievements and efficiency to the choice of tools and languages and it is an outset for future course development.

sted, utgiver, år, opplag, sider
2016. Vol. 14, nr 1, s. 29-36
HSV kategori
Forskningsprogram
Inbyggda system
Identifikatorer
URN: urn:nbn:se:ltu:diva-61641DOI: 10.1145/3036686.3036690OAI: oai:DiVA.org:ltu-61641DiVA, id: diva2:1068636
Tilgjengelig fra: 2017-01-26 Laget: 2017-01-26 Sist oppdatert: 2019-02-27bibliografisk kontrollert
Inngår i avhandling
1. !secure(system) <=?=> !safe(system): On Security and Safety of Industrial Software Systems
Åpne denne publikasjonen i ny fane eller vindu >>!secure(system) <=?=> !safe(system): On Security and Safety of Industrial Software Systems
2019 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Abstract [en]

The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. Typically, hard real-time requirements are a characteristic of safety-critical applications. In contrast to runtime verification, such applications primarily require static assurances concerning safety and security attributes. This thesis discusses the building blocks for a statically analyzable programming paradigm for embedded real-time applications and its implementation. Svenska kraftnät funded the research presented in this thesis and set the scope to industrial automation. Consequently, we also investigate the applicability of our RTFM framework for scheduling and resource management for the runtime environments of industrial applications. We start by reviewing relevant and well-established industry standards to build background knowledge of the state-of-the-art safety and security requirements in software development. Special attention is placed on the IEC 61131 and IEC 61499 standards for industrial software development and their programming and execution model. We show the feasibility of using IEC 61499 as a holistic, distributed, and hierarchical model with mappings from the functional layer (IEC 61499 function block networks) and safety layer (PLCopen safety function blocks) to RTFM. We also demonstrate that our Rust-based RTFM implementation enables static verification for a myriad of safety and security attributes. Moreover, our investigations reveal a mutual dependency of safety and security in the context of software systems. For this reason, we believe and argue that safety and security cannot be considered independent during the design and implementation of safety-critical applications. Upon closer examination, we even conclude that safety and security are equivalent.

 

sted, utgiver, år, opplag, sider
Luleå: Luleå University of Technology, 2019
Serie
Doctoral thesis / Luleå University of Technology 1 jan 1997 → …, ISSN 1402-1544
Emneord
embedded systems, hard real-time, concurrency, model of computation, safety-critical, safety, security, industrial automation, RTFM, real-time for the masses
HSV kategori
Forskningsprogram
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-73059 (URN)978-91-7790-320-8 (ISBN)978-91-7790-321-5 (ISBN)
Disputas
2019-05-08, A3024, Luleå, 13:00 (engelsk)
Opponent
Veileder
Tilgjengelig fra: 2019-03-01 Laget: 2019-02-27 Sist oppdatert: 2019-09-26bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Lindner, MarcusLindner, AndreasLindgren, Per

Søk i DiVA

Av forfatter/redaktør
Lindner, MarcusLindner, AndreasLindgren, Per
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 969 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf