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

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

O - Miscellaneous

CEP classification

—

OECD FORD branch

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

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2017

Confidentiality

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