Scalable real-time compatibility for embedded components using language-progressive TIOA

The proper composition of independently developed components of an embedded real-time system is complicated due to the fact that besides the functional behavior also the non-functional properties and in particular the timing have to be compatible. A number of formal approaches have been developed, which try to guide the upfront decomposition of the embedded real-time system into components such that integration problems related to timing can be excluded. However, the proposed solutions come with severe limitations or require an analysis that does not scale such that these approaches are hardly applicable in practice. In this paper, we present an approach that ensures real-time compatibility by modeling the component behavior with timed automata and by only locally checking that the component is compatible concerning timing. The effort to establish the required guarantees for the integration scales as only local checks are employed. An AUTOSAR application example from the automotive domain is employed to demonstrate the applicability and scalability of the approach.