Aggregated Quality Assurance for Systems

Odoo Members

 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).

Read more

MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems

Odoo Members

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.

Read more

Safe Cooperating Cyber-Physical Systems using Wireless Communication

Odoo Members

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.


Read more

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems 

Odoo Members

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.


Read more

Cross-Layer and Multi-Objective Programming Approach for Next Generation Heterogeneous Parallel Computer Systems 

Odoo Members

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.


Read more

Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties 

Odoo Members

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.


Read more

Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems

Odoo Members

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.


Read more

Security and Safety Modelling

Odoo Members

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.


Read more

Model Based Approach Research for Verification Enhancement through the Lifecycle of a System

Odoo Members

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.


Read more

Functional Requirements and Verification Techniques for the Software Reference Architecture

Odoo Members

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.


Read more

Open platform for evolutionary certification of safety-critical systems

Odoo Members

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.


Read more

Safety Certification of Software-Intensive Systems with Reusable Components

Odoo Members

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


Read more

Composition with guarantees for High-integrity Embedded Software components assembly

Odoo Members

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

Read more

Rationalisation of process metrics for Software Life Cycle innovation through Open Source tools

Odoo Members

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.


Read more

COnsortium Ontology knowledge based Process forEnterprise Rationalisation

Odoo Members

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.

Read more

Time-predictable Multi-Core Architecture for Embedded Systems

Odoo Members

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.

Read more

Intecs  The Brainware company