VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools in order to reduce the time and cost needed to verify and validate automated systems with respect to safety, cybersecurity and privacy (SCP) requirements.

  The MSCA ITN 2018 project Lowcomote will train a generation of experts that will upgrade the current trend of Low-code development platforms (LCPDs) to a new paradigm, Lowcode Engineering Platforms (LCEPs).

 The AQUAS project investigates the challenges arising from the inter-dependence of safety, security and performance of systems and aims at efficient solutions for the entire product life-cycle within three essential capabilities of the ECSEL: Design Technologies (DT), Cyber-Physical Systems (CPS), and European Asset Protection (EAP).

MegaM@Rt will create a framework incorporating methods and tools for continuous development and validation leveraging the advantages of scalable model-based methods to provide benefits in significantly improved productivity, quality and predictability of large and complex industrial systems.

SafeCOP targets safety-related Cooperating Cyber-Physical Systems (CO-CPS) characterised by use of wireless communication, multiple stakeholders, dynamic system definitions (openness), and unpredictable operating environments.

AMASS 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 overall objective of the PHANTOM project is to deliver an integrated cross-layer (hardware and system software/programming environment), multi-objective and cross-application approach that will enable next generation heterogeneous, parallel and low-power computing systems, while hiding the complexity of computing hardware from the programmer, thus fostering productivity in programming.

CONTREX is a project for the design of embedded mixed-criticality systems under consideration of extra-functional properties. CONTREX will enable energy efficient and cost aware design through analysis and optimisation of real-time, power, temperature and reliability with regard to application demands at different criticality levels.

CONCERTO delivered a reference multi-domain architectural framework for complex, highly concurrent, and multi-core systems, where non-functional properties (including real-time, dependability, and energy management) were established for individual components, derived for the overall system at design time, and preserved by construction and monitoring at run-time.

The SESAMO project addressed the root causes of problems arising with convergence of safety and security in embedded systems at architectural level, where subtle and poorly understood interactions between functional safety and security mechanisms impede system definition, development, certification, and accreditation procedures and standards.

The study is aimed to improve the overall verification process of space systems, thanks to the usage of model-based methodologies. Adequate methods, processes and supporting infrastructures (networked tools and people) are defined and demonstrated.

The main objective of the FoReVer study was to develop methodological, theoretical and technological support for a systematic approach to space avionics system development, across ECSS phases 0, A, B and C.

OPENCOSS was a European large scale project dedicated to produce the first European-wide open safety certification platform: an Open Platform for EvolutioNary Certification Of Safety-critical Systems for the railway, avionics and automotive markets.

n-SafeCer and p-SafeCer targeted increased efficiency and reduced time-to-market by composable certification of safety-relevant embedded systems.

CHESS seeks mature industrial quality research solutions to problems of property-preserving component assembly in real-time and dependable embedded systems.

METRICOS was aimed at the study, design and experimentation of a tool for the collection, analysis and utilisation of metrics related to the software development process according to the procedures identified by the process defined and applied to meet the CMMI level 3 requirements.

COOPER, developed in cooperation with TRS, a partner in the “Consorzio START”, was aimed at the development of software tools to support the cooperation between enterprises as well as the activities of the consortium itself. These include in particular the management and allocation of procurement activities, from the receipt of requests for proposals to the billing, and also the production of reports to allow monitoring of activities, both within the Consortium and toward the customers.

Safety-critical systems are important parts of our daily life. Those systems are also called dependable systems, as our lives can depend on them. Examples are controllers in an airplane, breaking controller in a car, or a train control system. Those safety-critical systems need to be certified and the maximum execution time needs to be bounded and known so that response times can be assured when critical actions are needed. Note that just using a faster processor is not a solution for time predictability.