Rigorous System Design
ArrowHead - ARTEMIS AIPP, European, 2013-2017
Arrowhead is addressing efficiency and flexibility at the global scale by means of collaborative automation for five application verticals.
That means production (manufacturing, process, energy), smart buildings and infrastructures, electro-mobility and virtual
market of energy.
CITADEL - H2020-DS-2015-1 Research and Innovation Framework Programme, 2016-2019.
The project expects to achieve in its final phase the demonstration of the capabilities of the adaptive MILS technology
in several industrial contexts and application scenarios, and lay the technical foundations for a certification
framework for the use of adaptive MILS components and systems in critical infrastructure applications.
Transatlantic CPS Summit CT-2014-1c, Coordination & Support Action, European,
2014-2016 Facilitating and promoting EU-US strategic research cooperation in the area of engineering Cyber-Physical Systems.
CPSE Labs - H2020-CPS Engineering Labs Innovation Experiment, 2015-2016.
Rigorous framework for developing and validating robotic applications. One objective of this project is to allow verification and
validation of robotic systems at different design levels and thus reach a high degree of maturity at as low as possible cost.
Early discovery of bugs can play a crucial part in reducing design costs for robotic application. Another objective is to provide rigorous
software engineering techniques and tools for correct-‐by-‐construction development of robotic applications.
ESRoCOS (NEW) - H2020
ERGO (NEW) - H2020
- SUCCESS (NEW)
CHIST-ERA project-SecUre aCCESSibility for the internet of things. The core idea of SUCCESS is to use methods and tools
with a proven track record to provide more transparency of security risks for people in given IoT scenarios. Our core scientific innovation will
consist on the extension of well-known industry-strength methods in our priority areas. Our technological innovation will provide adequate tools
to address risk assessment and adaptavity within IoT in healthcare environments and an open source repository to foster future reuse, extension
and progress in this area. Our project will validate the scientific and technological innovation through pilots, one of which will be in
collaboration with a hospital and will allow all stakeholders (e.g. physicians, hospital technicians, patients and relatives) to enjoy a
safer system capable to appropriately handle highly sensitive information on vulnerable people while making security and privacy
risks understandable and secure solutions accessible.
MoSATT-CMP - ESA ITT 1-ITT 1-7646/13/NL/JK, 2014-2016.
Model-based Schedulability Analysis Techniques and Tools for Cached and Multicore Processors.
SARGON - ESA AO/1-8355/15/NL/SFe, 2015-2017.
The objectives of SARGON are to:
- produce an assessment of a number of the most-used Open-Source robot controller
software (OSRCS) with respect to a number of space application requirements;
- identify the most promising robot controller software (RCS);
- implement and deliver a reference implementation of the RCS.
ACOSE - BGLE, Invesstisment d’avenir<, 2011-2014.
ACROSS - European IST, FP7, ARTEMIS JU, 2010-2013.
An example for plastic e-service
ASCENS - European IST, FP7-ICT-2009-5 project number : 257414 , 2010-2014.
CERTAINTY - - European IST, FP7, 2011-2013
CHAPI - FUI, 2010-2013.
COMBEST - FP7 IST STREP 215543, 2008-2010.
CyPhERS - European FP7, Support Action, 2013-2015.
D-MILS - European STREP FP7, 2012-2015.
ManycoreLabs - BGLE, Investissement d’avenir, 2012-2015.
MARAE - FNRAE, 2008-2010.
MIND Minalogic, 2008-2010.
PRO3D - European IST, 2009-2012
SMECY - European IST, FP7, ARTEMIS JU, 2010-2013.