[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
p105: "User attempt operations that are interlocked... Users may select operations in any sequence they wish, subject only to the sequencing constraints imposed by the preconditions. There is no 'flow of control'". Interlock Preconditions Some safety conditions need special treament because they depend on variables(sensor inputs) that are inputs and so not under constraint - and so not constrained in a precondion (or post-condition).
Op=Safe_Op or Invariant(System).
May need to add extra interlocks on transitions that are not in raw requirements.
Did not need an OO version of Z. Defined classes of components all sharing a common schmer and separted by their identifiying names.
Useful Idioms: promotion, multiple comp ops,
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]