Comparison of Language Subset and Language Extension by Safe Related Information Approach to Safe System Development

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21260%2F17%3A00318732" target="_blank" >RIV/68407700:21260/17:00318732 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Comparison of Language Subset and Language Extension by Safe Related Information Approach to Safe System Development

Popis výsledku v původním jazyce

Nowadays we can observe two opposite approaches to modification of programming languages to be more suitable to safe system development. The first is the reduction of chosen programming language expressions to safe subset, like MISRA C/C++ and this approach is also supported by today standards of safe software development like ISO61508 or EN50128. In the last few years, novel and partially opposite development is expanded. It is based on extension of original language by additional explanations containing description of such aspects of software, that are not described enough by original language. Typical example is SPARK language precisiating original ADA one even though it was originally designed as language specialized to safe control system development.

Název v anglickém jazyce

Comparison of Language Subset and Language Extension by Safe Related Information Approach to Safe System Development

Popis výsledku anglicky

Nowadays we can observe two opposite approaches to modification of programming languages to be more suitable to safe system development. The first is the reduction of chosen programming language expressions to safe subset, like MISRA C/C++ and this approach is also supported by today standards of safe software development like ISO61508 or EN50128. In the last few years, novel and partially opposite development is expanded. It is based on extension of original language by additional explanations containing description of such aspects of software, that are not described enough by original language. Typical example is SPARK language precisiating original ADA one even though it was originally designed as language specialized to safe control system development.

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2017

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ů