Sökning: onr:"swepub:oai:DiVA.org:ltu-14586" >
RTFM-lang static se...
RTFM-lang static semantics for systems with mixed criticality
-
- Lindgren, Per (författare)
- Luleå tekniska universitet,EISLAB
-
- Eriksson, Johan (författare)
- Luleå tekniska universitet,EISLAB
-
- Lindner, Marcus (författare)
- Luleå tekniska universitet,EISLAB
-
visa fler...
-
- Pereira, David J. (författare)
- ISEP, Instituto Superior de Engenharia do Porto
-
- Pinho, Luis Miguel (författare)
- ISEP, Instituto Superior de Engenharia do Porto
-
visa färre...
-
(creator_code:org_t)
- 2014
- 2014
- Engelska.
-
Ingår i: Ada User Journal. - 1381-6551. ; 35:2, s. 128-132
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Inbyggda system
- Embedded System
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas