The case study is motivated by the Torrey Canyon accident. This accident involves an instance of inconsistent scenario, due to unexpected operator's action, which resulted in an exceptional situation. The accident is due to the fast that detection of the situation and its source was too slow.
Version 1 does not deal with preventing actions that result in inconsistent scenarios. However, it enables fast and reliable detection of such instances.
The normal scope consists of:
Updated on 31 Dec 2016.