Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués
Le logiciel embarqué est devenuaujourd’hui incontournable dans la plupart dessecteurs industriels. Ce dernier fait appel engénéral à des connaissances métier différentes.L’ensemble du système (le logiciel et sonenvironnement) est ainsi spécifié d’une manièrehétérogène, avec des parties discrètes et...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2018SACLC093/document |