Cart (Loading....) | Create Account
Close category search window

A case study in developing complex safety critical systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Kramer, B.J. ; Fern Univ., Hagen, Germany

Safety-critical systems were traditionally monitored and controlled by mechanical or electronic devices. Today, this task has largely been taken over by software. However, the growing complexity and safety relevance of such software raises questions about the choice of adequate techniques and tools to be used in its construction and safety assessment. In this paper, we review a case study on the stepwise development of a distributed control program for a safety-critical technical production process. The case study, which slightly simplifies a real production situation, provides a patent example for a university course on software engineering for distributed technical systems. We emphasize the elicitation of adequate modeling ideas, the development of precise and alternative descriptions of system functions and safety requirements, and carry out a careful analysis of specifications and design solutions. We use a variety of techniques to address different aspects of the case study adequately. To reduce the potential for inconsistencies, we maintain a consistent naming scheme and rely on closely related variants of temporal logic formulas to systematically relate the results of requirements analysis and design activities

Published in:

System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on  (Volume:5 )

Date of Conference:

7-10 Jan 1997

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.