International audienceModel-based software development is increasingly being used to develop software for electronic control units (ECUs). The automatic conversion of models into program code for ECUs plays a major role in this because it ensures efficientimplementation, providing considerable savings potential and short development cycles. This paper introduces a model-based reference workflow for the development of safety-critical software conforming to relevant safety-standards such as IEC 61508 and ISO 26262. The reference workflow provides guidance for meeting the safety requirements to develop software up to and including SIL 3 and/or ASIL D. Furthermore the paper shows how such a reference workflow can help address the issue of softw...
International audienceThis article deals with the issue of deploying efficiently the ISO 26262: the ...
International audienceModel-based development and automatic code generation have become an establish...
Abstract: Safety critical software requires integrating verification techniques in software developm...
International audienceModel Based Development (MBD) is now a common approach for the automotive indu...
International audienceSCADE Version 6 is both a language and a Safety Critical Development Environme...
International audienceThe number of safety-critical systems in vehicles is rapidly increasing. A few...
International audienceModel-Based Design with production code generation has been extensively utiliz...
Abweichender Titel nach Übersetzung der Verfasserin/des VerfassersSince the release of the IEC 61508...
International audienceModel-Based Development methodology has been widely used during the last years...
Safety is becoming more and more important with the ever increasing level of safety related E/E Syst...
Abstract1: Since the mid 1990s, model-based development techniques have been adopted for the develop...
I Safety critical software requires integrating verification techniques in software development meth...
When developing software it is important to consider process, methods, and tools. For safety-critica...
Safety-critical software-dependent systems such as those found in the avionics, automotive, maritime...
In order to meet regulatory standards in the domain of safety-critical systems, these systems have t...
International audienceThis article deals with the issue of deploying efficiently the ISO 26262: the ...
International audienceModel-based development and automatic code generation have become an establish...
Abstract: Safety critical software requires integrating verification techniques in software developm...
International audienceModel Based Development (MBD) is now a common approach for the automotive indu...
International audienceSCADE Version 6 is both a language and a Safety Critical Development Environme...
International audienceThe number of safety-critical systems in vehicles is rapidly increasing. A few...
International audienceModel-Based Design with production code generation has been extensively utiliz...
Abweichender Titel nach Übersetzung der Verfasserin/des VerfassersSince the release of the IEC 61508...
International audienceModel-Based Development methodology has been widely used during the last years...
Safety is becoming more and more important with the ever increasing level of safety related E/E Syst...
Abstract1: Since the mid 1990s, model-based development techniques have been adopted for the develop...
I Safety critical software requires integrating verification techniques in software development meth...
When developing software it is important to consider process, methods, and tools. For safety-critica...
Safety-critical software-dependent systems such as those found in the avionics, automotive, maritime...
In order to meet regulatory standards in the domain of safety-critical systems, these systems have t...
International audienceThis article deals with the issue of deploying efficiently the ISO 26262: the ...
International audienceModel-based development and automatic code generation have become an establish...
Abstract: Safety critical software requires integrating verification techniques in software developm...