Temporal Properties In Automotive Control Software

Modern automotive control softwareconsist of a large number of reusable components, often responsible for safety critical functions. The quality and performance of these components is linked to temporal properties, which depend on the real-time behavior of interconnected processing units. Existing approaches consider requirements on temporal properties only in the context of central-architectural decision making based on observable events. This paper presents a novel more distributed approach to document such requirements that also includes abstract properties used in control engineering such as aliasing. We provide a framework in which requirements for these abstract properties are documented as part of the interface specifications based on a lightweight extension of event models. During integration, these requirements are tested with established analysis methods. We demonstrate the usability of our approach by analyzing an existing engine control software in regard to a property that could not be computed automatically before.