COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT

COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT

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...

Full description

Bibliographic Details
Main Authors: Tomáš Brandejský, Vít Fábera
Format: Article
Language:English
Published: CTU Central Library 2017-08-01
Series:Acta Polytechnica CTU Proceedings
Subjects:
MISRA, ADA, SPARK, VHDL, programmable hardware, software safety
Online Access:https://ojs.cvut.cz/ojs/index.php/APP/article/view/4437
id doaj-f3387f3987244263b6a34713fa2dcf53
record_format Article
spelling doaj-f3387f3987244263b6a34713fa2dcf532020-11-24T22:09:19ZengCTU Central LibraryActa Polytechnica CTU Proceedings2336-53822017-08-011101510.14311/APP.2017.11.00013883COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENTTomáš Brandejský0Vít Fábera1Department of Applied Informatics in Transportation, Faculty of Transportation Sciences, CTU in PragueDepartment of Applied Informatics in Transportation, Faculty of Transportation Sciences, CTU in PraguePresented 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.https://ojs.cvut.cz/ojs/index.php/APP/article/view/4437MISRA, ADA, SPARK, VHDL, programmable hardware, software safety
collection DOAJ
language English
format Article
sources DOAJ
author Tomáš Brandejský
Vít Fábera
spellingShingle Tomáš Brandejský
Vít Fábera
COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT
Acta Polytechnica CTU Proceedings
MISRA, ADA, SPARK, VHDL, programmable hardware, software safety
author_facet Tomáš Brandejský
Vít Fábera
author_sort Tomáš Brandejský
title COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT
title_short COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT
title_full COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT
title_fullStr COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT
title_full_unstemmed COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT
title_sort comparison of language subset and language extension by safe related information approach to safe system development
publisher CTU Central Library
series Acta Polytechnica CTU Proceedings
issn 2336-5382
publishDate 2017-08-01
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 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.
topic MISRA, ADA, SPARK, VHDL, programmable hardware, software safety
url https://ojs.cvut.cz/ojs/index.php/APP/article/view/4437
work_keys_str_mv AT tomasbrandejsky comparisonoflanguagesubsetandlanguageextensionbysaferelatedinformationapproachtosafesystemdevelopment
AT vitfabera comparisonoflanguagesubsetandlanguageextensionbysaferelatedinformationapproachtosafesystemdevelopment
_version_ 1725812584642248704

Similar Items