Skip to Main content Skip to Navigation
Conference papers

Automatic Support for Requirements Validation

Abstract : The automotive industry is currently going through rapid changes from a mechanical industry to one driven by innovation in electronics and embedded software. This significant change creates also significant challenges to the industry. One of the most important is the ability to create safe vehicles, emphasizing the importance of safety by design. This paper is intended to contribute to current activities working towards an industry-wide development of reliable and secure systems. Correct by design methodology, including formal methods, have the potential to improve dependability of systems in this domain. And their use at an early stage of the development process ensures faster time to market. In this paper, we present tool support for our approach that aims at integrating the formal analysis and verification of functional requirements from early stages of the development life cycle, by using model checking technique. From informal requirement specifications the tool delivers models. They will be used to produce evidences that the requirement specifications are realizable, otherwise it can guide their revision. The approach is illustrated by a case study based on a specific function of autonomous vehicles.
Complete list of metadata
Contributor : Renaud Pacalet Connect in order to contact the contributor
Submitted on : Tuesday, June 7, 2022 - 9:25:02 AM
Last modification on : Friday, June 24, 2022 - 3:48:43 AM
Long-term archiving on: : Thursday, September 8, 2022 - 6:13:32 PM


Files produced by the author(s)


  • HAL Id : hal-03689243, version 1


Assioua Yasmine, Rabéa Ameur-Boulifa, Patricia Guitton-Ouhamou, Renaud Pacalet. Automatic Support for Requirements Validation. 11th Embedded Real-Time Systems Congress (ERTS'2022), Jun 2022, Toulouse, France. ⟨hal-03689243⟩



Record views


Files downloads