=+12.4. A safety-critical software system for managing roller coasters controls two main components:

■ The lock and release of the roller coaster harness which is supposed to keep riders in place as the coaster performs sharp and sudden moves. The roller coaster could not move with any unlocked harnesses.