Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A methodological framework for model-based self-management of services and components in dependable cyber-physical systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
KTH, School of Information and Communication Technology (ICT), Electronics, Electronic and embedded systems.
2018 (English)In: 12th International Conference on Dependability and Complex Systems, DepCoS-RELCOMEX 2017, Springer, 2018, Vol. 582, 97-105 p.Conference paper, (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer, 2018. Vol. 582, 97-105 p.
Series
Advances in Intelligent Systems and Computing, ISSN 2194-5357 ; 582
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-210262DOI: 10.1007/978-3-319-59415-6_10Scopus ID: 2-s2.0-85020838700ISBN: 9783319594149 (print)OAI: oai:DiVA.org:kth-210262DiVA: diva2:1118249
Conference
12th International Conference on Dependability and Complex Systems, DepCoS-RELCOMEX 2017, Brunow, Poland, 2 July 2017 through 6 July 2017
Note

QC 20170630

Available from: 2017-06-30 Created: 2017-06-30 Last updated: 2017-06-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Chen, DejiuLu, Zhonghai
By organisation
MechatronicsElectronic and embedded systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf