Tags : Browse Projects

TOPCASED is an integrated System/Software engineering toolkit compliant with the requirements of critical and embedded applications. It covers the stages from requirements analysis to implementation, as well as some transversal activities like change management, version control, and requirements traceability.

Open Source AADL2 Tool Environment

OSATE-DIM is a tool for performing the backward transformation from AADL Instance to Declarative models, known as Deinstantiation. This transformation is the inverse function of the Instantiation forward transformation. The tool is designed to perform incremental backward transformations, to provide ... [More] maximum information preservation in the AADL instance model view update problem. Three different de-instantiation commands cover a wide range of user requirements: from the novice, to designer, to developer. [Less]