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 layered formal framework for modeling of cyber-physical systems
KTH, School of Information and Communication Technology (ICT), Electronics.
KTH, School of Information and Communication Technology (ICT), Electronics.
2017 (English)In: Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017, Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 1715-1720, article id 7927270Conference paper, Published paper (Refereed)
Abstract [en]

Designing cyber-physical systems is highly challenging due to its manifold interdependent aspects such as composition, timing, synchronization and behavior. Several formal models exist for description and analysis of these aspects, but they focus mainly on a single or only a few system properties. We propose a formal composable framework which tackles these concerns in isolation, while capturing interaction between them as a single layered model. This yields a holistic, fine-grained, hierarchical and structured view of a cyber-physical system. We demonstrate the various benefits for modeling, analysis and synthesis through a typical example.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2017. p. 1715-1720, article id 7927270
National Category
Other Engineering and Technologies
Identifiers
URN: urn:nbn:se:kth:diva-209713DOI: 10.23919/DATE.2017.7927270ISI: 000404171500322Scopus ID: 2-s2.0-85020194762ISBN: 9783981537093 (print)OAI: oai:DiVA.org:kth-209713DiVA, id: diva2:1114832
Conference
20th Design, Automation and Test in Europe, DATE 2017, SwissTech Convention Center, Swisstech, Lausanne, Switzerland, 27 March 2017 through 31 March 2017
Funder
EU, FP7, Seventh Framework Programme, FP7-611146
Note

QC 20170626

Available from: 2017-06-26 Created: 2017-06-26 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

fulltext(551 kB)14 downloads
File information
File name FULLTEXT01.pdfFile size 551 kBChecksum SHA-512
d36e9375c16c41e586197cdb2f80fd64ad7fabebe8328ce86f2f1dbf2c1cd7a68f0dd454398065eae908100c6f49b0d2d68ebd6fd014e50e73c99b387109e16d
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Ungureanu, GeorgeSander, Ingo
By organisation
Electronics
Other Engineering and Technologies

Search outside of DiVA

GoogleGoogle Scholar
Total: 14 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 139 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