Software Achievement

  • SEMCO (since 2009): SEMCO aims at defining and providing several artifacts types representing differenst engineering concerns (Security, Dependability, Safety and Ressources) and architectural information. These artifacts are stored in the model-based repository and provided in the form of modeling languages (SEMCO-ML), tools (SEMCO-MDT) and methods (SEMCO-PM)
  • Inflexion (2007-2008): A fault-tolerance framework for distributed component systems
  • Visidia (2003-2007): Visualization and Simulation of Distributed Algorithms