Ä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
A methodological framework for model-based self-management of services and components in dependable cyber-physical systems
KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Mekatronik.ORCID-id: 0000-0001-7048-0108
KTH, Skolan för informations- och kommunikationsteknik (ICT), Elektronik, Elektronik och inbyggda system.
2017 (Engelska)Ingår i: 12th International Conference on Dependability and Complex Systems, DepCoS-RELCOMEX 2017, Springer, 2017, Vol. 582, s. 97-105Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer, 2017. Vol. 582, s. 97-105
Serie
Advances in Intelligent Systems and Computing, ISSN 2194-5357 ; 582
Nyckelord [en]
Commercial-Off-The-Shelf, Composition, Contract, Cyber-Physical systems, Dependability, EAST-ADL, Real-time
Nationell ämneskategori
Inbäddad systemteknik
Identifikatorer
URN: urn:nbn:se:kth:diva-210262DOI: 10.1007/978-3-319-59415-6_10ISI: 000441189200010Scopus ID: 2-s2.0-85020838700ISBN: 9783319594149 (tryckt)OAI: oai:DiVA.org:kth-210262DiVA, id: diva2:1118249
Konferens
12th International Conference on Dependability and Complex Systems, DepCoS-RELCOMEX 2017, Brunow, Poland, 2 July 2017 through 6 July 2017
Anmärkning

QC 20170630

Tillgänglig från: 2017-06-30 Skapad: 2017-06-30 Senast uppdaterad: 2018-08-28Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Chen, DejiuLu, Zhonghai
Av organisationen
MekatronikElektronik och inbyggda system
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 755 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