Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems

0334000 - ÚI 2010 US eng A - Abstrakt
Ratschan, Stefan
Symbolic-Numeric Problems in the Automatic Analysis and Verification of Cyber-Physical Systems.
[Symbolické-numerické problémy v automatické analýze a verifikaci kyber-fyzikálních systémů.]
SNC '09: Proceedings of the 2009 conference on Symbolic numeric computation. New York: ACM, 2009 - (Kai, H.; Sekigawa, H.). s. 7-7. ISBN 978-1-60558-664-9.
[SNC2009. International Workshop on Symbolic-Numeric Computation /3./. 03.08.2009-05.08.2009, Kyoto]
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: algorithms * design * reliability * verification
Kód oboru RIV: IN - Informatika
https://dl.acm.org/doi/proceedings/10.1145/1577190#sec1

Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Already now, more or less no new consumer device or industrial machinery does not have some form of integrated computation. Since such systems not only interact with each other, but also with humans, their malfunction can endanger human life, and hence it is essential for them to work correctly.

Kyber-fyzikální systémy představují integraci počítání a fyzikálních procesů. Už dnes víceméně každý domácí přistroj a každý průmyslový stroj má v sobě takovou integraci. Protože poruchy takových přístrojů mohou ohrožovat lidské životy, je nezbytné zajistit jejich správně fungování. Pro tento účel musíme analyzovat jejich bezpečnost, v nejlepším případě automaticky pomoci analyzujících počítačových algoritmů.
Trvalý link: http://hdl.handle.net/11104/0178847