Inheritance of behavior in object-oriented designs for industrial control systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 38, Issue 1, 2005, Pages 49-54

  Bonfe M ^a   Fantuzzi, C ^b   Secchi, C ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF MODENA AND REGGIO EMILIA   (Italy)

Author keywords

Discrete event systems; Logic controllers; Manufacturing systems; Verification

Indexed keywords

DISCRETE EVENT SIMULATION; MANUFACTURE; MODELING LANGUAGES; SEMANTICS; VERIFICATION;

INDUSTRIAL CONTROL SYSTEMS; INDUSTRIAL PRACTICES; LOGIC CONTROLLER; MODEL-CHECKING TECHNIQUES; OBJECT ORIENTED DESIGN; OBJECT ORIENTED MODEL; OBJECT ORIENTED TECHNIQUE; TRANSITION SYSTEM;

MODEL CHECKING;

EID: 79960712144     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.01492     Document Type: Conference Paper

References (13)

1. Allen Emerson, E. (1996). Automated temporal reasoning about reactive systems. In: Logics for Concurrency: Structure versus Automata (F. Moller and G. Birtwistle, Eds.). pp. 111- 120. Number 1043 In: LNCS. Springer-Verlag.
2. Douglass, B.P. (1999). Doing Hard Time: developing Real-Time systems with UML, objects, frameworks, and patterns. Addison Wesley Longman.
3. Frey, G. and L. Litz (2000). Formal methods in PLC programming. In: Proc. IEEE Conf. on Systems Man and Cybernetics (SMC) 2000. pp. 2431-2436.
4. Harel, D. (1987). Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 231-274.
5. Harel, D. and A. Naamad (1996). The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering and Methodologies 5:4, 293-333.
6. Harel, D. and O. Kupferman (2002). On object systems and behavioral inheritance. IEEE Trans. on Software Engineering 28(9), 889- 903.
7. I.E.C. (2000). IEC 61499-1. Function Blocks for Industrial Process Measurement and Control - Part 1: Architecture. Public Available Specification (PAS).
8. I.E.C. (2002). IEC 61131-3. Programmable Controllers - Part 3: Programming Languages (2nd Edition). Final Draft International Standard (FDIS).
9. Liskov, B. (1988). Data abstraction and hierarchy. ACM SIGPLAN Notices.
10. McMillan, K.L. (1993). Symbolic Model Checking: an Approach to the State Explosion Problem. Kluwer Academic Publishers.
11. McMillan, K.L. (1999). The SMV language. Cadence Berkeley Labs.. 2001 Addison St., Berkeley, USA.
12. O.M.G. (2001). UML, v.1.4, OMG specification. Document N. formal/2001-09-67. www.omg.org/uml.
13. Selic, B., G. Gullekson and P. Ward (1994). Real-Time Object-Oriented Modeling. John Wiley & Sons.