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.