Adaptive exterior light and speed control system
F Houdek, A Raschke - Rigorous State-Based Methods: 7th International …, 2020 - Springer
This case study continues the successful series of case studies for formal specification and
verification of the ABZ conference series, which started with the landing gear system [1] and …
verification of the ABZ conference series, which started with the landing gear system [1] and …
A verified low-level implementation of the adaptive exterior light and speed control system
In this article, we present an approach to the ABZ 2020 case study, that differs from the ones
usually presented at ABZ: Rather than using a (correct-by-construction) approach following …
usually presented at ABZ: Rather than using a (correct-by-construction) approach following …
Rigorous state-based methods
A Raschke, D Méry, F Houdek - Proceedings of 7th International …, 2020 - Springer
The International Conference on Rigorous State-Based Methods (ABZ 2020) is an
international forum for the cross-fertilization of related state-based and machine-based …
international forum for the cross-fertilization of related state-based and machine-based …
ABZ 2014: the landing gear case study
Case studies have played an essential role in the history of formal methods. They have
allowed us to illustrate the application of formal techniques for modelling and verification so …
allowed us to illustrate the application of formal techniques for modelling and verification so …
An Event-B model of an automotive adaptive exterior light system
This paper introduces an Event-b formal model of the adaptive exterior light system for cars,
a case study proposed in the context of the ABZ2020 conference. The system describes the …
a case study proposed in the context of the ABZ2020 conference. The system describes the …
Modeling of a speed control system using event-B
A Mammar, M Frappier - International Journal on Software Tools for …, 2024 - Springer
This paper presents an Event-B model of a speed control system, a part of the case study
provided in the ABZ2020 conference. The case study describes how the system regulates …
provided in the ABZ2020 conference. The case study describes how the system regulates …
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control
A plethora of driver convenience and safety automation systems are being introduced into
production vehicles, such as electronic stability control, adaptive cruise control, lane …
production vehicles, such as electronic stability control, adaptive cruise control, lane …
Validating multiple variants of an automotive light system with electrum
This paper reports on the development and validation of a formal model for an automotive
adaptive exterior lights system (ELS) with multiple variants in Electrum, a lightweight formal …
adaptive exterior lights system (ELS) with multiple variants in Electrum, a lightweight formal …
Formal verification of the European train control system (ETCS) for better energy efficiency using a timed and asynchronous model
The ERTMS/ETCS is the newest automatic train protection system. This is a system that
supports the driver in driving the train. It is currently being implemented throughout the …
supports the driver in driving the train. It is currently being implemented throughout the …
Formal design and analysis of a gear controller
M Lindahl, P Pettersson, W Yi - … Conference on Tools and Algorithms for …, 1998 - Springer
In this paper, we report on an application of the validation and verification tool kit Uppaal in
the design and analysis of a prototype gear controller, carried out in a joint project between …
the design and analysis of a prototype gear controller, carried out in a joint project between …