Informations générales
ECTSECTS
1.5
Goal(s)
Connaître les techniques de spécification et de conception des systèmes temps réel
Content(s)
- Introduction aux techniques de spécification et de conception des systèmes
- Les outils de spécification des cahiers des charges
- Les outils de conception des systèmes 'temps réel'
Prérequis :
Test
CC pour les CM – TDs et pour les BE
Calendar
S1
Additional Information
24 h (8 h CM + 4 h TD + 12 h BE)
Bibliography
* 'Maîtriser SADT ', Michel Lissandre, éd. Armand Colin
* 'SADT, un langage pour communiquer ', I.G.L. Technology, éd. Eyrolles
* 'Génie logiciel, les méthodes ', Patrick Jaulent, éd Armand Colin
* 'Stratégies de spécifications des Systèmes temps réel : SART ' D.J. Hatley et J.A. Pirbhai, éd. Masson
* 'Analyse des systèmes : de l'approche fonctionnelle à l'approche objet ', Philippe Larvet, éd. InterEditions
* 'Temps Réel ', J.A. Biancolin, éd. Hermes
* 'Spécification et conception des systèmes. Une méthodologie ', IRESTE, éd Masson
French State controlled diploma conferring a Master's degree
