Abstract
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.
Highlights
SPARK and VHDL languages represents novel approaches to safe system development which are discussed in relation to new Railway SW projects
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++ [1, 2] and this approach is supported by today standards of safe software development like ISO61508 [3] or EN50128 [4]
Summary
Nowadays we can observe two opposite approaches to modification of programming languages to be more suitable to safe system development. Valuable of MISRA guideline are parts explaining why was each rule formed, explaining what is the subject of possible future problem. Applying of this rules allows to write robust code with decreased probability of malfunction. There was European project within the frame of ITEA3 call for development of GCC fork called GGCC [9] with aim to implement MISRA rule checking into GCC compiler. This project probably newer started or produced no reasonable result. There exist similar subset called High Integrity C++ [10] by Programming Research, and this specification is not public domain as well as checking tools
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
