High Integrity Systems Group, Department of Computer Science,
This paper provides a review of analytical techniques for hard real-time safety-critical systems. The aim is to show that analytical technicues can be employed not only to consider existing systems but as part of the design process. Four characteristics of
ANALYSISOFDEPENDABLECOMPUTERSYSTEMS
M.NicholsonandJ.A.McDermid
November1994
HighIntegritySystemsGroup,
DepartmentofComputerScience,
UniversityofYork,
Heslington,
York,
Y015DD
UK.
Email:jam@minster.york.ac.uk,mark@minster.york.ac.uk
Abstract
Thispaperprovidesareviewofanalyticaltechniquesforhardreal-timesafety-criticalsystems.Theaimistoshowthatanalyticaltechnicuescanbeemployednotonlytoconsiderexistingsystemsbutaspartofthedesignprocess.Fourcharacteristicsofasytemareconsidered:functionality,timing,resourceusageanddependability.Particularemphasisisgiventothesafetyandreliabilitymeasurementofdependability.Adesignemergencemodelisputforwardthatwebelievewillallowallthecharacteristicsofasystemtoemergeduringthedesignprocess.Theanalyticaltechniquesarewithrespecttothismodel.©TheAuthors1994
