Title | ||
---|---|---|
Verification Of Behavioral Substitutability In Object-Oriented Models For Industrial Controllers |
Abstract | ||
---|---|---|
The aim of the paper is to provide a practical method to introduce design principles typical of the object-oriented approach, like "design by extension", to the application domain of manufacturing systems control design. The proposed method is based on a domain-specific extension of the modeling language UNM and on the formalization of design models as transition systems for verification purposes. Object-oriented models, formalized according to the proposed semantics, can be analyzed with model checking techniques in order to verify the behavioral conformity of object classes, according to a notion of substitutability which is defined in the paper specifically for the proposed modeling language. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/ROBOT.2005.1570729 | 2005 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-4 |
Keywords | Field | DocType |
manufacturing systems, logic controllers, discrete-event systems, verification | Model checking,Programming language,Systems engineering,Object-oriented programming,Unified Modeling Language,Computer science,Modeling language,Control engineering,Design methods,Application domain,Conformity,Semantics | Conference |
Volume | Issue | ISSN |
2005 | 1 | 1050-4729 |
Citations | PageRank | References |
0 | 0.34 | 7 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marcello Bonfé | 1 | 66 | 12.78 |
Cesare Fantuzzi | 2 | 275 | 38.53 |
Cristian Secchi | 3 | 977 | 81.94 |