Chapter

Advanced Model-Based Engineering of Embedded Systems

pp 105-117

Date:

Verification of Systems in Physical Contexts

  • Jens OehlerkingAffiliated withRobert Bosch GmbH
  • , Thomas StrathmannAffiliated withOldenburg Institute for Information Technology (OFFIS)

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.