An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F12%3A00377611" target="_blank" >RIV/67985807:_____/12:00377611 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems
Original language description
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 anmodeling formalism and safety verification algorithm for such heterogeneous systems.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/OC10048" target="_blank" >OC10048: Efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing
ISBN
978-80-214-4507-9
ISSN
—
e-ISSN
—
Number of pages
11
Pages from-to
457-467
Publisher name
Litera
Place of publication
Brno
Event location
Brno
Event date
Jun 13, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—