Skip to main content
SpringerLink
Log in
Book cover

International Conference on Coordination Languages and Models

COORDINATION 1997: Coordination Languages and Models pp 157–171Cite as

Evaluation of software architectures for a control system: A case study

  • Regular Papers
  • Conference paper
  • First Online:

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

Abstract

In this paper, we give our view on the software architecture phase in the development process. During this phase, we distinguish modeling and structuring activities. A system is modeled according to a certain approach, and this model is used to instantiate a certain architectural style. In general, the activities are intertwined. The choice for a certain software architecture has implications on the nonfunctional properties of the system. We illustrate our view with a case study of a software controller for a (toy) railroad system which we have available in our software lab. Several models of this system, expressed in formal specification languages, were made in the past, so we are able to produce a software architecture for the system while carrying out both activities separately. The resulting software architectures are evaluated with respect to timing aspects, scalability, fault-tolerance, and extendibility. Extendibility of a software system is especially important for domains were changes should be applicable on-line. Design for change should start at the software architectural level.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T. Biegstraaten, K. Brink, J. van Katwijk, and H. Toetenel. A simple railroad controller: A case study in real-time specification. Technical Report 94-86, Delft University of Technology, Department of Technical Mathematics and Informatics, 1994.

    Google Scholar 

  2. M. Boasson. The artistry of software architecture. IEEE Software, 12(6):13–17, November 1995.

    Article  Google Scholar 

  3. O. Frieder and M.E. Segal. Dynamic program updating in a distributed computer system. In Proceedings of the IEEE Conference on Software Maintenance, Phoenix, Arizona, October 1988.

    Google Scholar 

  4. B. Hayes-Roth, K. Pfleger, P. Lalanda, P. Morignot, and M. Balabanovic. A domain-specific software architecture for adaptive intelligent systems. IEEE Transactions on Software Engineering, 21(4):288–301, April 1995.

    Article  Google Scholar 

  5. K. Jeffay. The real-time producer-consumer paradigm: A paradigm for the construction of efficient, predictable real-time systems. In Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing, pages 796–804, Indiana, February 1993. ACM Press.

    Google Scholar 

  6. J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293–1306, November 1990.

    Article  Google Scholar 

  7. P. Kruchten. The 4+1 view model of architecture. IEEE Software, 12(5):42–50, November 1995.

    Article  Google Scholar 

  8. R.T. Monroe, A. Kompanek, R. Melton, and D. Garlan. Architectural styles, design patterns and objects. IEEE Software, 14(1), January 1997.

    Google Scholar 

  9. D.L. Parnas, A.J. van Scouwen, and S.P. Kwan. Evaluation of safety-critical software. Communications of the ACM, 33(6):636–648, September 1990.

    Article  Google Scholar 

  10. M. Shaw. Beyond objects: A software design paradigm based on process control. ACM Software Engineering Notes, 20(1), January 1995.

    Google Scholar 

  11. M. Shaw. A field guide to boxology: Preliminary classification of architectural styles for software systems. manuscript, http://www.cs.cmu.edu/afs/cs/project/compose/www/html/Publications/1.html, 1996.

    Google Scholar 

  12. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, 1996.

    Google Scholar 

  13. J.A. Stankovic. Real-time and embedded systems. Group Report of the Real-Time Working Group of the IEEE Technical Committee on Real-Time Systems, at http://www-ccs.cs.umass.edu/sdcr/rt.ps, 1996.

    Google Scholar 

  14. A.S. Tanenbaum. Structured Computer Organisation. Prentice-Hall, 1976.

    Google Scholar 

  15. J. van Katwijk and H. Toetenel. Experience using paisley for real-time specification. Technical Report 95-29, Delft University of Technology, Department of Technical Mathematics and Informatics, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Delft University of Technology, Netherlands

    Sylvia Stuurman & Jan van Katwijk

Authors
  1. Sylvia Stuurman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan van Katwijk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David Garlan Daniel Le Métayer

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stuurman, S., van Katwijk, J. (1997). Evaluation of software architectures for a control system: A case study. In: Garlan, D., Le Métayer, D. (eds) Coordination Languages and Models. COORDINATION 1997. Lecture Notes in Computer Science, vol 1282. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63383-9_79

Download citation

  • DOI: https://doi.org/10.1007/3-540-63383-9_79

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63383-9

  • Online ISBN: 978-3-540-69527-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation