Software associated to my research
- ZAFETY: Zone-based speci cAtion 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.