An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems

Autoři: doc. Dipl. Ing. Stefan Ratschan, Dr. tech.
Rok vydání: 2012
Typ publikace: Konferenční příspěvek (mezinárodní konf.)
Periodikum: REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing
Projekty: Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů.
Bibliografická citace: 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

Abstrakt

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.