EDICT Tool Suite

WWTG’s EDICT  Tool Suite represents a revolutionary advance in facilitating the production of complex high confidence software intensive systems.  With the EDICT tools, system developers, engineers and architects are able to capture the important properties of the system as models of system architecture and behavior, and assess the safety and efficiency of architectural mechanisms employed.  The tool plays an integral role in the overall verification and validation (V&V) process for ensuring that requirements for dependability, safety and error handling requirements are achieved with traceable artifacts.

Model Driven Development

EDICT employs a model driven system design approach.  System architecture modeling is combined with powerful analysis tools capable of evaluating complex properties related to dependability, safety, and security.  EDICT supports early and incremental architecture evaluation and refinement throughout the system lifecycle.   The EDICT analysis tools are suited to both new system developments as well as to technology insertions and technology refreshes for existing system.

System Properties

System solution providers and integrators are facing increased design, test and certification burdens as modern systems become progressively more complex.  The EDICT tools reduce this burden by enabling architectural analysis of key system properties (safety, dependability) throughout the development process.  Many of these properties are not handled gracefully in traditional object oriented or component based design approaches, often leading to system certification difficulties and high system integration costs. Furthermore, high powered analysis methods are beyond the reach of the system engineers and require a specialist with the necessary expertise.  After the results are obtained, it is difficult to link them into a system level architecture model and they exist as stand alone artifacts.  Tradeoff analysis becomes a long, expensive and cumbersome process.  The EDICT Tools employ model driven design techniques with methods to integrate these views and model results into a single architecture model that is accessible to all system stakeholders.  The trade space can be worked more efficiently and it is easier to identify desired properties and evaluate the ability of a system to deliver the properties at runtime. 

The EDICT Tools

The EDICT Tool Suite is composed of EDICT-Core tools and a set of domain extensions for system error handling and dependability analysis, system security analysis and system safety analysis for the placement of on-line error detection and toleration mechanisms to mitigate safety concerns.  The EDICT Tools leverage open standard modeling languages (AADL) and deployment platforms (Eclipse) in order to provide an interoperable, flexible and extensible tool suite.

More ->