The Analysis of Methods for Programming Safety-critical Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F13%3A43921409" target="_blank" >RIV/49777513:23520/13:43921409 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
The Analysis of Methods for Programming Safety-critical Systems
Original language description
Nowadays, safety critical systems are widely used and we can encounter them in various devices. It is possible to observe their growing employment in the transportation industry where they can have many functions. We can find them in airplanes, space shuttle's cockpits or inside railway interlocking systems. Safety critical systems have to meet demanding criteria to get the permission for usage in such exacting environment because usually, they are responsible for lives and property. Consequently, safety critical systems should be designed and implemented with regards to their responsibilities. The main aim of this article is to bring meaningful survey of recently used techniques in safety critical systems. All described systems have been developed forrailway or subway industry usage and various techniques were used for their implementation. Comparison of used techniques can firstly, examine their particular advantages and drawbacks and secondly, give suggestions for their future appl
Czech name
—
Czech description
—

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

Similar results(10)