Verification of Systems in Physical Contexts

BIB
Oehlerking, Jens AND Strathmann, Thomas
Advanced Model-Based Engineering of Embedded Systems
One defining characteristic of embedded software systems is the tight interaction with the context of the system, which gives rise to real-time constraints for the software. In this chapter, we focus on one relevant class of software: systems interacting with a physical context.
2016
incollection
Springer
105-117
SPES_XT
Software Platform Embedded Systems 2020_XT (sorry - only available in German)
Pohl, Klaus and Broy, Manfred and Daembkes, Heinrich and Hönninger, Harald