Safety-Critical Computer Systems¶
Storey, N. (1996). Safety-Critical Computer Systems. Addison-Wesley.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Prospective Memory
- Software and distributed systems — cron and scheduled jobs (time-based); event handlers, listeners, observers, and pub-sub (event-based); promises, futures, async/await; message queues with delayed delivery; workflow engines; database triggers. Organizational practice — calendar reminders, ticketing systems, tickler files, follow-up cadences, action-item tracking, deadlines, bring-forward lists. Engineering and physical systems — deadman switches, auto-injectors and dose timers, temperature-triggered sprinklers, current-triggered circuit breakers, smoke-triggered alarms.
This sourceCovers watchdog timers, interlocks, emergency-stop circuits, and fail-safe mechanisms — engineered triggered-action (deferred-action) safety devices that fire when a monitored condition occurs.
- Software and distributed systems — cron and scheduled jobs (time-based); event handlers, listeners, observers, and pub-sub (event-based); promises, futures, async/await; message queues with delayed delivery; workflow engines; database triggers. Organizational practice — calendar reminders, ticketing systems, tickler files, follow-up cadences, action-item tracking, deadlines, bring-forward lists. Engineering and physical systems — deadman switches, auto-injectors and dose timers, temperature-triggered sprinklers, current-triggered circuit breakers, smoke-triggered alarms.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:08d821de076f · see in the full table