Category Archives: Deliverables

Models or applied maths on controls need arise at the end of the 20th century due to some challenges emergence: How to control in safer ways critical infrastructures like nuclear plants? How to ensure by design that suppliers will comply... Read more »

This document reports the test and evaluation of the ARGO Toolchain using both ARGO test cases (Enhanced Ground Proximity Warning System and Polarization Image Processing System). We specify the demonstration and evaluation phases in detail and report the results of... Read more »

Deliverable D4.1 The first version of the ARGO ADL is used to provide detailed hardware information to the ARGO tool-chain. The specification is based on the SHIM 1.0 ADL [1] which is extended to meet the ARGO specific requirements. The... Read more »

Deliverable D2.2: The ARGO programming model defines tasks and communication and synchronization primitives tasks can use in order to interact. The Programming Model is WCET-aware by ensuring that hardware resources used for communication and memory accesses are known at compile... Read more »

Deliverable D6.1 How will the the project consortium, with a strong academic and industrial background, benefit from the existing breakthroughs in the WCET analysis and code generation for heterogeneous multi-core architectures in a model based design workflow? How it will contribute... Read more »