Modelling of requirements means that each single requirement is scrutinised for logic and consistency. Dynamic model execution enables visual feedback of functional transactions and their outputs. They offer the opportunity to identify rapidly the effects of requirements changes and facilitate the creation of test cases.
By way of examples of our work in the Tactical Data Link (TDL) domain, we have produced models of the following TDL standards that we apply in our interoperability management work:
•Military Standard 6016C (MIL-STD-6016C).
•Military Standard 6016D (MIL-STD-6016D).
•UK Variable Message Format (VMF) Single Link Interface Requirements Specification.