You are here


SIMS is a industrial project which aims to analyze operational data provided by devices (Oil & Gas, Rail domains) in order to take appropriate corrective actions in terms of preventive maintenance

The CATSY (Catalogue of System and Software Properties) project aims to improve the early verification and validation (V&V) activities by providing new methods to formalise requirements and validate the formal properties.

The project focuses on the definition of a formal framework based on a tight integration of design and verification through all refinement steps of an embedded platform design flow, from specifications to logic synthesis and software compilation. In particular, it is intended to propose a modelling and verification flow to enhance and speed-up embedded platform design and configuration with particular regard to application fields related to mixed continuous/discrete models, like for example networked multimedia and sensor network managing.

The MISSA project aims at developing new procedures, based on formal methods, to support safety analysis and verification of complex systems. The ultimate goal of the project is the reduction of development costs and the optimization of the production chain. To reach this goal, MISSA will focus on the following dimensions: design and installation optimization, assessment of a systems organic architecture against the safety requirements, detailed system architecture and design, and a software infrastructure that facilitates the exchange of information.

The project aims at proposing an approach to on-board autonomy, based on model-based reasoning. The approach integrates many important functionalities (such as plan generation, plan execution and monitoring, fault detection identification and recovery (FDIR), and run-time diagnosis) in a uniform framework.

The European Train Control System (ETCS) is a control system for the interoperability of the railways across Europe. The EuRailCheck project was promoted by the European Railway Agency for the development of a methodology and tools for the formalization and validation of the ETCS specifications. Within the project, we achieved three main results. First, we developed a methodology for the formalization and validation of the ETCS specifications.

S3MS (Security of Software and Services for Mobile Systems) is a European research project focused on the security issue of mobile systems.

The goal of the PROSYD project is to significantly increase the competitiveness and efficiency of the European IT industry through the establishment of a standard, integrated property-based paradigm for the design of electronic systems. This paradigm will integrate and unify the many phases of system development, including requirement definition, design, implementation, and verification, into one coherent design flow, building on the emerging standard property specification language PSL/Sugar, which has been recently selected as a basis for an IEEE standard.

The ISAAC project aims to increase the capability and efficiency of safety and systems engineers to perform safety assessments resulting in secure systems. The proposed methodology, built on formal method techniques, is an integrated part of a model-based development process where safety and reliability aspects are examined in the early steps of development.

These are two projects ILAADR - Internal Logistics with Automated Autonomous Delivery and Replenishment and ILEVATOR - intraLogistics Enabled by autonomous Vehicles cooperATing with Operators and Robots both funded by EIT Digital.