REAL-TIME SAFETY-CRITICAL SYSTEMS - ANALYSIS AND SYNTHESIS

TY - JOUR

T1 - REAL-TIME SAFETY-CRITICAL SYSTEMS - ANALYSIS AND SYNTHESIS

AU - Burns, A

AU - McDermid, J A

PY - 1994/11

Y1 - 1994/11

N2 - Real-time safety-critical systems are currently engineered in a determinstic and conserative fashion. Although successful in many application areas, this approach leads to inefficient designs that are hard to modify. The paper proposes an alternative approach to developing such systems, which gives much greater flexibility in the design process and implementation, without losing the ability to guarantee timing properties and to analyse safety properties. It is also possible to produce implementations with known timing and safety properties. The paper identifies the research issues which must be addressed in order to realise systems in this fashion.

AB - Real-time safety-critical systems are currently engineered in a determinstic and conserative fashion. Although successful in many application areas, this approach leads to inefficient designs that are hard to modify. The paper proposes an alternative approach to developing such systems, which gives much greater flexibility in the design process and implementation, without losing the ability to guarantee timing properties and to analyse safety properties. It is also possible to produce implementations with known timing and safety properties. The paper identifies the research issues which must be addressed in order to realise systems in this fashion.

KW - EXECUTION TIMES

M3 - Article

SN - 2053-910X

VL - 9

SP - 267

EP - 281

JO - Software Engineering Journal

JF - Software Engineering Journal

IS - 6

ER -