Designing a High-level Language for Safety Systems
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.
- 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.Jones C.B. Systematic Software Development Using VDM. Prentice Hall, 1985Google Scholar
- 3.Spivey J.M. An Introduction to Z and Formal Specifications. Software Engineering Journal 1989; 1Google Scholar
- 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.Kaufmamn F, Schillinger D. Functional Language as User—Friendly Programming Aid. In: Brown Boveri Review, 1984Google Scholar
- 6.IEC SC65A/WG6/TF3(Coordinator)4. Discontinous Process Control, Working Draft: Standards for Programmable Controllers, Part 3: Programming Languages, 1988Google Scholar
- 7.Merlin P, Faber D.J. Recoverability of communication protocols. IEEE Trans. Commun. 1976; 24:9Google Scholar
- 9.Siemens AG. Sicherheitsleittechnik, Konzeptbeschreibung Teil 1. KWUE451, 1991 (in German)Google Scholar
- 10.Hoare C.A.R. An axiomatic basis for computer programming. Communications of the ACM 1969, 12Google Scholar