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.
Preview
Unable to display preview. Download preview PDF.
References
A. Avižienis and J.-C. Laprie. Dependable Computing: From Concepts to Design Diversity. Proc. IEEE, Vol. 74, No.5, 1986, pages 629–638.
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.
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.
B. Dasarathy. Timing constraints of real-time systems. IEEE Trans. SE-11, pages 80–86, 1985.
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.
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.
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.
D.E. Knuth. The Art of Computer Programming: Basic Algorithms (Vol. 1). Addison-Wesley, London, 1969.
L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. CACM 21, pages 558–565, 1978.
N.G. Leveson. Software Safety in Computer-Controlled Systems. Computer, February 1984, pages 48–55.
N.G. Leveson and J.L. Stolzy. Safety Analysis Using Petri Nets. IEEE Trans. SE, Vol. 13, No.3, 1987, pages 386–397.
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.
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.
D.P. Reed and R.K. Kanodia. Synchronization with Eventcounts and Sequencers. CACM, Vol. 22, No.2, 1979, pages 115–123.
F.B. Schneider. Fail-Stop Processors. COMPCON'83 SPRING, Digest of Papers 26th IEEE CS Int. Conf., 1983, pages 66–70.
M. Švé da. Design and Implementation of Embedded Distributed Systems (In Czech). Habilitation Thesis. Technical University of Brno, 1991.
M. Švé da. An Implementation-Directed Design Method for Microcontroller Software. Microprocessing and Microprogramming, Vol. 40, No.4, May 1994, pages 291–301.
M. Švé da. Development Environment for Local-Time Design Method. Cybernetics and Systems, Vol. 27, No.2, 1996, pages 197–212.
A. Valmari. Reachability Analysis-Based Validation of Embedded Systems. Microprocessing and Microprogramming, Vol. 21, 1987, pages 393–404.
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.
Author information
Authors and Affiliations
Editor information
Rights 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