0377611 - ÚI 2013 RIV CZ eng C - Conference Paper (international conference)
Ratschan, Stefan
An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems.
REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing. Brno: Litera, 2012 - (Vořechovský, M.; Sadílek, V.; Seitl, S.; Veselý, V.; Muhanna, R.; Mullen, R.), s. 457-467. ISBN 978-80-214-4507-9.
[REG 2012. International Conference on Reliable Engineering Computing /5./. Brno (CZ), 13.06.2012-15.06.2012]
R&D Projects: GA MŠMT OC10048
Institutional support: RVO:67985807
Keywords : verification * complex systems * safety
Subject RIV: JC - Computer Hardware ; Software

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.
Permanent Link: http://hdl.handle.net/11104/0209721