#	Pagina
attuale pagina	/open-h2020/projects/194149/index.html

Opendata, web and dolomites

SAFURE

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

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

SAFURE project word cloud

Explore the words cloud of the SAFURE project. It provides you a very rough idea of what is the project "SAFURE" about.

centres attacks holistic languages integrity construction detect compliant subsystems data prevent industrial architectures extensions energy sme created dependable challenged communications universities evolution telecommunications temperature cyber assisting security supports community tools framework suppliers threats designers core manufacturers physical solutions separated extend ensures developers joint generally methodology proof integrate jointly standards critical implementing technological detecting openness keep safure protect hardware automotive mixed time monitor capability ground safety empower designer enabled preventing recommendations specifications concurrent

Project "SAFURE" data sheet

The following table provides information about the project.

Coordinator	TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH Organization address address: BURGPLATZ 3A city: VILLACH postcode: 9500 website: www.technikon.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.
Coordinator Country	Austria [AT]
Project website	http://www.safure.eu
Total cost	5˙702˙631 €
EC max contribution	5˙231˙375 € (92%)
Programme	1. H2020-EU.2.1.1.1. (A new generation of components and systems: Engineering of advanced embedded and energy and resource efficient components and systems)
Code Call	H2020-ICT-2014-1
Funding Scheme	RIA
Starting year	2015
Duration (year-month-day)	from 2015-02-01 to 2018-05-31

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH Organization address address: BURGPLATZ 3A city: VILLACH postcode: 9500 website: www.technikon.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (VILLACH)	coordinator	491˙300.00
2	MARELLI EUROPE SPA MARELLI EUROPE SPA Organization address address: VIALE ALDO BORLETTI 61/63 city: CORBETTA postcode: 20011 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (CORBETTA)	participant	622˙900.00
3	SYSGO GMBH SYSGO GMBH Organization address address: AM PFAFFENSTEIN 14 city: KLEIN WINTERNHEIM postcode: 55270 website: http://www.sysgo.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (KLEIN WINTERNHEIM)	participant	570˙000.00
4	THALES SA THALES SA Organization address address: TOUR CARPE DIEM PLACE DES COROLLES ESPLANADE NORD city: COURBEVOIE postcode: 92200 website: www.thalesgroup.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (COURBEVOIE)	participant	552˙300.00
5	THALES SIX GTS FRANCE SAS THALES SIX GTS FRANCE SAS Organization address address: AVENUE DES LOUVRESSES 4 city: GENNEVILLIERS postcode: 92230 website: www.thalesgroup.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (GENNEVILLIERS)	participant	548˙125.00
6	SYMTAVISION GMBH SYMTAVISION GMBH Organization address address: WILLY BRANDT PLATZ 17 city: BRAUNSCHWEIG postcode: 38102 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (BRAUNSCHWEIG)	participant	469˙250.00
7	ESCRYPT GMBH ESCRYPT GMBH Organization address address: WITTENER STRASSE 45 city: BOCHUM postcode: 44789 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (BOCHUM)	participant	456˙250.00
8	TECHNISCHE UNIVERSITAET BRAUNSCHWEIG TECHNISCHE UNIVERSITAET BRAUNSCHWEIG Organization address address: UNIVERSITAETSPLATZ 2 city: BRAUNSCHWEIG postcode: 38106 website: www.tu-braunschweig.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (BRAUNSCHWEIG)	participant	443˙500.00
9	TTTECH COMPUTERTECHNIK AG TTTECH COMPUTERTECHNIK AG Organization address address: SCHONBRUNNER STRASSE 7 city: WIEN postcode: 1040 website: www.tttech.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (WIEN)	participant	431˙500.00
10	SCUOLA SUPERIORE DI STUDI UNIVERSITARI E DI PERFEZIONAMENTO S ANNA SCUOLA SUPERIORE DI STUDI UNIVERSITARI E DI PERFEZIONAMENTO S ANNA Organization address address: PIAZZA MARTIRI DELLA LIBERTA 33 city: PISA postcode: 56127 website: www.sssup.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (PISA)	participant	366˙250.00
11	BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACION BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACION Organization address address: Calle Jordi Girona 31 city: BARCELONA postcode: 8034 website: www.bsc.es contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (BARCELONA)	participant	280˙000.00
12	EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH Organization address address: Raemistrasse 101 city: ZUERICH postcode: 8092 website: https://www.ethz.ch/de.html contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	CH (ZUERICH)	participant	0.00

Map

Project objective

'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 objectives of SAFURE are to (1) implement a holistic approach to safety and security of embedded dependable systems, preventing and detecting potential attacks; (2) to empower designers and developers with analysis methods, development tools and execution capabilities that jointly consider security and safety; (3) to set the ground for the development of SAFURE-compliant mixed-critical embedded products. The results of SAFURE will be (1) a framework with the capability to detect, prevent and protect from security threats on safety, able to monitor from application level down to the hardware level potential attacks to system integrity from time, energy, temperature and data threats; (2) a methodology that supports the joint design of safety and security of embedded systems, assisting the designer and developers with tools and modelling languages extensions; (3) proof-of concept through 3 industrial use cases in automotive and telecommunications; (4) recommendations for extensions of standards to integrate security on safety-critical systems; (5) specifications to design and develop SAFURE-compliant products. The impact of SAFURE will help European suppliers of safety-critical embedded products to develop more cost and energy-aware solutions. To ensure this impact, a community will be created around the project. SAFURE comprises 7 industrial manufacturers, 4 leading universities and research centres and 1 SME.'

Deliverables

List of deliverables.
Use Cases requirements	Documents, reports	2020-01-23 09:33:00
Final specifications of the SAFURE Framework and Methodology	Documents, reports	2020-01-23 09:33:00
Recommendations on standards evolution	Documents, reports	2020-01-23 09:33:00
Data Management Plan (DMP)	Open Research Data Pilot	2020-01-23 09:33:00
Final analysis of integrity algorithms	Documents, reports	2020-01-23 09:33:00
Final OS & RTE prototypes	Demonstrators, pilots, prototypes	2020-01-23 09:33:00
Evaluation of automotive demonstrator	Documents, reports	2020-01-23 09:32:59
Architecture models and patterns for safety & security	Documents, reports	2020-01-23 09:33:00
Integrity methodology	Documents, reports	2020-01-23 09:33:00
Analysis of run-time and software applications on multi-core	Documents, reports	2020-01-23 09:33:00
Technology watch report	Documents, reports	2020-01-23 09:33:00
Evaluation of telecommunications demonstrator	Documents, reports	2020-01-23 09:33:00
Internal and external IT communication infrastructure and project website	Websites, patent fillings, videos etc.	2020-01-23 09:32:59
Interim analysis of integrity algorithms	Documents, reports	2020-01-23 09:32:59
Alpha OS & RTE prototypes	Demonstrators, pilots, prototypes	2020-01-23 09:32:59
Architecture models and patterns for safety & security (Alpha)	Documents, reports	2020-01-23 09:32:59
Use Cases specifications	Documents, reports	2020-01-23 09:32:59
Project quality plan	Other	2020-01-23 09:32:59
Risk Assessment Plan	Documents, reports	2020-01-23 09:32:59
SAFURE Framework specifications	Documents, reports	2020-01-23 09:32:59

Take a look to the deliverables list in detail: detailed list of SAFURE deliverables.

Publications

List of publications.
year	authors and title	journal	last update
2018	Gabriel Fernandez, Francisco J. Cazorla, Jaume Abella Consumer Electronics Processors for Critical Real-Time Systems: a (Failed) Practical Experience published pages: , ISSN: , DOI: 10.5281/zenodo.1199566	European Congress on Embedded Real-Time Software and Systems (ERTS2018)	2020-01-23
2015	Girbal, Sylvain ; Gracia Perez, Daniel ; Le Rhun, Jimmy ; Faugere, Madeleine ; Pagetti, Claire ; Durrieu, Guy A complete tool-chain for an interference-free deployment of avionic applications on multi-core systems published pages: , ISSN: , DOI: 10.5281/zenodo.128554	2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) Proceedings	2020-01-23
2015	Fernandez, Gabriel ; Abella, Jaume ; QuiËœnones, Eduardo ; Fossati, Luca ; Zulianello, Marco ; Vardanega, Tullio ; Cazorla, Francisco J. Seeking Time-Composable Partitions of Tasks for COTS Multicore Processors published pages: , ISSN: , DOI: 10.5281/zenodo.55525	2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC)	2020-01-23
2016	Thiele, Daniel ; Ernst, Rolf Formal Worst-Case Timing Analysis of Ethernet TSNâ€™s Burst-Limiting Shaper published pages: , ISSN: , DOI: 10.5281/zenodo.55529	2016 Design, Automation & Test in Europe Conference & Exhibition (DATE)	2020-01-23
2015	Jakovljevic, Mirko ; Plankensteiner, Markus Deterministic Ethernet - High-speed communication with real-time guarantees published pages: , ISSN: , DOI: 10.5281/zenodo.55518	Forum Funktionale Sicherheit	2020-01-23
2015	Jean, Xavier ; Girbal, Sylvain ; Roger, Anthony ; Megel, Thomas ; Brindejonc, Vincent Safety considerations for WCET evaluation methods in avionic equipment published pages: 7A4-1 - 7A4-15, ISSN: , DOI: 10.5281/zenodo.57615	2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)	2020-01-23
2015	Fernandez, Gabriel ; Jalle, Javier ; Abella, Jaume ; QuiÃ±ones, Eduardo ; Vardanega, Tullio ; Cazorla, Francisco J. Resource usage templates and signatures for COTS multicore processors published pages: , ISSN: , DOI: 10.5281/zenodo.55517	Design Automation Conference (DAC)	2020-01-23
2016	Thiele, Daniel ; Ernst, Rolf Formal analysis based evaluation of software defined networking for time-sensitive Ethernet published pages: , ISSN: , DOI: 10.5281/zenodo.55531	Design, Automation & Test in Europe Conference & Exhibition (DATE)	2020-01-23
2016	Daniel Thiele, Johannes Schlatow, Philip Axer, Rolf Ernst Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks published pages: 88-112, ISSN: 0922-6443, DOI: 10.1007/s11241-015-9243-y	Real-Time Systems 52/1	2020-01-23
2015	Fernandez, Gabriel ; Jalle, Javier ; Abella, Jaume ; QuiÃ±ones, Eduardo ; Vardanega, Tullio ; Cazorla, Francisco J. Increasing confidence on measurement-based contention bounds for real-time round-robin buses published pages: , ISSN: , DOI: 10.5281/zenodo.55515	Design Automation Conference (DAC)	2020-01-23
2016	Bartolini, Davide B. ; Miedl, Philipp ; Thiele, Lothar On the Capacity of Thermal Covert Channels in Multicores published pages: , ISSN: , DOI: 10.5281/zenodo.57409	EuroSys\'16	2020-01-23
2015	Girbal, Sylvain ; Jean, Xavier ; Le Rhun, Jimmy ; Gracia Perez, Daniel ; Gatti, Marc Deterministic platform software for hard real-time systems using multi-core COTS published pages: , ISSN: , DOI: 10.5281/zenodo.57261	34th Digital Avionics System Conference (DASC), Prague, 13-17 September 2015.	2020-01-23
2015	Thiele, Daniel ; Ernst, Rolf Formal Worst-Case Timing Analysis of Ethernet TSNâ€™s Time-Aware and Peristaltic Shapers published pages: , ISSN: , DOI: 10.5281/zenodo.55528	Vehicular Networking Conference (VNC), Kyoto, 16-18 December 2015.	2020-01-23
2016	Quinones, Eduardo; Fernandez, Gabriel; Jalle, Javier; Abella, Jaume; Vardanega, Tullio; Cazorla, Francisco J. Computing Safe Contention Bounds for Multicore Resources with Round-Robin and FIFO Arbitration published pages: , ISSN: 0018-9340, DOI: 10.5281/zenodo.165812	IEEETC 2	2020-01-23

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "SAFURE" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "SAFURE" are provided by the European Opendata Portal: CORDIS opendata.