Towards a Validated Object Oriented Design Approach to Control Software
| Authors: | Rasse Alban, Université de Haute Alsace Mulhouse, ESSAIM, MIPS Laboratory, France
Perrone Jean-Marc, Université de Haute Alsace Mulhouse, ESSAIM, MIPS Laboratory, France
Thirion Bernard, Université de Haute Alsace Mulhouse, ESSAIM, MIPS Laboratory, France |
|---|
| Topic: | 3.1 Computers for Control |
|---|
| Session: | Adaptability Techniques for Control System Software |
|---|
| Keywords: | Software Engineering, Control System Synthesis, Object Modeling Technique, Models, Validation, Implementation |
|---|
Abstract
Due to their increasing complexity, the development of control software has become a difficult task. It is therefore necessary to consider a rigorous process for software design which integrates the different design phases in a unified manner. This is the aim of the present paper which proposes a coherent approach based on models that guarantee the development of validated applications. From an analysis model, the approach helps to obtain both a validation model which can be exploited with existing model checking tools and a specific implementation model which conforms to the validated model.
