Methods for early validation and evaluation of system designs

An effective design process, especially important to design systems supporting critical applications, should include an early evaluation of system characteristics like dependability, performance and correctness, which are necessary to assess the compliance of the system under development to its targets. The validation of designs described using the Unified Modeling Language (UML) by means of tools integrated within the UML design environment has been the goal of a recently concluded European project (HIDE), and is still ongoing research in the framework of an ASI project (PRIDE). The idea is to develop an integrated environment, where formal verification and quantitative analysis tools will be made available to the designer within the design environment, and the required mathematical models will be derived automatically from the UML specification.

Server START WebServer Manager
Update Time 25 Oct 2005 at 13:10:41
Maintainer notify-email-img
Dependable Computing Research Lab
Dependable Computing Research Lab
Start Conference Manager
Conference Systems