Stratégies de spécification des systèmes temps réel SA-RT

Cet ouvrage décrit deux méthodes qui permettent de spécifier les besoins et la structure de conception de systèmes intégrant du logiciel. Bien que ces méthodes aient été conçues dans le cadre des systèmes embarqués en temps réel, elles sont assez souples et adaptables pour s'appliquer à des systèmes de tous types et de toutes tailles. Ces méthodes ne traitent pas de la manière d'écrire le logiciel ou de concevoir le matériel pour tel ou tel système, mais plutôt de la façon de spécifier les problèmes que le logiciel et le matériel doivent résoudre. Ce livre s'adresse à tous ceux qui s'intéressent ou qui sont impliqués dans le développement de systèmes qui intègrent du logiciel. Il peut rendre service tant à ceux qui n'ont besoin que d'une compréhension générale qu'à ceux qui souhaitent en acquérir une connaissance approfondie.