Approche pour le développement de logiciels intégrant des concepts de qualité de service
Dans les domaines critiques tels que l’avionique, le ferroviaire ou encore l’automobile, il faut, afin de pouvoir certifier un système, démontrer qu’il réalise la fonction pour laquelle il a été conçu, selon des exigences temporelles spécifiées. En effet, un rendu temporel trop long peut rendre des...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2014BORD0008/document |