Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies

Cyberphysical systems are changing the way we interact with the physical world. The correctness of many systems and devices in our modern society depends not only on the effects or results they produce but also on the time at which these results are produced. Given the behavioral specification of a system (denoted by SP) and a safety assertion (denoted by SA) to be analyzed, the goal is to relate a given safety assertion with the system specification. Deriving optimal theorems (SP rarr SA) will allow the system designer to determine how far the performance of the processing platform can drift from the norm without violating the SA. This paper deals with this clear fundamental issue in the design and implementation of highly dependable realtime/embedded systems.