This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 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
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.