Cargando…

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 specification language that extends Alloy with mutable relations and temporal logic. We explore different strategies...

Descripción completa

Detalles Bibliográficos
Autores principales: Cunha, Alcino, Macedo, Nuno, Liu, Chong
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242091/
http://dx.doi.org/10.1007/978-3-030-48077-6_26

Ejemplares similares