0377611 - ÚI 2013 RIV CZ eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA MŠMT OC10048
Institucionální podpora: RVO:67985807
Klíčová slova: verification * complex systems * safety
Kód oboru RIV: JC - Počítačový hardware a 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.
Trvalý link: http://hdl.handle.net/11104/0209721