You are here


Formal Comparative Analysis for the Automated Air Traffic Control Design

In the next 20 years the airspace traffic will increase by 4 times, and current technology cannot guarantee an acceptable level of safety, reliability, and security. NASA is evaluating different options to design a more advanced and capable Air Traffic Control System. Such a huge project requires a wide range of different analysis, including political and environmental impact, cost analysis, usability, safety and reliability analysis, and so on.

The objective of the project is to produce a new release of the COMPASS toolset, to be referred to as COMPASS 3.0, which integrates, harmonizes and updates selected features from previous projects (COMPASS, AUTOGEF, FAME and HASDEL), with the aim to resolve the compatibility problem.

AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) will create and consolidate the de-facto European-wide open tool platform, ecosystem, and self-sustainable community for assurance and certification of Cyber-Physical Systems (CPS) in the largest industrial vertical markets including automotive, railway, aerospace, space, energy.

The project was financed by an oil-and-gas company for the realization of a planner for a pipelaying vessel. The task of the planner is to organize the work onboard the pipelaying ship where precise timing and ordering of operations are needed for the construction of an undersea pipe. Within this project we designed a domain-dependent planner to cope with huge size of the planning problems to be addressed. The resulting planner leverages the structure of the ship to quickly find plans for nominal and off-nominal situations.

Modern critical systems bear great responsibilities and face escalating challenges. Distributed systems for critical applications are costly and time-consuming to develop and to certify. Since there is little automated support for early assurance that a system faithfully implements its architectural design and satisfies its requirements, qualification testing and certification processes often reveal deficiencies that require costly late changes.

The need for high level of confidence and operational integrity in critical space (software) systems is well recognized in the Space industry and has been addressed so far through rigorous System and Software Development Processes and stringent Verification and Validation regimes.

SafeCer is targeting increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. The industrial domains targeted are within automotive and construction equipment, avionics, and rail. SafeCer will also develop certification guidelines and a training example for other domains, thus considerably increasing its market impact.

TRITon is a research and innovation project funded by the project members and the Autonomous Province of Trento (Provincia Autonoma di Trento, PAT) aimed at advancing the state of the art in the management of road tunnels, specifically to improve safety and reduce energy costs.

Improving the quality of life for the elderly and disabled through technological progress. That is the goal of project Acube. The project’s goal is to study technologies for monitoring complex environments that can be applied in areas such as assisted living homes to help personnel, as well as to support the independence and safety of users.

Velos (Verifica Logica di Sicurezza) is a project aimed to apply formal methods to verification and validation of Logica di Sicurezza (LdS), software designed to monitor and control railway systems.