Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Aided Systems Theory

EUROCAST 1997: Computer Aided Systems Theory — EUROCAST'97 pp 34–49Cite as

An approach to safety critical systems design

  • 1 Design Environments and Tools
  • Conference paper
  • First Online:

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

Abstract

By means of a multiple lift control system case study, this paper describes an approach to safety critical computer-based applications design. The concept used stems both from a design method based on the modelling paradigm of local time, which is aimed at embedded distributed applications, and from the employment of a simple behavioral paradigm, so called fail-stop model. The case study deals with the multiple lift control system as a real-world application. After reviewing the method and the fail-stop concept, main attention is focused on the design of architecture, software, and communication services fitting the application requirements.

Supported by the University Development Fund of the Czech Ministry of Education under grant F1: 618/1997.

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. A. Avižienis and J.-C. Laprie. Dependable Computing: From Concepts to Design Diversity. Proc. IEEE, Vol. 74, No.5, 1986, pages 629–638.

    Google Scholar 

  2. K. Brink and R. Huijsman and J. van Katwijk. SEAL: A Simple Language for Prototyping Action-Event Specifications. Microprocessing and Microprogramming, Vol. 38, 1993, pages 87–95.

    Article  Google Scholar 

  3. J. Cuéllar and I. Wildgruber and D. Barnard. Combining the Design of Industrial Systems with Effective Verification Techniques. In M. Naftalin, T. Denvir, and M. Bertran, editors, FME'94: Industrial Benefit of Formal Methods. LNCS 873, Springer-Verlag, Berlin 1994, pages 639–658.

    Google Scholar 

  4. B. Dasarathy. Timing constraints of real-time systems. IEEE Trans. SE-11, pages 80–86, 1985.

    Google Scholar 

  5. A. Dix and R. Stone and H.S.M. Zedan. Design Issues for Reliable Time-Critical Systems. In: Zedan H.S.M.: Real-Time Systems, Theory and Applications. North-Holland, Amsterdam 1990, pages 305–322.

    Google Scholar 

  6. A.S. Evans. Specifying & Verifying Concurrent Systems Using Z. In M. Naftalin, T. Denvir, and M. Bertran, editors, FME'94: Industrial Benefit of Formal Methods. LNCS 873, Springer-Verlag, Berlin 1994, pages 366–380.

    Google Scholar 

  7. R. Hale. Using Temporal Logic for Prototyping: The Design of a Lift Controller. In H.S.M. Zedan, editor, Real-Time Systems, Theory and Applications. North-Holland, Amsterdam, 1990, pages 81–118.

    Google Scholar 

  8. D.E. Knuth. The Art of Computer Programming: Basic Algorithms (Vol. 1). Addison-Wesley, London, 1969.

    Google Scholar 

  9. L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. CACM 21, pages 558–565, 1978.

    Google Scholar 

  10. N.G. Leveson. Software Safety in Computer-Controlled Systems. Computer, February 1984, pages 48–55.

    Google Scholar 

  11. N.G. Leveson and J.L. Stolzy. Safety Analysis Using Petri Nets. IEEE Trans. SE, Vol. 13, No.3, 1987, pages 386–397.

    Google Scholar 

  12. A. Mahmood and E.J. McCluskey. Concurrent Error Detection Using Watchdog Processors — A Survey. IEEE Trans. Comp., Vol. 37, No.2, 1988, pages 160–174.

    Article  Google Scholar 

  13. R.A. Maxion and D.P. Siewiorek and S.A. Elkind. Techniques and Architectures for Fault-Tolerant Computing. Ann. Rev. Comput. Sci., No. 2, 1987, pages 469–520.

    Google Scholar 

  14. D.P. Reed and R.K. Kanodia. Synchronization with Eventcounts and Sequencers. CACM, Vol. 22, No.2, 1979, pages 115–123.

    Google Scholar 

  15. F.B. Schneider. Fail-Stop Processors. COMPCON'83 SPRING, Digest of Papers 26th IEEE CS Int. Conf., 1983, pages 66–70.

    Google Scholar 

  16. M. Švé da. Design and Implementation of Embedded Distributed Systems (In Czech). Habilitation Thesis. Technical University of Brno, 1991.

    Google Scholar 

  17. M. Švé da. An Implementation-Directed Design Method for Microcontroller Software. Microprocessing and Microprogramming, Vol. 40, No.4, May 1994, pages 291–301.

    Article  Google Scholar 

  18. M. Švé da. Development Environment for Local-Time Design Method. Cybernetics and Systems, Vol. 27, No.2, 1996, pages 197–212.

    Article  Google Scholar 

  19. A. Valmari. Reachability Analysis-Based Validation of Embedded Systems. Microprocessing and Microprogramming, Vol. 21, 1987, pages 393–404.

    Article  Google Scholar 

  20. Y. Xinyao and W. Ji and Z. Chaochen and P.K. Pandya. Formal Design of Hybrid Systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 738–755. Springer-Verlag, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science & Engineering, Technical University of Brno, Božetěchova 2, 612 66, Brno, Czech Republic

    Miroslav Švéda

Authors
  1. Miroslav Švéda
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz Pichler Roberto Moreno-Díaz

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Švéda, M. (1997). An approach to safety critical systems design. In: Pichler, F., Moreno-Díaz, R. (eds) Computer Aided Systems Theory — EUROCAST'97. EUROCAST 1997. Lecture Notes in Computer Science, vol 1333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025032

Download citation

  • DOI: https://doi.org/10.1007/BFb0025032

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63811-7

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation