Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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.
Visa övriga samt affilieringar
2014 (Engelska)Ingår i: Ada User Journal, ISSN 1381-6551, Vol. 35, nr 2, s. 128-132Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
2014. Vol. 35, nr 2, s. 128-132
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
URN: urn:nbn:se:ltu:diva-14586Lokalt ID: dfb4c554-18e8-4ed5-8d30-cc4e45cad7ffOAI: oai:DiVA.org:ltu-14586DiVA, id: diva2:987559
Anmärkning
Validerad; 2014; 20140818 (johsod)Tillgänglig från: 2016-09-29 Skapad: 2016-09-29 Senast uppdaterad: 2017-11-24Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Sök vidare i DiVA

Av författaren/redaktören
Lindgren, PerEriksson, JohanLindner, Marcus
Av organisationen
EISLAB
I samma tidskrift
Ada User Journal
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 171 träffar
RefereraExporteraLänk till posten
Permanent länk

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