Affiliation:
1. Faculty of Engineering, University of Modena, c/o CICAIA, via Campi, 213/B - 41100 Modena (Italy)
2. CMA spa, via Ghiarola Vecchia, 73 - 41042 Fiorano Modenese (Italy)
Abstract
It is the aim of this paper to present a model conceived for supporting the initial, critical phases of PLC software life cycle, namely requirement specification, requirement analysis and software design, to obtain reusable code. The model, named EASIER, is based on an object-oriented paradigm where the message-method mechanism is replaced by the law and action primitives, since they are more suitable to cope with the real-time, cyclic nature of PLC software. Software re-usability is pursued by identifying independent control modules through a proper bedded encapsulation mechanism, representing system dynamics by means of synchronized state diagrams, expressing context-free behaviour of system components by introducing virtual objects. The EASIER approach is presently validated with respect to relevant reverse and forward engineering applications; from one of these cases we derive the examples used in the paper.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference18 articles.
1. STATEMATE: a working environment for the development of complex reactive systems
2. IEEE Trans. on Software Engineering Special issue on Software for Critical Systems 19 1993. IEEE Trans. on Software Engineering Special issue on Software for Critical Systems 19 1993.
3. Michel G. Laurgeau C. Espiau B. "Les Automates Programmables Industriels" Dunod Technique Paris 1979. Michel G. Laurgeau C. Espiau B. "Les Automates Programmables Industriels" Dunod Technique Paris 1979.
4. Meyer B. "Object Oriented Software Construction" Prentice Hall 1988. Meyer B. "Object Oriented Software Construction" Prentice Hall 1988.
5. Meyer B. "Eiffel the Language" Prentice Hall 1992. Meyer B. "Eiffel the Language" Prentice Hall 1992.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献