Add to ORKGInternational audienceThe French company Esterel-Technologies decided in 2006 to base on Objective Caml its new SCADE SUITE 6TM certifiable code generator. This paper outlines how it has been challenging in the context of safety critical software development by the rigourous norms DO-178B, IEC 61508, EN 50128 and such
International audienceThe CESAR project 1 aims at elaborating a Reference Technology Platform usable...
International audienceThis paper presents an approach combining the respective strengths of UML and ...
Software is increasingly being used to provide functionality in safety critical domains. The complex...
International audienceHigh-level tools have become unavoidable in industrial software development pr...
When developing software it is important to consider process, methods, and tools. For safety-critica...
International audienceSCADE Version 6 is both a language and a Safety Critical Development Environme...
Modern safety standards designed to ensure safety in embedded system products often take a descripti...
International audienceSCADE is a high-level language and environment for developing safety critical ...
International audienceThis paper provides a global perspective on qualification of tools used for de...
International audienceThe number of safety-critical systems in vehicles is rapidly increasing. A few...
This paper presents an analysis of the impact of the Development Assurance Level (DAL) or Safety Int...
Programmable electronic systems are being used in almost all application sectors to perform non-safe...
Embedded systems pose a lot of challenges to the research community, both to academia and to industr...
International audienceWe present a process for the development of safety and security critical compo...
International audienceModel-based development and automatic code generation have become an establish...
International audienceThe CESAR project 1 aims at elaborating a Reference Technology Platform usable...
International audienceThis paper presents an approach combining the respective strengths of UML and ...
Software is increasingly being used to provide functionality in safety critical domains. The complex...
International audienceHigh-level tools have become unavoidable in industrial software development pr...
When developing software it is important to consider process, methods, and tools. For safety-critica...
International audienceSCADE Version 6 is both a language and a Safety Critical Development Environme...
Modern safety standards designed to ensure safety in embedded system products often take a descripti...
International audienceSCADE is a high-level language and environment for developing safety critical ...
International audienceThis paper provides a global perspective on qualification of tools used for de...
International audienceThe number of safety-critical systems in vehicles is rapidly increasing. A few...
This paper presents an analysis of the impact of the Development Assurance Level (DAL) or Safety Int...
Programmable electronic systems are being used in almost all application sectors to perform non-safe...
Embedded systems pose a lot of challenges to the research community, both to academia and to industr...
International audienceWe present a process for the development of safety and security critical compo...
International audienceModel-based development and automatic code generation have become an establish...
International audienceThe CESAR project 1 aims at elaborating a Reference Technology Platform usable...
International audienceThis paper presents an approach combining the respective strengths of UML and ...
Software is increasingly being used to provide functionality in safety critical domains. The complex...