The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the automotive sector, where more and more safety-critical functions are performed by largely software-based systems. Verification techniques can guarantee correctness of the system. Although automotive systems are relatively small compared to other systems (e.g. business information systems) they are still too large for monolithic verification of the system as a whole. Tackling this problem, we present an approach for modularized verification, aiming at time-triggered automotive systems. We show how the concept of tasks, as used in current automotive operating systems, can be modeled in a CASE tool, verified and deployed. This results in a development process facilitating verification of safety-critical, real-time systems at affordable cost. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Botaschanjan, J., Gruler, A., Harhurin, A., Kof, L., Spichkova, M., & Trachtenherz, D. (2006). Towards modularized verification of distributed time-triggered systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4085 LNCS, pp. 163–178). Springer Verlag. https://doi.org/10.1007/11813040_12
Mendeley helps you to discover research relevant for your work.