SAFECOMP ’93 pp 289-301 | Cite as

Designing a High-level Language for Safety Systems

  • G. Sen
  • J. Brummer
Conference paper


As an alternative to the classical approach for system specification on the basis of a formalised general purpose language a graphical and specialised language for application to safety critical systems is outlined. The architecture of the language is constructed in accordance with the functional and timing requirements typically for operationality in safety systems. The fundamental and generic elements of the language are presented: the syntax and semantics of function and net diagrams. A wide range of operational behaviour (functional and timing) can be determined by this graphical specification technique, several ways of specification analysis are opened. Some examples show how to benefit from the combination of illustrative graphical demonstration and strictly defined rules for their interpretation.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Futatsugi K, Goguen J.A, Jouannaud J-P, Meseguer J. Principles of OBJ2. In: Proceedings ACM Princ. of Prog. Lang., 1985.Google Scholar
  2. 2.
    Jones C.B. Systematic Software Development Using VDM. Prentice Hall, 1985Google Scholar
  3. 3.
    Spivey J.M. An Introduction to Z and Formal Specifications. Software Engineering Journal 1989; 1Google Scholar
  4. 4.
    Brummer J. Representation and Verification of Discrete—Event Systems by Means of Petri Nets. In: Proceedings of the Third International Workshop on Software Engineering and its Application. Toulouse, France, 1990Google Scholar
  5. 5.
    Kaufmamn F, Schillinger D. Functional Language as User—Friendly Programming Aid. In: Brown Boveri Review, 1984Google Scholar
  6. 6.
    IEC SC65A/WG6/TF3(Coordinator)4. Discontinous Process Control, Working Draft: Standards for Programmable Controllers, Part 3: Programming Languages, 1988Google Scholar
  7. 7.
    Merlin P, Faber D.J. Recoverability of communication protocols. IEEE Trans. Commun. 1976; 24:9Google Scholar
  8. 8.
    Berthomieu B, Diaz M. Modelling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. Software Engineering 1991; 17:3CrossRefGoogle Scholar
  9. 9.
    Siemens AG. Sicherheitsleittechnik, Konzeptbeschreibung Teil 1. KWUE451, 1991 (in German)Google Scholar
  10. 10.
    Hoare C.A.R. An axiomatic basis for computer programming. Communications of the ACM 1969, 12Google Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • G. Sen
    • 1
  • J. Brummer
    • 2
  1. 1.Reactor Control DivisionBhabha Atomic Research CentreBombayIndia
  2. 2.Institute for Safety Technology(IST)Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) mbHGarchingGermany

Personalised recommendations