Developing Control Systems Components

In this paper we point out the potential of software engineering methods in developing control systems as well as in deriving the control software for them. The general strategy for such a development comprises two phases. An initial system-level specification models both the physical environment and its control software within the same state machine oriented view of the system. The control software can be then extracted from this specification and further refined via correctness-preserving steps. The design strategy is intended for the development of control system components and combines the UML statechart diagrams and the OO-action system formalism in a novel way. We show the applicability of the method using the Production Cell case study.

[1]  Kaisa Sere,et al.  Program Development by Refinement , 1999, Formal Approaches to Computing and Information Technology FACIT.

[2]  Andrea Maggiolo-Schettini,et al.  Equivalences of Statecharts , 1996, CONCUR.

[3]  Kaisa Sere,et al.  An Approach to Object-Orientation in Action Systems , 1998, MPC.

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[6]  Claus Lewerentz,et al.  Formal Development of Reactive Systems: Case Study Production Cell , 1995 .

[7]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[8]  Ralph-Johan Back,et al.  Generalizing Action Systems to Hybrid Systems , 1999, FTRTFT.

[9]  Kaisa Sere,et al.  From Action Systems to Modular Systems , 1994, Softw. Concepts Tools.

[10]  Kaisa Sere,et al.  An Action System Approach to the Steam Boiler Problem , 1995, Formal Methods for Industrial Applications.

[11]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[12]  Ralph-Johan Back,et al.  Analysing UML Use Cases as Contracts , 1999, UML.

[13]  Egon Börger,et al.  Formal methods for industrial applications : specifying and programming the steam boiler control , 1996 .

[14]  Matthias Weber.  Combining Statecharts and Z for the Design of Safety-Critical Control Systems , 1996, FME.

[15]  K. Mani Chandy.  Parallel program design , 1989 .

[16]  Kaisa Sere,et al.  Program Development by Refinement: Case Studies Using The B Method , 1998 .

[17]  Kaisa Sere,et al.  Data modelling in ZIM , 1996 .

[18]  Bernhard Rumpe,et al.  Systems, Views and Models of UML , 2014, UML Workshop.

[19]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[20]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[21]  Peter Scholz,et al.  Design of reactive systems and their distributed implementation with statecharts , 1998 .

[22]  Bernhard Rumpe,et al.  Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.

[23]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[24]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[25]  Rance Cleaveland,et al.  Statecharts Via Process Algebra , 1999, CONCUR.