HEJ, HU ISSN 1418-7108
Manuscript no.: ANM-991102-A
Frontpage previous next
Supplementary files: (unofficial)
  • None.

A Qualitative Model for Conditions in Safety-Critical Systems 1

Miklós Szijártó (szijarto@rs1.szif.hu)
Dietmár Groger (groger@rs1.szif.hu)
Gábor Kallós (kallos@rs1.szif.hu)
Department of Computer Science,
Széchenyi István College, H-9026,
Hédervári út 3., Gyor, Hungary.

Abstract:

In this paper we introduce a new, theoretical model for safety-critical systems, in which the distance from the dangerous conditions can be measured. The connection between this distance model and real-life probability model will be discussed, too. We illustrate the theoretical discussion with some simple examples.



 
HEJ, HU ISSN 1418-7108
Manuscript no.: ANM-991102-A
Frontpage previous next