Deliverables Open Research Data Pilot (1) 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. Documents, reports (15) 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 D11 resulting from T11 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 Demonstrators, pilots, prototypes (2) 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 Mixedcritical realtime scheduler integrated into PikeOS and AUTOSAR OS kernelRTEs are defined and integration strategies are worked outThis 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 Websites, patent fillings, videos etc. (1) 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 Other (1) 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 Publications Conference proceedings (14) On the Capacity of Thermal Covert Channels in Multicores Author(s): Bartolini, Davide B. ; Miedl, Philipp ; Thiele, Lothar Published in: EuroSys'16, 2016 Publisher: ACM 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 Publisher: ACM 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 Publisher: ACM DOI: 10.5281/zenodo.55517 Formal analysis based evaluation of software defined networking for time-sensitive Ethernet Author(s): Thiele, Daniel ; Ernst, Rolf Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016 Publisher: IEEE DOI: 10.5281/zenodo.55531 Formal Worst-Case Timing Analysis of Ethernet TSN’s Burst-Limiting Shaper Author(s): Thiele, Daniel ; Ernst, Rolf Published in: 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016 Publisher: IEEE DOI: 10.5281/zenodo.55529 Deterministic Ethernet - High-speed communication with real-time guarantees Author(s): Jakovljevic, Mirko ; Plankensteiner, Markus Published in: Forum Funktionale Sicherheit, 2015 Publisher: Forum Funktionale Sicherheit 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 Publisher: IEEE 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 Publisher: IEEE 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 Publisher: IEEE 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 Publisher: ACM 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 Publisher: https://hal.archives-ouvertes.fr/hal-01708723 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, ISBN 978-1-5090-1314-2 Publisher: IEEE 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 Publisher: IEEE 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 Publisher: IEEE DOI: 10.5281/zenodo.55525 Peer reviewed articles (2) 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 Publisher: Kluwer Academic Publishers 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 Publisher: Institute of Electrical and Electronics Engineers DOI: 10.5281/zenodo.165812 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
