Approche centrée architecture pour la conception logicielle des instruments intelligents
Institution:
ChambéryDisciplines:
Directors:
Abstract EN:
The design of intelligent instruments is a complex field. Competences in physics, mechanics and electronics are needed for the design of the material part while competences in computing sciences are needed for the design of the software part. Moreover, such intelligent instruments are frequently used in critical environments. The designed software must then answer strong reliability constraints. One way of improving the design of such instruments, is the creation of a dedicated software design environment which guides and constraints the instrument designer (often not computer scientist) in s/he's work. Such an environment must : - support a generic design model in order to be able to support the design of any intelligent instruments. This model must abstracted away programming level concerns, - provide a design language which the instrument designer is familiar with - guide and constrain the designer such that the conceived software respects identified properties, intrinsic with the model. This thesis addresses the problem of the construction of such an environment. It tackles the problem from a new point of view : the construction of a software environment centred on architectural models. Software architecture is represented by formal models at several levels of abstraction. At each level, properties can be checked. In this thesis, the Arch Ware ADL language is used. The use of this language allows us to support the capitalization and the reuse of the expertise of the intelligent instrument field. This is realized in particular with the architectural style concept
Abstract FR:
La conception d'instruments intelligents est un problème complexe. En effet, des compétences en physique, en mécanique et en électronique sont nécessaires pour la conception de la partie matérielle tandis que des compétences pointues en informatique sont nécessaires pour concevoir la partie logicielle. De plus, les instruments intelligents sont fréquemment utilisés dans des environnements critiques. Le logiciel conçu doit alors répondre à de nombreuses contraintes de sûreté. Afin de rendre efficace la conception et la réalisation de tels instruments, il faut créer un environnement logiciel dédié qui permet à l'ingénieur, souvent non informaticien, de développer la partie logicielle de façon sûre. Un tel environnement doit : - supporter un modèle de conception qui soit générique afin de pouvoir concevoir n'importe quel instrument intelligent et permettre au concepteur de travailler à un haut niveau d'abstraction, - faire travailler le concepteur d'instruments avec une terminologie qui lui est familière, - le guider et le contraindre de façon à ce que le logiciel conçu, puis implémenté, respecte les propriétés identifiées, intrinsèques au modèle. Cette thèse adresse le problème de la construction d'un tel environnement en l'abordant d'un point de vue nouveau : la construction d'un environnement logiciel centré sur des modèles architecturaux. L'architecture logicielle est ainsi représentée par des modèles formels à plusieurs niveaux d'abstraction. A chaque niveau, des propriétés peuvent être vérifiées. Dans cette thèse, le langage Arch Ware ADL est utilisé. Grâce à ce langage formel, nous sommes capable de capitaliser et de réutiliser l'expertise de conception du domaine de l'instrumentation intelligente. Ceci est réalisé notamment grâce à la notion de style architectural