Research
Research areas at SEL
- Software Engineering
- Systems Engineering
- Model-based Systems and Software Engineering
- Modeling & Simulation (M&S)
- Distributed Simulation
- M&S as a Service
- 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)
- OATA Overall ATM Target Architecture – EUROCONTROL
- SysML-based Model-driven System Development – Elettronica SpA
- Interface Communication Modeling Language (ICML) - ESA Summer of Code in Space
- UML profiles for the model-driven development of ATM software systems - AISoftw@re SpA
- Software quality assurance methods and tools based on coding rules - Exprivia SpA
- Information and software systems
- INAIL Information System Quality Assessment - INAIL
- Adequacy Assessment of Computing Facilities and Network Services – ICE
- Software Acquisition Assessment - ENAV
- Innovative Cloud-based Platforms for Agribusiness Processes - PSR Regione Lazio Measure 124
- Adaptive Business Process Management System - POR FESR Regione Lazio
- Software Services for Energy Efficiency of Public Lighting - ISIMM Research