15 citations
- ESI Group (France)FR1 paper
- Intempora (France)FR1 paper
- ITS (United Kingdom)GB1 paper
- Magillem Design ServicesFR1 paper
- Office National d'Études et de Recherches AérospatialesFR1 paper
- PSA Peugeot Citroën (France)FR1 paper
- Techniques of Informatics and Microelectronics for Integrated Systems ArchitectureFR1 paper
- Thales (Australia)AU1 paper
- Thales (France)FR1 paper
- Valeo (France)FR1 paper
- Yara (Norway)NO1 paper
2 papers
cs.CY2016★ 15 cited
Facing ADAS validation complexity with usage oriented testing
Laurent Raffaëlli, Frédérique Vallée, Guy Fayolle +6
Validating Advanced Driver Assistance Systems (ADAS) is a strategic issue, since such systems are becoming increasingly widespread in the automotive field. ADAS bring extra comfort…
cs.SE2014★ 14 cited
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
Julien Brunel, Laurent Rioux, Stéphane Paul +2
We propose an approach based on Alloy to formally model and assess a system architecture with respect to safety and security requirements. We illustrate this approach by considerin…