We have developed formal design methods that integrate the proposed architectural design representation, formal verification and design-time testing techniques as described above into a coherent and evolutionary design process to systematically enforce design traceability and conformity against various important system properties as discussed above. Without such methods to integrate those analysis techniques, the impact of those stand-alone techniques are severely limited.

These modeling methods are aimed to achieve three primary objectives:

1. They provide an incremental and systematic process for complex model building.
2. They allow a designer to systematically link design decisions with (real-time) system constraints, and to enforce that the design satisfies the constraints.
3. They define a framework that helps to control the complexity of analysis by supporting composition-ability both horizontally (at same design level) and vertically (across different design levels).