Complex reactive real time systems and the safety case

  • Authors:
  • Gordon R. Stone

  • Affiliations:
  • Compucat Research Pty Limited, Belconnen, Australian Capital Territory

  • Venue:
  • SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
  • Year:
  • 2004

Quantified Score

Hi-index 0.01

Visualization

Abstract

Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out selected tasks when some components of the system cannot be considered acceptably safe. They may be required to operate continuously.The requirements of a safety case for such systems can be considered by use of a "response to tasking model" based on a representative system. Consideration of the response to tasking model indicates that what we are used to considering as a safety case for more straightforward systems may be inadequate for such systems.The application of safety cases to existing complex reactive real time systems may benefit from review. As semi-autonomous and autonomous systems become more prevalent, there will be more urgency for safety cases to take account of a sophisticated, automated decision-making process that is flexible, responsive to changing circumstances and intelligent. This may require re-evaluation of the format, content and presentation of safety cases. A navy warship is used as an example complex reactive real time system to illustrate the issues in demonstrating achievement of acceptable safety.