15 citations · 29 across the 2 of their papers we have counts for
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…