Research Projects

The SAFURE Project

Safure - Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems

Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems

The project SAFURE targets the design of cyber-physical systems by implementing a methodology that ensures safety and security "by construction". This methodology is enabled by a framework developed to extend system capabilities so as to control the concurrent effects of security threats on the system behaviour.

The current approach for security on safety-critical embedded systems is generally to keep subsystems separated, but this approach is now being challenged by technological evolution towards openness, increased communications and use of multi-core architectures.

The goals of the SAFURE project are

  • to implement a holistic approach to safety and security of embedded dependable systems, preventing and detecting potential attacks,
  • to empower designers and developers with analysis methods, development tools and execution capabilities that jointly consider security and safety, and
  • to set the ground for the development of SAFURE-compliant mixed-critical embedded products.

The results of SAFURE will be

  • a framework with the capability to detect, prevent and protect from security threats on safety, the ability to monitor system integrity from application level down to the hardware level including time, energy, temperature and data integrity;
  • a methodology that supports the joint design of safety and security of embedded systems, assisting the designers and developers with tools and modeling language extensions;
  • proof of concept through 3 industrial use cases in automotive and telecommunications;
  • recommendations for extensions of standards to integrate security on safety-critical systems;
  • specifications to design and develop SAFURE-compliant products.

The SAFURE consortium brings together a team of recognized partners in the fields of industry and research in combination with an innovation-oriented SME what makes it suitable to achieve the project’s objectives. These 12 SAFURE partners are spread over 6 European countries and comprise basic research and service design with applied research and end-user oriented service. The complementarities of the partners’ expertise aim at creating value for individual enterprises and institutions and their value chains. To be more precise, SAFURE will help European suppliers of safety-critical embedded products to develop more cost and energy-aware solutions.

The JUNIPER Project

Java platform for high-performance and real-time large scale data management

Objective

The efficient and real-time exploitation of large streaming data sources and stored data poses many questions regarding the underlying platform, including:
1. Performance - how can the potential performance of the platform be exploited effectively by arbitrary applications;
2. Guarantees - how can the platform support guarantees regarding processing streaming data sources and accessing stored data; and
3. Scalability - how can scalable platforms and applications be built.

The fundamental challenge addressed by the project is to enable application development using an industrial strength programming language that enables the necessary performance and performance guarantees required for real-time exploitation of large streaming data sources and stored data.

The project's vision is to create a Java Platform that can support a range of high-performance Intelligent Information Management application domains that seek real-time processing of streaming data, or real-time access to stored data. This will be achieved by developing Java and UML modelling technologies to provide:
1. Architectural Patterns - using predefined libraries and annotation technology to extend Java with new directives for exploiting streaming I/O and parallelism on high performance platforms;
2. Virtual Machine Extensions - using class libraries to extend the JVM for scalable platforms;
3. Java Acceleration - performance optimisation is achieved using Java JIT to Hardware (FPGA), especially to enable real-time processing of fast streaming data;
4. Performance Guarantees - will be provided for common application real-time requirements; and
5. Modelling - of persistence and real-time within UML / MARTE to enable effective development, code generation and capture of real-time system properties.

The project will use financial and web streaming case studies from industrial partners to provide industrial data and data volumes, and to evaluate the developed technologies.

More details can be found on the project website.

Partners

X/Open Company Ltd. (UK) - Coordinator
petaFuel GmbH (DE)
aicas GmbH (DE)
University of York (UK)
Universität Stuttgart (DE)
Scuola Superiore Sant'Anna (IT)
HMI Human Machine Intelligence GmbH (DE)
SOFTEAM (FR)

Project details

Programme acronym: FP7-ICT
Subprogramme area: ICT-2011.4.4
Contract type: Collaborative project (generic)
Project reference: 318763
Start Date: 2012-12-01
Duration: 36 months
Total cost: EUR 4.003.417
EU contribution: EUR 2.850.000

Current projects

Projects

The ReTiS group has been involved in many European research projects related to several aspects of real-time computing, including scheduling, operating systems support for embedded systems, design methodology and tools for real-time applications, real-time control software and novel operating systems design for cloud computing and massively parallel and distributed systems. ReTiS was also actively involved in the ArtistDesign European Network of Excellence for Embedded Systems Design, leading a cluster on operating systems and networks, including 20 top European universities, SME and research centers.

Subscribe to RSS - Research Projects