Formal Methods in Development and Testing of Safety-Critical Systems:Railway Interlocking System

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F02%3A03073474" target="_blank" >RIV/68407700:21230/02:03073474 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Formal Methods in Development and Testing of Safety-Critical Systems:Railway Interlocking System
Original language description
The contribution addresses the application of formal methods in functional specification, design and verification of real-time software systems in safety-critical applications. We present basic principles of software verification methods directed towardsautomatic proof of safety properties against the model of the system. Verification of the railway interlocking system developed by the AZD Prague Ltd. is presented. We discuss advantages and drawbacks of the presented methods and the possibility of us ing model-checking algorithms in the testing stage of the system development.
Czech name
—
Czech description
—

Project
<a href="/en/project/VS96047" target="_blank" >VS96047: Gerstner Laboratory for Inteligent Decision Making and Control</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Intelligent Methods for Quality Improvement in Industrial Practice
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
14-25
Publisher name
ČVUT FEL, Katedra kybernetiky - Gerstnerova laboratoř
Place of publication
Praha
Event location
Praha
Event date
Feb 11, 2002
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—

Similar results(10)