The Analysis of Methods for Programming Safety-critical Systems

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The Analysis of Methods for Programming Safety-critical Systems

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

The Analysis of Methods for Programming Safety-critical Systems

Popis výsledku anglicky

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

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2013

Kód důvěrnosti údajů

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

Název statě ve sborníku

Informatics 2013

ISBN

978-80-8143-127-2

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

39-44

Název nakladatele

Slovak Society for Applied Cybernetics and Informatics

Místo vydání

Košice

Místo konání akce

Spišská Nová Ves

Datum konání akce

5. 11. 2013

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—