An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems

Authors: Stefan Ratschan
Publication year: 2012
Publication type: Konferenční příspěvek (mezinárodní konf.)
Periodical: REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing
Projects: Efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems
Bibliographic citation: RATSCHAN, Stefan. An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems. In: VOŘECHOVSKÝ, M., SADÍLEK, V., SEITL, S., VESELÝ, V., MUHANNA, R.L., MULLEN, R.L., eds. REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing. Brno: Litera, 2012, S. 457-467. ISBN 978-80-214-4507-9.
ID: 377611

Abstract

Modern technical systems are heterogeneous in the sense that they tightly integrate computational elements into physical surroundings. Computational elements usually require discrete, and physical systems continuous modeling. In this paper, we present an modeling formalism and safety verification algorithm for such heterogeneous systems.