CHESS

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

METRICOS

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

COOPER

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

T-CREST

The T-CREST project addresses innovative solutions for time-predictable multi-core and many-core system architectures and a compiler infrastructure is developed... ...

FoReVer

The objective of the project is to provide a guideline on the systematic approach of verification of avionics system level properties around Model Driven Engineering... ...

OPENCOSS

OPENCOSS addresses the definition of a common certification framework that spans different vertical markets for railway, avionics and automotive industries... ...

SafeCer

OPENCOSS addresses the definition of a common certification framework that spans different vertical markets for railway, avionics and automotive industries... ...

SeSaMo

The SESAMO project addresses the root causes of problems arising with convergence of safety and security in embedded systems at architectural level... ...

CONCERTO

CONCERTO addresses a reference multi-domain architectural framework for complex, highly concurrent, and multi-core systems... ...