FAULT MAINTENANCE IN EMBEDDED SYSTEMS APPLICATIONS - Multiple Lift Control System as Safety Critical Embedded Application

Miroslav Sveda, Radimir Vrba

Abstract

This paper describes principles of a designed multiple lift control system based on a dedicated embedded architecture. After reviewing dependable concepts used, the main attention is focused on the design of hardware architecture, software, and communication services and protocols fitting the application requirements. The multiple lift control system presents in this case a real-world solution of a safety critical embedded system application. The design employs a fail-stop safety model and dedicated distributed architecture to meet application requirements efficiently. The paper stresses those features that distinguish the real project from a demonstration case study.

References

  1. Brink K., Huijsman R., van Katwijk J.: SEAL: A Simple Language for Prototyping Action-Event Specifications. Microprocessing and Microprogramming, Vol. 38 (1993) 87-95.
  2. Cuéllar J., Wildgruber I., Barnard D.: Combining the Design of Industrial Systems with Effective Verification Techniques. In: Naftalin M., Denvir T., and Bertran M. (Eds.): FME'94: Industrial Benefit of Formal Methods, LNCS 873, Springer-Verlag, Berlin (1994) 639-658.
  3. Evans A.S.: Specifying & Verifying Concurrent Systems Using Z. In: Naftalin M., Denvir T., and Bertran M. (Eds.): FME'94: Industrial Benefit of Formal Methods, LNCS 873, Springer-Verlag, Berlin (1994) 366-380.
  4. Hale R.: Using Temporal Logic for Prototyping: The Design of a Lift Controller. In: Zedan H.S.M. (Ed.) Real-Time Systems, Theory and Applications, NorthHolland, Amsterdam (1990) 81-118.
  5. Knuth D.E.: The Art of Computer Programming: Basic Algorithms (Vol. 1), Addison-Wesley, London (1969).
  6. van Lamsweerde A.: Inferring Declarative Requirements Specifications from Operational Scenarios. Trans. on Software Engineering, Vol. 24 (1998) 1089-1114.
  7. Leveson N.G.: Software Safety in Computer-Controlled Systems. IEEE Computer, February (1984) 48-55.
  8. Maxion R. A., Siewiorek D. P., Elkind S. A.: Techniques and Architectures for Fault-Tolerant Computing. Ann. Rev. Comput. Sci., No. 2 (1987) 469-520.
  9. Schneider F.B.: Fail-Stop Processors. COMPCON'83 SPRING, Digest of Papers 26th IEEE CS Int. Conf. (1983) 66-70.
  10. Valmari A.: Reachability Analysis-Based Validation of Embedded Systems. Microprocessing and Microprogramming, Vol. 21 (1987) 393-404.
Download


Paper Citation


in Harvard Style

Sveda M. and Vrba R. (2006). FAULT MAINTENANCE IN EMBEDDED SYSTEMS APPLICATIONS - Multiple Lift Control System as Safety Critical Embedded Application . In Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-972-8865-59-7, pages 183-186. DOI: 10.5220/0001202501830186


in Bibtex Style

@conference{icinco06,
author={Miroslav Sveda and Radimir Vrba},
title={FAULT MAINTENANCE IN EMBEDDED SYSTEMS APPLICATIONS - Multiple Lift Control System as Safety Critical Embedded Application},
booktitle={Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2006},
pages={183-186},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001202501830186},
isbn={978-972-8865-59-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - FAULT MAINTENANCE IN EMBEDDED SYSTEMS APPLICATIONS - Multiple Lift Control System as Safety Critical Embedded Application
SN - 978-972-8865-59-7
AU - Sveda M.
AU - Vrba R.
PY - 2006
SP - 183
EP - 186
DO - 10.5220/0001202501830186