Search: onr:"swepub:oai:DiVA.org:kth-210262" >
A methodological fr...
A methodological framework for model-based self-management of services and components in dependable cyber-physical systems
-
- Chen, Dejiu (author)
- KTH,Mekatronik
-
- Lu, Zhonghai (author)
- KTH,Elektronik och inbyggda system
-
(creator_code:org_t)
- 2017-05-31
- 2017
- English.
-
In: 12th International Conference on Dependability and Complex Systems, DepCoS-RELCOMEX 2017. - Cham : Springer. - 9783319594149 ; , s. 97-105
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Modern automotive vehicles featuring ADAS (Advanced Driving Assistant Systems) and AD (Autonomous Driving) represent one category of dependable CPS (Cyber-Physical Systems). For such systems, the adaptation of generic purpose COTS (Commercial-Off-The-Shelf) services and components has been advocated in the industry as a necessary means for shortening the innovation loops and enabling efficient product evolution. This will however not be a trivial task due to the system safety- and time-criticality. This calls on one hand for formal specification of systems, and on the other hand for a systematic approach to module design, supervision and adaptions. Accordingly, we propose in this paper a novel method that emphasizes an integration of system models, formal contracts, and embedded services for effective self-management of COTS. The key modeling technologies include the EAST-ADL for formal system description and the A-G contract theory for module specification.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Keyword
- Commercial-Off-The-Shelf
- Composition
- Contract
- Cyber-Physical systems
- Dependability
- EAST-ADL
- Real-time
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database