Inheritance of Behavior in Object-Oriented Designs for industrial control systems

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