Model-driven Systems, Software and Simulation Engineering
Business Process Modeling and Analysis
Performance and Dependability Engineering and Validation of Systems, Software and Processes
Projects
Modeling & Simulation
MASTER – Modelling & Simulation as a Service: Service-Oriented Architecture for Training & Experimentation – Italian Ministry of Defence (PNRM – National Plan for Military Research)
Integration of HLA and Web Services for web-based and distributed simulation – MIUR FIRB
Analysis, design and implementation of visual simulation scenarios - CERTIA Research Center
ESA-TELESPAZIO Earth Observation System Program (Simulation Design of the Ground Information System)
System performance and dependability engineering
GAAS Generic Approach to ATM Systems - EC DG XII
ADAGES Action plan Definition on the basis of Architecture studies from GAAS for EATMS Simulations – EUROCONTROL
DAAS Dependable Approach to ATM Systems - EC DG XIII
PAMPAS Preliminary Approach for Modelling Performance of ATM Systems – EUROCONTROL
Automated building of predictive models for performance validation – MIUR FIRB
SS&PSW Methods for the development of dependable complex software platforms - MAP-SELESO
Performance modeling of Rotor applications - MICROSOFT Research
Systems and software verification and validation
EVAS EATMS Validation Strategy – EUROCONTROL
VALERY Study for the Development of a Validation Data Repository – EUROCONTROL
EPVDR Enhanced Prototype Validation Data Repository - EUROCONTROL
Methods and tools for static and dynamic verification of ATM software systems- AISoftw@re SpA
Model-driven systems and software engineering
HRAF: EDLS Distributed Simulation Federation and Model-driven Engineering Framework Development – ESA (European Space Agency)
