Search - IRT SystemX Access content directly

Filter your results

9 Results
Internal reference : SVA
Image document

Statistical Model-Checking for Autonomous Vehicle Safety Validation

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
Conference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Conference papers hal-01491064v1
Image document

Une sémantique formelle pour les modèles Simulink

Béatrice Bérard , Yann Duplouy , Serge Haddad
École d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers hal-01578297v1

Integrating Simulink Models into the Model Checker Cosmos

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩
Conference papers hal-01916467v1
Image document

Autonomous Driving System : Model Based Safety Analysis

Mohamed Tlig , Mathilde Machin , Romain Kerneis , Emmanuel Arbaretier , Linda Zhao , et al.
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2018, Luxembourg city, Luxembourg. ⟨10.1109/DSN-W.2018.00012⟩
Conference papers hal-01906465v1

A Model Based System Engineering Methodology for an Autonomous Driving System Design

Asma Charfi Smaoui , Fenglong Liu , Chokri Mraidha
25th ITS World Congress, Sep 2018, Copenhagen, Denmark
Conference papers hal-01924108v1
Image document

An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic

Wei Chen , Leila Kloul
10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management., Sep 2018, Seville, Spain
Conference papers hal-01835139v1
Image document

Contribution à la sécurisation du véhicule autonome: Modélisation comportementale avec AltaRica

Mohamed Tlig , Mathilde Machin , Romain Kerneis , Emmanuel Arbaretier , Linda Zhao , et al.
Congrès Lambda Mu 21 « Maîtrise des risques et transformation numérique : opportunités et menaces », Oct 2018, Reims, France
Conference papers hal-02072696v1

Validations par Virtualisation et Simulation : de nouveaux champs méthodologiques et techniques pour une ingénierie de conception sûre des systèmes autonomes

Emmanuel Arbaretier , Linda Zhao , Mohamed Tlig
Lambda Mu 21, Congrès de maîtrise des risques et de sûreté de fonctionnement, Oct 2018, Reims, France
Conference papers hal-01907608v1
Image document

MOOVE & MOSAR Projects: a scenario library for designing & validating ADS

Manel Brini , Emmanuel Arnoux , Bruno Foyer , Guillaume Bresson , Laurent Durville , et al.
Driving Simulation Conference (DSC), Sep 2020, Antibes, France
Conference papers hal-04098011v1