ABZ'21

ABZ 2021 (Ulm, Germany)

8th International Conference on Rigorous State-Based Methods

Adaptive Exterior Light and Speed Control System (ABZ 2020)

This document describes two systems from the automotive domain: an adaptive exterior light system (ELS) and a speed control system (SCS). This specification is based on the SPES XT running example.