Abstract
In modern vehicles, safety-related functions often depend on electronic components and it is increasingly important to ensure, by means of an appropriate development process, that the software that controls these components is correct. In order to handle the increasing complexity of future control systems, efficient verification methods are needed to cut down the time and costs spent on testing.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Chonlawit Banphawatthanarak: Verification of Stateflow Diagrams Using SMV. Technical Report Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, May 2000.
K. L. McMillan: Symbolic Model Checking. Kluwer Academic Publishers, 1993
Friedemann Bitsch: Classification of Safety Requirements for Formal Verification of Software Models of Industrial Automation Systems. In Proceedings of 13th International Conference on Software and Systems Engineering and their Applications (ICSSEA) 2000, CNAM — Paris, France.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cossy, M. Software Safety Architecture that can be Formally Verified. AutoTechnol 4, 66–68 (2004). https://doi.org/10.1007/BF03246810
Issue Date:
DOI: https://doi.org/10.1007/BF03246810