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-lang static semantics for systems with mixed criticality
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.ORCID-id: 0000-0002-1791-535X
ISEP, Instituto Superior de Engenharia do Porto.
Vise andre og tillknytning
2014 (engelsk)Inngår i: Ada User Journal, ISSN 1381-6551, Vol. 35, nr 2, s. 128-132Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

In an embedded system, functions often operate under different requirements. In the extreme, a failing safety critical function may cause collateral damage (and hence consider to be a system failure) while non critical functions affect only the quality of service. Approaches by partitioning the system's functions into sandboxes require virtualization mechanisms by the underlying platform and thus prohibit deployment to the bulk of microcontroller based systems. In this paper we discuss an alternative approach based on static semantic analysis performed directly on the system specification expressed in the form of an object oriented (00) model in the experimental language RTFM-lang. This would allow to (at compile time) to discriminate in between critical and non-critical functions, and assign these (by means of statically checkable typing rules) appropriate access rights. In particular, one can imagine dynamic memory allocations to be allowed only in non-critical functions, while on the other hand, direct interaction with the environment may be restricted to the critical parts. With respect to scheduling, a static task and resource configuration allows e.g. Stack Resource Policy (SRP) based approaches to be deployed. In this paper we discuss how this can be achieved in a mixed critical setting.

sted, utgiver, år, opplag, sider
2014. Vol. 35, nr 2, s. 128-132
HSV kategori
Forskningsprogram
Inbyggda system
Identifikatorer
URN: urn:nbn:se:ltu:diva-14586Lokal ID: dfb4c554-18e8-4ed5-8d30-cc4e45cad7ffOAI: oai:DiVA.org:ltu-14586DiVA, id: diva2:987559
Merknad
Validerad; 2014; 20140818 (johsod)Tilgjengelig fra: 2016-09-29 Laget: 2016-09-29 Sist oppdatert: 2017-11-24bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Søk i DiVA

Av forfatter/redaktør
Lindgren, PerEriksson, JohanLindner, Marcus
Av organisasjonen
I samme tidsskrift
Ada User Journal

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 171 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