1. Towards a Safe Software Development Environment
- Author
-
Mahmoud Hussein, Reda Nouacer, Ansgar Radermacher, Département Ingénierie Logiciels et Systèmes ( DILS ), Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay, In this paper, we have presented a number of use cases that are done in industrial and research projects. In the following, we present the funding organizations for these projects:- The SafeAdapt project was funded by the European Commission within the 7th Framework Program under the grant number '608945'.- The STANCE project was also funded by the European Commission under the ICT theme of the 7th Framework Program with the grant agreement number '317753'.- The OpenES project was funded under the CATRENE Program with the agreement number 'CA703-2013'.- The EQUITAS project was funded by Bpifrance under call FUI-AAP16 with a contract number 'F1312031-Q'.- The SESAM Grids is a 'Programme d'Investissement d'Avenir' project funded by 'FSN-Briques Génériques du Logiciel Embarqué N°3' with contract number J.- The VESSEDIA project receives funding from the European Union's Horizon 2020 Program (H2020/2014-2020) under grant agreement number '731453'., Novotny M., Kubatova H., Skavhaug A., European Project : 608945,EC:FP7:ICT,FP7-2013-ICT-GC,SAFEADAPT ( 2013 ), European Project : 317753,EC:FP7:ICT,FP7-ICT-2011-8,STANCE ( 2012 ), European Project : 731453, Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Novotny M., Kubatova H., Skavhaug A., European Project: 608945,EC:FP7:ICT,FP7-2013-ICT-GC,SAFEADAPT(2013), European Project: 317753,EC:FP7:ICT,FP7-ICT-2011-8,STANCE(2012), European Project: 731453, and Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
- Subjects
Safety engineering ,[ INFO ] Computer Science [cs] ,Computer science ,Embedded systems ,Systems analysis ,Software development environment ,Static code analysis ,02 engineering and technology ,computer.software_genre ,Software development process ,0202 electrical engineering, electronic engineering, information engineering ,[INFO]Computer Science [cs] ,Software system ,Software design ,Safety analysis ,Hardware and software ,business.industry ,Model driven development ,Software development ,Codes (symbols) ,020207 software engineering ,Open source software ,Industrial research ,020202 computer hardware & architecture ,Software framework ,C (programming language) ,Engineering methodology ,Systems development life cycle ,Embedded system ,Software construction ,Package development process ,Avionics software ,Open source development ,Software engineering ,business ,computer ,Simulation - Abstract
Conference of 20th Euromicro Conference on Digital System Design, DSD 2017 ; Conference Date: 30 August 2017 Through 1 September 2017; Conference Code:130963; International audience; 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.
- Published
- 2017