Dynamic Composition of Cyber-Physical Systems

Simple item page
dc.contributor.authorJakobs, Christine
dc.contributor.authorWerner, Matthias
dc.contributor.authorTröger, Peter
dc.date.accessioned2019-01-03T00:58:23Z
dc.date.available2019-01-03T00:58:23Z
dc.date.issued2019-01-08
dc.description.abstractFuture cyber-physical systems must fulfill strong demands on timeliness and reliability, so that the safety of their operational environment is never violated. At the same time, such systems are networked computers with the typical demand for reconfigurability and software modification. The combination of both expectations makes established modeling and analysis techniques difficult to apply, since they cannot scale with the number of possible operational constellations resulting from the dynamics. The problem increases when components with different non-functional demands are combined to one cyber-physical system and updated independent from each other. We propose a new approach for the design and development of composable, dynamic and dependable software architectures, with a focus on the area of networked embedded systems. Our key concept is the specification of software components and their non-functional composition constraints in the formal language TLA+. We discuss how this technique can be embedded in an overall software design workflow, and show the practical applicability with a detailed resource scheduling example.
dc.format.extent10 pages
dc.identifier.doi10.24251/HICSS.2019.869
dc.identifier.isbn978-0-9981331-2-6
dc.identifier.urihttp://hdl.handle.net/10125/60160
dc.language.isoeng
dc.relation.ispartofProceedings of the 52nd Hawaii International Conference on System Sciences
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectCyber-physical Information Systems
dc.subjectSoftware Technology
dc.subjectcomposition, dynamic, real-time, safety, temporal logic
dc.titleDynamic Composition of Cyber-Physical Systems
dc.typeConference Paper
dc.type.dcmiText

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0720.pdf
Size:
327.57 KB
Format:
Adobe Portable Document Format
Download

Collections

Cyber-physical Information Systems