Skip to main content

SAFety and secURity by design for interconnected mixed-critical cyber-physical systems

Deliverables

Data Management Plan (DMP)

As SAFURE is taking part in the Pilot on Open Research Data a first version of the DMP as an early deliverable will be provided within the first six months of the project. The purpose of the DMP is to provide an analysis of the main elements of the data management policy that will be used by the applications with regard to all the datasets that will be generated by the project. The DMP is not a fixed document, but evolves during the lifespan of the project. More developed versions of the plan can therefore be included as additional deliverables at later stages. According to the Guidelines on Data Management in Horizon 2020, the DMP should address data set reference and name, data set description, standards and metadata, data sharing and archiving and preservation (including storage and backup) on a dataset by dataset basis and should reflect the current status of reflection within the consortium about the data that will be produced.

Evaluation of automotive demonstrator

According to the requirements defined, develop a set of test cases able to verify if solutions developed fit with the initial requirements; execute a test campaign applying the defined set of test cases and produce test reports.

SAFURE Framework specifications

This document will define the initial specifications of the SAFURE Framework, which will be input to the development WPs. A final public version of these specifications will be released in M36 following the Integration activities in WP6.

Use Cases requirements

Deliverable D1.2 resulting from T1.2 will be the requirements supporting development in each target industry. Requirements will be categorized, grouped and prioritized in order to guide development in the other SAFURE work packages. The document will also illustrate the mapping between requirements and how they are reflected in the detailed Use Cases.

Final specifications of the SAFURE Framework and Methodology

This report describes how development and designing a mixed-critical CPS has been carried out in SAFURE, and what tools support is possible during development and assessment. We demonstrate it by “lessons learned” from application of methodology on demonstrators.

Evaluation of telecommunications demonstrator

Report on the evaluation of the telecommunications demonstrator with requirements traceability and a final test report.

Interim analysis of integrity algorithms

The report will provide an overview of existing methods on data management, timing analysis and thermal analysis, and provide first results on specific extensions of these methods to safe and secure systems.

Analysis of run-time and software applications on multi-core

Methodology description and application results.

Technology watch report

This document is a public extract of the D7.2 business plan, technology watch and exploitation report, covering only technology aspects.

Recommendations on standards evolution

Based on applicable standards status and evolution and on T7.4 actions and results, this document provides information on applicable standards, states project partners’ actions for their evolution and the achieved result. It also provides actual and future recommendations made on behalf of this project.

Architecture models and patterns for safety & security (Alpha)

This deliverable is a preliminary document describing the selection of the modelling languages and tools for the definition of the automotive and telecommunication architectures of interest and the constraints that must be addressed to specify safety and security requirements (including timing constraints) and enable their automatic analysis.

Final analysis of integrity algorithms

The report will describe the integrity methods and protection mechanisms related to data management, timing and thermal analysis for safe and secure systems as developed in WP3.

Architecture models and patterns for safety & security

This deliverable is the final and complete version of the description of the selected modelling languages, it will also include the definition of possible extensions or customization of existing standard languages (including stereotypes, domain profiles and possibly dedicated meta-models) and an assessment of the applicability of analysis methods.

Use Cases specifications

Deliverable D1.1 resulting from T1.1 will include a specification of the Use Case for each of the targeted industry domains, as well as the platforms that will be targeted to support typical embedded applications development in each domain.

Integrity methodology

The report will provide the design guidelines for ensuring the integrity of safe and secure systems based on the analysis methods and protection mechanisms developed in WP3.

Risk Assessment Plan

The Risk Assessment Plan will include a Critical Path Analysis (CPA) of the main project activities, identifying risk points, and procedures to deal with them.

Final OS & RTE prototypes

RTEs are implemented and run on top of PikeOS. This deliverable is marked with nature “DEM” (demonstrator, pilot, prototype, plan designs) and will be accompanied by a small written report outlining its structure and purpose in order to justify the achievement of the deliverable.

Alpha OS & RTE prototypes

Mixed-critical real-time scheduler integrated into PikeOS and AUTOSAR OS kernel RTEs are defined and integration strategies are worked out. This deliverable is marked with nature “DEM” (demonstrator, pilot, prototype, plan designs) and will be accompanied by a small written report outlining its structure and purpose in order to justify the achievement of the deliverable.

Internal and external IT communication infrastructure and project website

The external IT communication infrastructure constitutes a guideline for communication of the SAFURE project to external target groups including conferences, marketing measures and communication channels. Furthermore this deliverable constitutes the launch of the internal SAFURE communication infrastructure including the establishment of mailing lists or a subversion server, and the SAFURE website. This deliverable is marked with nature “DEC” and will be accompanied by a small written report outlining its structure and purpose in order to justify the achievement of this deliverable.

Project quality plan

The project quality plan (the project handbook) constitutes a set of project templates, explanations on the project management process, review process, quality checks, meeting organisation, which is communicated to all partners. This deliverable is marked with nature “OTHER (software, technical diagram, etc.) and will be accompanied by a small written report outlining its structure and purpose in order to justify the achievement of the deliverable.

Searching for OpenAIRE data...

Publications

On the Capacity of Thermal Covert Channels in Multicores

Author(s): Bartolini, Davide B. ; Miedl, Philipp ; Thiele, Lothar
Published in: EuroSys'16, 2016
DOI: 10.5281/zenodo.57409

Increasing confidence on measurement-based contention bounds for real-time round-robin buses

Author(s): Fernandez, Gabriel ; Jalle, Javier ; Abella, Jaume ; Quiñones, Eduardo ; Vardanega, Tullio ; Cazorla, Francisco J.
Published in: Design Automation Conference (DAC), 2015
DOI: 10.5281/zenodo.55515

Resource usage templates and signatures for COTS multicore processors

Author(s): Fernandez, Gabriel ; Jalle, Javier ; Abella, Jaume ; Quiñones, Eduardo ; Vardanega, Tullio ; Cazorla, Francisco J.
Published in: Design Automation Conference (DAC), 2015
DOI: 10.5281/zenodo.55517

Deterministic Ethernet - High-speed communication with real-time guarantees

Author(s): Jakovljevic, Mirko ; Plankensteiner, Markus
Published in: Forum Funktionale Sicherheit, 2015
DOI: 10.5281/zenodo.55518

Formal Worst-Case Timing Analysis of Ethernet TSN’s Time-Aware and Peristaltic Shapers

Author(s): Thiele, Daniel ; Ernst, Rolf
Published in: Vehicular Networking Conference (VNC), Kyoto, 16-18 December 2015., 2015
DOI: 10.5281/zenodo.55528

Safety considerations for WCET evaluation methods in avionic equipment

Author(s): Jean, Xavier ; Girbal, Sylvain ; Roger, Anthony ; Megel, Thomas ; Brindejonc, Vincent
Published in: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015, Page(s) 7A4-1 - 7A4-15
DOI: 10.5281/zenodo.57615

Deterministic platform software for hard real-time systems using multi-core COTS

Author(s): Girbal, Sylvain ; Jean, Xavier ; Le Rhun, Jimmy ; Gracia Perez, Daniel ; Gatti, Marc
Published in: 34th Digital Avionics System Conference (DASC), Prague, 13-17 September 2015., 2015
DOI: 10.5281/zenodo.57261

INVITED: Towards Fail-Operational Ethernet Based In-Vehicle Networks

Author(s): Thiele, Daniel ; Möstl, Mischa ; Ernst, Rolf
Published in: DAC '16 Proceedings of the 53rd Annual Design Automation Conference Article No. 53, 2016
DOI: 10.5281/zenodo.59395

Consumer Electronics Processors for Critical Real-Time Systems: a (Failed) Practical Experience

Author(s): Gabriel Fernandez, Francisco J. Cazorla, Jaume Abella
Published in: European Congress on Embedded Real-Time Software and Systems (ERTS2018), 2018
DOI: 10.5281/zenodo.1199566

Formal worst-case performance analysis of time-sensitive Ethernet with frame preemption

Author(s): Daniel Thiele, Rolf Ernst
Published in: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, Page(s) 1-9
DOI: 10.1109/etfa.2016.7733740

A complete tool-chain for an interference-free deployment of avionic applications on multi-core systems

Author(s): Girbal, Sylvain ; Gracia Perez, Daniel ; Le Rhun, Jimmy ; Faugere, Madeleine ; Pagetti, Claire ; Durrieu, Guy
Published in: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) Proceedings, 2015
DOI: 10.5281/zenodo.128554

Seeking Time-Composable Partitions of Tasks for COTS Multicore Processors

Author(s): Fernandez, Gabriel ; Abella, Jaume ; Qui˜nones, Eduardo ; Fossati, Luca ; Zulianello, Marco ; Vardanega, Tullio ; Cazorla, Francisco J.
Published in: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC), 2015
DOI: 10.5281/zenodo.55525

Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks

Author(s): Daniel Thiele, Johannes Schlatow, Philip Axer, Rolf Ernst
Published in: Real-Time Systems, Issue 52/1, 2016, Page(s) 88-112, ISSN 0922-6443
DOI: 10.1007/s11241-015-9243-y

Computing Safe Contention Bounds for Multicore Resources with Round-Robin and FIFO Arbitration

Author(s): Quinones, Eduardo; Fernandez, Gabriel; Jalle, Javier; Abella, Jaume; Vardanega, Tullio; Cazorla, Francisco J.
Published in: IEEETC, Issue 2, 2016, ISSN 0018-9340
DOI: 10.5281/zenodo.165812