HEJ, HU ISSN 1418-7108
Manuscript no.: ANM-991102-A
| 
 |
|
|
|
Supplementary files: (unofficial)
|
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
|
|
|
