Complex Reactive Real Time Systems and the Safety Case

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 decisionmaking process that is flexible, responsive to changing circumstances and intelligent. Thi...

• Type: Conference
• Year: 2004
• Where: SCS
• Authors: Gordon R. Stone
• Keywords: Reactive Real Time, Real Time Systems, Safety Cases, SCS 2004, Software Engineering