Software associated to my research

MARCH 31, 2016

  • ZAFETY: Zone-based specicAtion and veriFication rEaltime self-adapTive sYstems.
  • MahaRAJA: Monitoring of ReAl-time Java ProgrAms.
  • IPSOS Assistant: An Emergency Response mobile/cloud application for indoor assisted living.
  • The SCA-PatternBox framework for modeling service-oriented applications with design patterns. It is based on the Eclipse plug-in PatternBox, an existing design pattern editor for Java code, the Eclipse SCA Composite Designer, and the SCA runtime platform Tuscany.
  • The SCA-ASM service modeling framework: An Eclipse-based SCA design framework to support formal modeling and coordinated execution of service-oriented componets via Abstract State Machines.
  • ASMETARE: A validation and animation tool for use case models of system functional requirements, based on the Eclipse Modeling Framework (EMF) with the ACCELEO transformation engine and the ASM toolset ASMETA.
  • The ASMETA (ASM mETAmodeling) toolset: The ASM formal specification and analysis toolset.
  • A Model-driven Design Environment for Embedded Systems-on-Chip (SoC) based on the SystemC UML2 profile (in house tool at STMicroelectronics), 2006.