Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Developing Control Systems Components

  • Conference paper
  • First Online:
Integrated Formal Methods (IFM 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1945))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. J. R. Back, L. Petre and I. Porres-Paltor. Analysing UML Use Cases as Contracts. In Proceedings of UML’99. LNCS 1723, Springer-Verlag, 1999.

    Google Scholar 

  2. R. J. R. Back, L. Petre and I. Porres-Paltor. Generalizing Action Systems to Hybrid Systems. TUCS Technical Reports No. 307, 1999.

    Google Scholar 

  3. R. J. R. Back and K. Sere. From Action Systems to Modular Systems. In Software-Concepts and Tools Vol. 17, pp. 26–39, Springer-Verlag, 1996.

    Google Scholar 

  4. R. J. R. Back and K. Sere, Superposition Refinement of Reactive Systems. In Formal Aspects of Computing Vol. 8, No. 3, pp. 324–346, Springer-Verlag, 1996.

    Article  MATH  Google Scholar 

  5. M. von der Beeck. A Comparison of Statecharts Variants. In Proceedings of FTRTFT’94. LNCS 863, pp. 128–148, 1994.

    Google Scholar 

  6. M. Bonsangue, J.N. Kok, and K. Sere. An approach to object-orientation in action systems. In Proceedings of MPC’98. LNCS 1422, Springer-Verlag, 1998.

    Google Scholar 

  7. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.

    Google Scholar 

  8. R. Breu, R. Grosu, F. Huber, B. Rumpe and W. Schwerin. Systems, Views and Models of UML. In M. Schader and A. Korthaus (Eds.), The Unified Modeling Language, Technical Aspects and Applications, pp. 93–109, Physica-Verlag Heidelberg, 1998.

    Google Scholar 

  9. R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech, B. Rumpe, V. Thurner. Towards a Formalization of the Unified Modeling Language. In Proceedings of ECOOP’97. LNCS 1241, Springer-Verlag, 1997.

    Google Scholar 

  10. M. Butler, E. Sekerinski, and K. Sere. An Action System Approach to the Steam Boiler Problem. In J.-R. Abrial, E. Borger and H. Langmaack (Eds), Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS 1165, Springer-Verlag, 1996.

    Google Scholar 

  11. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.

    Google Scholar 

  12. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.

    Google Scholar 

  13. R. France, A. Evans, K. Lano and B. Rumpe. The UML as a formal modeling notation. In Computer Standards & Interfaces. Vol. 19, pp. 325–334, 1998.

    Article  Google Scholar 

  14. D. Harel. Statecharts: A visual formalism for complex systems. In Science of Computer Programming Vol. 8, pp. 231–274, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  15. D. Harel and A: Naamad. The STATEMATE semantics of Statecharts. In ACM Transactions on Software Engineering Vol. 5, No.4, pp. 293–333, 1996.

    Article  Google Scholar 

  16. G. Luttgen, M. von der Beeck and R. Cleaveland. Statecharts via process algebras. In Proceedings of CONCUR’99. LNCS 1664, 1999.

    Google Scholar 

  17. A. Maggiolo-Schettini, A. Peron and S. Tini. Equivalence of Statecharts. In Proceedings of CONCUR’96. LNCS 1119, pp. 687–702, 1996.

    Google Scholar 

  18. M. C. McIlroy. Mass Produced Software Components. In Proceedings of NATO Conference on Software Engineering, Garmisch, Germany, 1968.

    Google Scholar 

  19. V. Kasurinen and K. Sere. Data Modelling in ZIM. In Proceedings of Methods Integration’96, Springer-Verlag, 1996.

    Google Scholar 

  20. R. Kneuper. Limits of Formal Methods. In Formal Aspects of Computing Vol. 9, No. 4, pp 379–394, Springer-Verlag, 1997.

    Article  Google Scholar 

  21. L. P. Gorm, N. Plat, and H. Toetenel. A formal semantics of data flow diagrams. In Formal Aspects of Computing Vol. 6, No. 6, pp. 586–606, Springer-Verlag, 1994.

    MATH  Google Scholar 

  22. C. Lewerentz and Th. Lindner (Eds). In Formal Development of Reactive Systems-Case Study Production Cell. LNCS 891, Springer-Verlag, 1995.

    MATH  Google Scholar 

  23. E. Sekerinski. Production Cell. In E. Sekerinski and K. Sere (Eds), Program Development by Refinement-Case Studies Using the B Method. FACIT, Springer-Verlag, 1998.

    Google Scholar 

  24. P. Scholz. Design of Reactive Systems and Their Distributed Implementation with Statecharts, Ph.D. thesis, Munich University of Technology, 1998.

    Google Scholar 

  25. C. Szyperski Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 1997.

    Google Scholar 

  26. M. Weber. Combining Statecharts and Z for the Design of Safety-Critical Systems. In Proc. of FME’96. LNCS 1051, Springer-Verlag, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Turku Centre for Computer Science and Åbo Akademi University, FIN-20520, Turku, Finland

    Luigia Petre & Kaisa Sere

Authors
  1. Luigia Petre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kaisa Sere
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Sekr.FR 5-13 bzw.5-6, TU Berlin, Franklinstr.28-29, 10587, Berlin, Germany

    Wolfgang Grieskamp  & Thomas Santen  & 

  2. School of Computing and Mathematics, University of Teesside, Middlesbrough, TS1 3BA, UK

    Bill Stoddart

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Petre, L., Sere, K. (2000). Developing Control Systems Components. In: Grieskamp, W., Santen, T., Stoddart, B. (eds) Integrated Formal Methods. IFM 2000. Lecture Notes in Computer Science, vol 1945. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40911-4_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-40911-4_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41196-3

  • Online ISBN: 978-3-540-40911-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation