Topcased - Home

Presentation

You will find here documents which will help you to set Topcased functionnalities. You will also find presentations which will explain you to understand Topcased goals.

In this page only a sample of documentation is shown. If you want to see more, browse each associated projects to see the associated documents.

Mailing list

Trackers

Documents for project TOPCASED Model Verification Tools

The goal of this project is to make possible model verifications (static and dynamic semantics).

Associated documents

Associated projects

AADL2Fiacre	Description : This project deals with the translation of AADL models into Fiacre models to perform subsequent verifications. Licence : Eclipse Public License (EPL)
FIACRE	Description : This project aims to develop and maintain the FIACRE meta-model and its toolbox. FIACRE is a common behavioural language simplifying the connection of modelling tools to verification tools. Licence : Eclipse Public License (EPL)
OBP	Description : Observer-based prover is a model-checker based on observers and context descriptions. OBP can handle accessibility, safety and bounded liveness properties. Observers and models are described with IF2, context with CDL (Context Description Language). Licence : Eclipse Public License (EPL)
TOPCASED-VF	Description : TOPCASED-VF is a subproject of the TOPCASED project. This subproject provides a Validation Framework for various modelling languages. Licence : Eclipse Public License (EPL)
Tina Bridges	Description : The goal of this project is to provide bridges to verify meta-models in the TINA verification tool. Licence : Eclipse Public License (EPL)