Comparison of language subset and language extension by safe related information approach to safe system development
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21260%2F17%3A00318636" target="_blank" >RIV/68407700:21260/17:00318636 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
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
Presented contribution is dedicated to discussion of two different approaches into increase of programming language safety. They are language subset and extension of original safety mechanisms. As examples we used MISRA C/C++ subset and SPARK language build on the base of ADA language. In the last chapters we discuss novel approaches based on application of programmable hardware which is described in VHDL language, which is also modification of ADA language. Especially SPARK and VHDL languages represents novel approaches to safe system development which are now discussed in relation to new Railway SW projects.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Student Scientific Conference Modernization of Railway IRICoN 2017
ISBN
978-80-01-06297-5
ISSN
2336-5382
e-ISSN
—
Number of pages
5
Pages from-to
1-5
Publisher name
Czech Technical University in Prague
Place of publication
Praha
Event location
Praha
Event date
May 10, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—