TU Braunschweig


Schnieder, L.; Schnieder, E.; Müller, J. R.:
Conceptual Foundation of Dependable Systems Modelling.
Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), S. 225-229, Bari, Italy, June 2009.


In a variety of different standards the subject matter of dependability is defined by various concepts. Their unambiguous definition can lead to a clear interpretation which facilitates communication of all persons involved in the development of safety-critical technical systems. By means of concise communication during specification, subsequent implementation as well as the preparation of operating and maintenance manuals negative legal and financial impacts can be avoided. For this reason this paper introduces a method for terminological disambiguation. Keywords: standardization, terminology, formal methods, system, dependability