Skip to main content
SpringerLink
Log in

Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung

  • Chapter
Book cover Verläßliche Informationssysteme

Part of the book series: DuD-Fachbeiträge ((DUD))

  • 59 Accesses

Zusammenfassung

Ausgehend von einer IEC-Initiative zur Standardisierung höherer Programmiersprachen für speicherprogrammierbare Steuerungen wird ein herstellerunabhängiges Werkzeug zur graphischen Software-Entwicklung und zum schnellen Prototyping in industriellen Automatisierungsprojekten vorgestellt. Die Konstruktion der Programme erfolgt durch die Verknüpfung von Funktionsblockinstanzen, die aus einer Bibliothek bezogen werden und deren Korrektheit bewiesen ist. Es werden Methoden und Werkzeuge beschrieben, die, zur Ergänzung konventioneller Programmtestverfahren, die Verifikation dieser zusammengesetzten Entwürfe mit mathematischer Strenge erlauben.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Peter Wratil. Speicherprogrammierbare Steuerungen in der Automatisierungstechnik. Elektronik. Vogel Buchverlag Würzburg, 1989.

    Google Scholar 

  2. DIN 19239. Steuerungstechnik: Speicherprogrammierbare Steuerungen. DIN, Mai 1983.

    Google Scholar 

  3. H.-J. Bullinger, J. Warschat, and K. Hengel. Benutzerfreundliche programmierung und Inbetriebnahme von speicherprogrammierbaren steuerungen. atp-Softwarepraxis, 34 (6,7): 332–336 1992

    Google Scholar 

  4. H.-J. Bullinger, J. Warschat, and K. Hengel. Benutzerfreundliche programmierung und Inbetriebnahme von speicherprogrammierbaren steuerungen. atp-Softwarepraxis, 34 (6,7): 402–409, 1992.

    Google Scholar 

  5. Technical Committee 65: Industrial Process Measurement International Electrotechnical Commission and Working Group 6: Discontinuous Process Control Control, Subcommittee 65A: System Considerations. Standards for programmable controllers, working draft. Technical report, December 1988.

    Google Scholar 

  6. Wolfgang Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, Heidelberg, New York, 1985.

    Google Scholar 

  7. Zentral-Stelle für Sicherheit in der Informationstechnik, editor. Kriterien für die Bewertung der Sicherheit von Systemen der Informationstechnik. Bundesanzeiger, Köln, 1989.

    Google Scholar 

  8. Roland C. Backhouse. Program Construction and Verifikation. International Series in Computer Science. Prentice-Hall, 1986.

    Google Scholar 

  9. Bernd Krämer. Concepts, Syntax and Semantics of ÇRAS - A Specification Language for Distributed Systems. Oldenbourg Verlag, München, Wien, 1989.

    Google Scholar 

  10. Wolfgang Halang and Bernd Krämer. Achieving high integrity of process control software by graphical design and formal verification. Software Engineering Journal, 7 (1): 53–64, January 1992.

    Article  Google Scholar 

  11. Bernd Krämer and Heinz-Wilhelm Schmidt. Architecture and functionality of a specification environment for distributed systems. In G. Knafl, editor, Procs. compsac90, pages 617–622. Computer Society Press, 1990.

    Google Scholar 

  12. Joseph A. Goguen. OBJ as a theorem prover with applications to hardware verification. Technical Report SRI-CSL-88–4R2, SRI International, August 1988.

    Google Scholar 

  13. Bernd Krämer and Wolfgang Halang. Computer aided specification and verification of process control software. In Proceedings Safecomp ‘82, 1992.

    Google Scholar 

  14. W. Halang, S.-K. Jung, B. Krämer, and J. Scheepstra. An Architecture Enabling the safety Licensing of Real Time Software Formulated in a High Level Graphical Language. to appear 1993.

    Google Scholar 

  15. Bernd Krämer. Prototyping and formal analysis of concurrent and distributed systems. In Proceedings of the Sixth International Workshop on Software Specification and Design, pages 60–66, Como, Italy, October 1991. Computer Society Press.

    Google Scholar 

  16. N.G. Leveson, M. Heimdahl, H. Hildreth, J. Reese, and R. Ortega. Experiences using statecharts for a requirements specification. In Proc. Sixth International Workshop on Software Specification and Design, pages 31–41 IEEE Computer Society Press, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Elektrotechnik, FernUniversität, Postfach 940, W-5800, Hagen 1, Deutschland

    Wolfgang A. Halang & Bernd Krämer

Authors
  1. Wolfgang A. Halang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernd Krämer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Köln, Deutschland

    Gerhard Weck

  2. EISS Karlsruhe, Deutschland

    Patrick Horster

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden

About this chapter

Cite this chapter

Halang, W.A., Krämer, B. (1993). Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. In: Weck, G., Horster, P. (eds) Verläßliche Informationssysteme. DuD-Fachbeiträge. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-88782-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-88782-5_11

  • Publisher Name: Vieweg+Teubner Verlag, Wiesbaden

  • Print ISBN: 978-3-528-05344-4

  • Online ISBN: 978-3-322-88782-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation