Forbid (command)

File: forbid

Description:This program inputs a threshold and a set of failure maps (the format for these files is the same as the sensor maps, but order does not matter). The failure maps represent all the states in the composite machines with failures marked with a 'f' an non-failures marked with a 'NF'. The program outputs the list of compsoite states that have more than threshold number of individual failure states. This set of forbidden states can be used as the input for the constrained synchronous composition program (o_par_comp).

Input: Threshold - Failure threshold

Component1.map - First failure map

Component2.map - Second failure map

...- more maps

Output: forbidden.states - List of forbidden composite states.