|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications
Compositionality and CPS from a Platform Perspective
Toyama, Japan
August 28-August 31
ISBN: 978-0-7695-4502-8
| ASCII Text | x | ||
| Thomas Nolte, "Compositionality and CPS from a Platform Perspective," 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, vol. 2, pp. 57-60, 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/RTCSA.2011.68, author = {Thomas Nolte}, title = {Compositionality and CPS from a Platform Perspective}, journal ={2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications}, volume = {2}, year = {2011}, issn = {1533-2306}, pages = {57-60}, doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2011.68}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications TI - Compositionality and CPS from a Platform Perspective SN - 1533-2306 SP57 EP60 A1 - Thomas Nolte, PY - 2011 VL - 2 JA - 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.2011.68
Cyber Physical Systems (CPS) comprise the integration of embedded computer systems and the physical processes that these computer systems interact with. Examples of such systems stretch from small embedded devices, e.g., intelligent sensor systems, to larger and often complex industrial systems, e.g., industrial automation systems. These systems are not only subject to functional requirements, but also non-functional requirements such as timing, resource usage, and reliability. CPS development (including software development) is substantially facilitated if the system parts can be developed and verified in isolation, and if the correctness of the system can be inferred from the correctness of its parts. Such modular and compositional design of software systems has for a long time been considered the holy-grail of system design, and is unfortunately only possible in selected scenarios. This paper covers one such scenario: using hierarchical runtime mechanisms in the platform to enable predictable resource usage and temporal isolation of CPS software. Our overall goal is to develop cost efficient mechanisms that are applicable for a wide range of systems.
Citation:
Thomas Nolte, "Compositionality and CPS from a Platform Perspective," rtcsa, vol. 2, pp.57-60, 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications, 2011
Usage of this product signifies your acceptance of the Terms of Use.
