Verifying Design Properties at Runtime Using an MDE-Based Approach Models @Run.Time Verification-Application to Autonomous Connected Vehicles

Verifying Design Properties at Runtime Using an MDE-Based Approach Models @Run.Time Verification-Application to Autonomous Connected Vehicles

Un véhicule autonome et connecté (ACV – pour Autonomous Connected Vehicle ) est un système cyber-physique où le monde réel et l’espace numérique virtuel se fusionnent. Ce type de véhicule requiert un processus de validation rigoureuse commençant à la phase de conception et se poursuivant même après...

Full description

Bibliographic Details
Main Author: Loulou, Hassan
Other Authors: Université Paris-Saclay (ComUE)
Language:en
Published: 2017
Subjects:
Models@run.time
Self-Adaptative
Formal methods
Securité
Véhicules Connectés Autonomes
Model@runtime
Runtime adaptation
Autonomous connected vehicles
Online Access:http://www.theses.fr/2017SACLS405

Internet

http://www.theses.fr/2017SACLS405

Similar Items