Copyright 2012 FusionForge Wed, 16 May 2012 22:58:41 GMT FusionForge Full Project Listing http://gforge.enseeiht.fr/ gforge@gforge.enseeiht.fr en-us http://gforge.enseeiht.fr/projects/sysa/ SysA Modeler is an tabular/tree and graphical editors for System Assurance modeling languages based on SACM (ARM, SAEM) and Risk Assessment. These editors are intended to be key toolkit for development of System Dependability Cases http://gforge.enseeiht.fr/projects/topcased-exmpls/ The "Topcased examples" project aims at creating models showcasing the capabilities of Topcased as a modeling tool, to provide an easy entry point for beginners. The main focus is set on SysML modelling. http://gforge.enseeiht.fr/projects/enseignementdas/ Le DAS Systèmes Embarqués du pôle Aerospace Valley, dans le cadre de sa stratégie moyen terme, souhaite engager une réflexion de fond sur l'offre de formation régionale dans le domaine des systèmes embarqués. http://gforge.enseeiht.fr/projects/uml2ec/ UML to Object Oriented C Generator targeting Real Time embedded systems. http://gforge.enseeiht.fr/projects/verifme-gentest/ VeriFME Gentest is the component responsible for generating test plans from verification models. http://gforge.enseeiht.fr/projects/verifme-mt/ VeriFME MT (stands for Model Transformations) hosts all M2M transformations implemented in the context of the VeriFME project. http://gforge.enseeiht.fr/projects/verifme-omv/ VeriFME OMV is the component responsible for model validations based on OCL. http://gforge.enseeiht.fr/projects/verifme-ucm/ VeriFME-UCM provides context models for performing formal verifications. http://gforge.enseeiht.fr/projects/verifme-um/ VeriFME-UM provides all DSML required for formal verifications. http://gforge.enseeiht.fr/projects/osate2/ The open-source AADL tool environment (OSATE) includes an AADL front-end and architecture analysis capabilities as plug-ins. Note: The OSATE2 supports AADL version 2. The old OSATE project supports AADL version 1.