Towards a Safe Software Development Environment

M. Hussein (1) , R. Nouacer (1) , A. Radermacher (1)

1 DILS (CEA, LIST) - Département Ingénierie Logiciels et Systèmes

It is largely recognized that the architectures of embedded systems are becoming more and more complex both at hardware and software levels. Despite the significant advances in the development tools, developing the software of such systems while ensuring their safety is still a difficult task. In this paper, we propose an engineering methodology to ease the development of safe software systems. It consists of four main phases: system modelling and validation, code generation and integration, static code analysis, and dynamic code analysis. This methodology is realized using CEA LIST open-source development platforms: Papyrus, Frama-C, and UNISIM-VP. These platforms are results of many research and industrial projects such as FP7-SafeAdapt, FUI-EQUITAS, FP7-STANCE, CATRENE-OpenES, and FSN-SESAM Grids.

Mots clés: C (programming language); Codes (symbols); Embedded systems; Industrial research; Hardware and software; Model driven development; Open source development; Safety analysis; Simulation; Software development environment; Static code analysis; Software design; Engineering methodology; Systems analysis; Safety engineering; Open source software

Domaines: Informatique [cs]

M. Hussein, R. Nouacer, A. Radermacher. Towards a Safe Software Development Environment. 2017 Euromicro Conference on Digital System Design (DSD), Aug 2017, Vienna, Austria. pp.470-477, ⟨10.1109/DSD.2017.13⟩. ⟨cea-01808786⟩