Inheritance of Behavior in Object-oriented Designs for Industrial Control Systems
| Authors: | Bonfe' Marcello, University of Ferrara, Italy
Fantuzzi Cesare, University of Modena and Reggio Emilia, Italy
Secchi Cristian, University of Modena and Reggio Emilia, Italy |
|---|
| Topic: | 5.2 Manufacturing Modelling for Management and Control |
|---|
| Session: | Manufacturing Modelling, Management and Control |
|---|
| Keywords: | Manufacturing systems, Logic controllers, Discrete-event systems,Verification. |
|---|
Abstract
The paper presents a feasible approach to introduce object-orientedtechniques in the industrial practice of control design. The approach is based onthe use of a domain-specific extension of the modeling language UML and on theformalization of design models as transition systems for verification purposes. Inparticular, the paper shows how to exploit model checking techniques to verifythat object classes, designed as subtypes, correctly inherit the behavior of theirbase classes, according to a notion of substitutability specifically defined for theproposed semantics of object-oriented models.
