Skip to Main content Skip to Navigation
Conference papers

SCADE 6 A Model Based Solution For Safety Critical Software Development

Abstract : SCADE Version 6 is both a language and a Safety Critical Development Environment that brings a new Unified Modeling Style that provides a seamless and safe flow from system to software engineering. This flow relies on strong foundations where safety is considered at each step that allows engineers to focus on key issues whilst removing a significant part of the burden of the development process. SCADE6 is a model based tool that has been designed to cope with engineers needs together with safety constraints expressed in several standards such as D0178-B, EN50128 or IEC 61508. This paper presents SCADE version 6 and points out the key factors we have addressed during the language definition, modelling environment and code generation development in order to cope with a safety critical development flow.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-insu.archives-ouvertes.fr/insu-02270108
Contributor : Axelle Pagnier <>
Submitted on : Friday, August 23, 2019 - 6:36:14 PM
Last modification on : Tuesday, August 27, 2019 - 1:27:30 AM
Long-term archiving on: : Friday, January 10, 2020 - 1:40:29 AM

File

ERTS2008_0056_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : insu-02270108, version 1

Collections

Citation

François Dormoy. SCADE 6 A Model Based Solution For Safety Critical Software Development. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270108⟩

Share

Metrics

Record views

61

Files downloads

232