Die neue elektromechanische Lenkung APA-BS

Jablonski, Thorsten; Schumann, Heiko; Busse, Carsten; Haußmann, Heiko; Hallmann, Udo; Dreyer, Dirk; Schöttler, Frank

doi:10.1007/bf03223889

Cited by 3 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the recent past, engineers have successfully employed graphical modeling with Simulink and code generation to produce software for high-integrity applications, see e.g., [2,13,16,21,30]. The successful use of Model-Based Design in these application contexts requires extra consideration and rigor because additional requirements imposed by safety standards have to be met and the objectives and recommendations outlined therein must be mapped onto Model-Based Design.…”

Section: Compliance With Safety Standardsmentioning

confidence: 98%

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

Conrad

2009

Form Methods Syst Des

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: Compliance With Safety Standardsmentioning

confidence: 98%