Original title: An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
Authors: Ratschan, Stefan
Document type: Papers
Conference/Event: REG 2012. International Conference on Reliable Engineering Computing /5./, Brno (CZ), 2012-06-13 / 2012-06-15
Year: 2012
Language: eng
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.
Keywords: complex systems; safety; verification
Project no.: OC10048 (CEP)
Funding provider: GA MŠk
Host item entry: REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing, ISBN 978-80-214-4507-9

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available in the digital repository of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0209721

Permalink: http://www.nusl.cz/ntk/nusl-115369


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers