Research

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
    • 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
    • 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