PCSL - a process control software specification language

Abstract

This paper presents PCSL, a language for specification and design of process control software, and sketches analysis and reports based on this language. As an example, a system for process-data-collection is specified using PCSL. PCSL, DSL and EPOS are reviewed with respect to PCSL. Finally, the current state of the project is depicted. The appendix contains a short version of the PCSL-definition. Der Bericht beschreibt PCSL, eine Spezifikations- und Entwurfssprache für Prozeßrechnersoftware; Prüfungen und Reports, die auf dieser Sprache basieren, werden skizziert. Als Beispiel ist ein Datenerfassungssystem in PCSL beschrieben. PSL, DSL und EPOS werden mit PCSL verglichen. Der Bericht schließt mit Angaben zum Stand der Arbeiten. Eine Kurzfassung der PCSL-Definition ist als Anhang beigefügt.