Back to Search
Start Over
Towards a Safe Software Development Environment
- Source :
- DSD, 2017 Euromicro Conference on Digital System Design (DSD), Novotny M., Kubatova H., Skavhaug A. 2017 Euromicro Conference on Digital System Design (DSD), Aug 2017, Vienna, Austria. Institute of Electrical and Electronics Engineers Inc., pp.470-477, 2017, 〈10.1109/DSD.2017.13〉, 2017 Euromicro Conference on Digital System Design (DSD), Aug 2017, Vienna, Austria. pp.470-477, ⟨10.1109/DSD.2017.13⟩
- Publication Year :
- 2017
- Publisher :
- IEEE, 2017.
-
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.
- 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
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- 2017 Euromicro Conference on Digital System Design (DSD)
- Accession number :
- edsair.doi.dedup.....149e044e677c58f107337d6d19ee0510