Add to ORKGInternational audienceThis paper presents an approach combining the respective strengths of UML and SCADE to develop safety-critical systems. By using UML to specify the system's high-level requirements and architecture, and then SCADE to formally specify the software behavior, we provide a seamless flow from the initial requirement analysis phase down to the final integration on the target platform. This flow is based on the connection of UML tools with the SCADE environment, leveraging industry standards such as UML2, XMI, and DO-178B to provide a solution that is exactly tailored to the specific needs of safety critical projects
The reuse of reliable, domain-specific software components is a strategy commonly used in the avioni...
AbstractSafety cases become increasingly important for software certification. Models play a crucial...
Efficient safety analyses of complex software intensive embedded systems are still a challenging tas...
International audienceSCADE Version 6 is both a language and a Safety Critical Development Environme...
Safety-critical systems have to be developed carefully to prevent loss of life and resources due to...
I Safety critical software requires integrating verification techniques in software development meth...
AbstractThe aim of this paper is to propose an augmented framework for verifying and validating the ...
Many safety-related, certification standards exist for developing safety-critical systems. System sa...
TalkSystem Theoretic Process Analysis (STPA) is increasingly being used in diverse industrial sector...
International audienceCurrent standards in avionic (e.g. DO-178C) and automotive (e.g. ISO 26262) ad...
In order to meet regulatory standards in the domain of safety-critical systems, these systems have t...
Safety-critical systems which are systems that may harm the environment they are operating in are co...
UML language allows the description of complex computerized systems whose safety is often critical. ...
Safely rcquircmcnis of safely critical technical systems are a demanding subset of requirements thai...
International audienceModel-based software development is increasingly being used to develop softwar...
The reuse of reliable, domain-specific software components is a strategy commonly used in the avioni...
AbstractSafety cases become increasingly important for software certification. Models play a crucial...
Efficient safety analyses of complex software intensive embedded systems are still a challenging tas...
International audienceSCADE Version 6 is both a language and a Safety Critical Development Environme...
Safety-critical systems have to be developed carefully to prevent loss of life and resources due to...
I Safety critical software requires integrating verification techniques in software development meth...
AbstractThe aim of this paper is to propose an augmented framework for verifying and validating the ...
Many safety-related, certification standards exist for developing safety-critical systems. System sa...
TalkSystem Theoretic Process Analysis (STPA) is increasingly being used in diverse industrial sector...
International audienceCurrent standards in avionic (e.g. DO-178C) and automotive (e.g. ISO 26262) ad...
In order to meet regulatory standards in the domain of safety-critical systems, these systems have t...
Safety-critical systems which are systems that may harm the environment they are operating in are co...
UML language allows the description of complex computerized systems whose safety is often critical. ...
Safely rcquircmcnis of safely critical technical systems are a demanding subset of requirements thai...
International audienceModel-based software development is increasingly being used to develop softwar...
The reuse of reliable, domain-specific software components is a strategy commonly used in the avioni...
AbstractSafety cases become increasingly important for software certification. Models play a crucial...
Efficient safety analyses of complex software intensive embedded systems are still a challenging tas...