Model-Based Development of In-Vehicle Software

Conrad, Mirko; Dörr, Heiko

doi:10.1109/date.2006.243989

Cited by 5 publications

(2 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Due to its capability to address the software complexity and productivity challenges, Model-Based Design [2,8,9,32] is becoming the preferred software engineering paradigm for the development of application software components for embedded systems across multiple application domains.…”

Section: Model-based Designmentioning

confidence: 99%

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: Model-based Designmentioning

confidence: 99%

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

show abstract

“…C. Companies expect a significant increase in efficiency by using these tools (in a particular case even more than 200% is reported [28]). Furthermore an increase in the maturity level of developed functions is expected.…”

mentioning

confidence: 99%

Model-based application development for massively parralel embedded systems

Jacobs¹

View full text Add to dashboard Cite

The development of embedded systems in information-rich contexts is governed by some intertwined trends. The increase of both volume of data to be processed and the related processing functionality feeds the growing complexity of applications. Independently, the processing hardware that is needed to process these applications, is becoming increasingly parallel and heterogeneous (many-core) because of performance and power problems. Furthermore, today's compiler technology is not able to translate sequential legacy code for multi-core or many-core systems in an efficient way. This thesis addresses the problem of generating efficient code for a number of cores, that operate synchronously. Examples are Single Instruction Multiple Data (SIMD) and Very Long Instruction Word (VLIW) architectures. In this thesis we restrict ourselves to architectures that include a control processor that provides the instruction stream. In practice the manufacturers of such many-core processors only provide a C-compiler that supports hardware intrinsic instructions. This situation usually requires manual adaptation of sequential code. Unfortunately, a first feedback of the implementation on the targeted parallel architecture only comes late in the development trajectory. Moreover, during implementation phases more engineers enter the project and this increases the risk of early errors proliferating to later phases. Although some parts of the system can be modelled in high level language(s) (e.g., MATLAB), the typical approach lacks a single integral and executable framework allowing for an immediate system-wide verification. This thesis proposes an integral design methodology, named IRIS, for the development of firmware for many-core architectures. The methodology is illustrated by three cases: a colour image processing pipeline for a printer, stochastic image quantisation, and data mining of dynamic document spaces. For the three cases the various development phases and the associated development roles result in mathematical models, that can be directly Hacking. Roger, thanks for your support. One of the next steps was the selection of a suitable research group and professor, and mid 90s I met Thijs Krol at the University of Twente (UT). Although the meeting did not result in concrete plans, it led to the right scientific place and a free meal in the Bastille. Thijs, thanks for the good advice. It was for Roelof Hamberg, that achieving a doctor's degree-as part of a liaison assignment with the UT-became a topic within Océ. Roelof, many thanks for your belief in me. I learned that communication of one's dreams is necessary before any strategic enterprise can start! Now, almost at the end of this enterprise, I want to express my gratitude to Gerard Smit and Jan Kuper. Gerard's constant commitment, notably the conscientiously reviewing of texts (papers, thesis) leading to to-the-point criticism and-most of all-the encouraging way of coaching, made my PhD study both a challenging and a rewarding process. Jan showed me how to (re)model a pr...

show abstract

Model‐Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation

Conrad¹,

Mosterman²

2013

Formal Methods

View full text Add to dashboard Cite

Model-Based Development of In-Vehicle Software

Cited by 5 publications

References 8 publications

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

Model-based application development for massively parralel embedded systems

Model‐Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation

Contact Info

Product

Resources

About