[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/791224.791989guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

On Safety--Critical Computer Control Systems

Published: 11 March 1997 Publication History

Abstract

In the paper, safety critical computer control systems are dealt with, which can be employed in medical applications. Safety licensing of such systems, especially of their software parts, is extremely difficult and for the time being almost impossible except for the trivial cases. In the presented approach it will be proposed how to design both the hardware and the software of a control system for safety critical applications in order to enhance the safety and to allow for its licensing.

References

[1]
IEC International Standard 1131-3: Programmable Controllers. Part 3: Programming Languages. International Electrotechnical Commission, Geneva, 1992.
[2]
Krebs, H., and Haspel, U.: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp, 26, pp. 73-78, 1984.
[3]
Kershaw, J.: The VIPER Microprocessor. Royal Signal and Radar Establishment, Malvern, England, Report No. 87014, 1987.
[4]
Dahll, G., Mainka, U., and Märtz, J.: Tools for the standardised software safety assessment (The SOSAT Project). In Safety of Computer Control Systems, Ehrenberger, W.D. (Ed.). IFAC Proceedings Series, No. 16. Pergamon Press, Oxford, pp. 1-6, 1988.
[5]
VDI/VDE Guideline 3696: Vendor independent configuration of distributed process control systems. Beuth-Verlag, Berlin, 1995.

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
CBMS '97: Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97)
March 1997
ISBN:081867928X

Publisher

IEEE Computer Society

United States

Publication History

Published: 11 March 1997

Author Tags

  1. computer control systems
  2. real-time systems
  3. safety critical systems
  4. safety licensing

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 0
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 24 Dec 2024

Other Metrics

Citations

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media