FIU Home
About CADSE
Research
Recent Publications
CADSE Activities
People
Opportunities
Training
Funding
Contact Info
Links



CADSE Home


Goal-Directed, Incremental Architectural Refinement Process

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).

For problems or questions about this web, contact webmaster@cadse.cs.fiu.edu