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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2017SACLS405 |