Safety-Critical Software Development Using Automatic Production Code Generation

Erkkinen, Tom; Conrad, Mirko

doi:10.4271/2007-01-1493

Cited by 14 publications

(18 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As a result, the standard does not have a notion of model testing and code generation and thus does not provide the required guidance. Rather the objectives and requirements of the standard need to be interpreted and mapped onto Model-Based Design [6,12].…”

Section: A Workflow For Application-specific Verification and Validatmentioning

confidence: 99%

Testing-based translation validation of generated code in the context of IEC 61508

Conrad

2009

Form Methods Syst Des

Self Cite

View full text Add to dashboard Cite

Production code generation with Model-Based Design has successfully replaced manual coding across various industries and application domains. Furthermore, code generated from executable graphical models is increasingly being deployed in high-integrity embedded applications.To validate the model-to-code translation process, generated software components and its precursory stages (i.e. models) should be subjected to an appropriate combination of quality assurance measures. For high-integrity applications, compliance with safety standards such as IEC 61508 needs to be demonstrated as well.On principle, translation validation of generated code could be carried out in the same manner as for manually written code. However, this would not leverage the advantages of Model-Based Design and w.r.t. process efficiency this would leave something to be desired. Therefore, engineering methods and tools for effective and efficient translation validation of generated code are highly desirable. As a step towards this goal, a workflow for verification and validation of models and generated code will be proposed and as far as possible mapped onto the objectives of IEC 61508-3. A cornerstone of this workflow is testing for numerical equivalence between models and generated code.

show abstract

Section: A Workflow For Application-specific Verification and Validatmentioning

confidence: 99%

Testing-based translation validation of generated code in the context of IEC 61508

Conrad

2009

Form Methods Syst Des

Self Cite

View full text Add to dashboard Cite

show abstract

“…This tool provides through its integrated Simulink ® toolbox a graphical way for describing and simulating functions and systems and through the real time workshop ® tool the possibility to automatically generate code from models, this is the reason why it is being intensively utilized at the recent time in the domain of commercial modelbased safety-critical software development for embedded systems [7]. This interface is used in developing the test tool.…”

Section: Test Tool Development Environmentmentioning

confidence: 99%

An automated software verification tool for model-based development of embedded systems with simulink®

Börcsök

Chaaban

Schwarz

et al. 2009

2009 XXII International Symposium on Information, Communication and Automation Technologies

View full text Add to dashboard Cite

This paper describes the implementation of an automated test tool developed in Matlab ® /Simulink ® environment that supports model testing and software verification in model-based development of control applications. This tool based on 'black box' testing strategy serves on the one hand to check the "semantic" or "functional" correctness (SiL: Software-in-the-loop) of automatically with RTW (Real Time Workshop ® ) generated C-code for algorithms designed and modelled in Simulink ® and on the other hand to compare the obtained results with the results of the simultaneously running Model-in-the-loop test (MiL). The aim behind this tool is to develop reliable software that fulfils system requirements, assure quality and can perform satisfactorily in the intended deployment environment Keywords-Software-in-the-loop (SiL), Model-in-the-Loop (MiL), Hardware-in-the-Loop (HiL), Software Verification, Programmable Logical Controler(PLC), Matlab ® /Simulink ®

show abstract

“…Model-Based Design has been well documented in previous publications [7][8][9][10][11][12][13][14][15][16][17][18][19]. The system described in the preceding section was initially prototyped using this approach.…”

Section: Development Processmentioning

confidence: 99%

“…Finally the code generated from models needs to be compact and fast. Tremendous progress has been made over the last decade to this end and many have concluded that for most applications automatic code generation is on par with average hand coding [9,12,13,19]. …”

Section: Production Implementation Next Stepsmentioning

confidence: 99%

Model-Based Design Study and Evaluation of New HMI Concepts for Vehicle Multimedia, Climate Control and Navigation Systems

Smith

Chen

2007

SAE Technical Paper Series

View full text Add to dashboard Cite

The application of Model-Based Design has been well established, documented, and highly refined practice for the development of embedded control systems like those used for power train or chassis controls.Model-Based Design, when applied to in-vehicle electronic systems with human-machine interface (HMI) elements, presents unique challenges and opportunities.Historically, development of the software to drive audio, climate control, navigation or other driver facing functions in a vehicle have been developed with traditional processes. These could include textural requirements and hand coding or application of structured design and analysis tools followed by hand coding. Production of the first working prototype using these traditional methods is much longer than with Model-Based Design. This is an emerging trend in the automotive body electronics design community. This paper will describe the key design elements of the new HMI concept being developed and the development process used to produce a working prototype. Some key advantages of Model-Based Design for demonstration system development will be addressed. The next process steps to move the demonstration towards production will also be discussed.

show abstract

Safety-Critical Software Development Using Automatic Production Code Generation

Cited by 14 publications

References 1 publication

Testing-based translation validation of generated code in the context of IEC 61508

Testing-based translation validation of generated code in the context of IEC 61508

An automated software verification tool for model-based development of embedded systems with simulink®

Model-Based Design Study and Evaluation of New HMI Concepts for Vehicle Multimedia, Climate Control and Navigation Systems

Contact Info

Product

Resources

About