COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT
DOI:
https://doi.org/10.14311/APP.2017.11.0001Keywords:
MISRA, ADA, SPARK, VHDL, programmable hardware, software safetyAbstract
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 builded 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.Downloads
Download data is not yet available.
Downloads
Published
2017-08-28
How to Cite
Brandejský, T., & Fábera, V. (2017). COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT. Acta Polytechnica CTU Proceedings, 11, 1–5. https://doi.org/10.14311/APP.2017.11.0001
Issue
Section
Articles