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

Opendata, web and dolomites

CITADEL SIGNED

Critical Infrastructure Protection using Adaptive MILS

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Outcomes and
results

CITADEL project word cloud

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

placed methodology time architecture generate reconfiguration kernel maintenance compositional citadel verification hosts diverse resilient date adapts supports confound modular establishing healing environments mechanisms industrial monitoring maintaining extend cope reducing solution scrutiny functions critical assurance behavior preserving ci ict tools runtime analyzing malicious costly verified rely safe stress exhibiting intelligently occurrences adaptive forced unpredictable mils demonstrated resilience construction security agent natural dependable deployment regimes vital unexpected policies dynamic manages certification self adversity engineering platform physical extensive automatically automated leveraging enforcing reconfiguring defences threats infrastructures safety configuration undergo separation artifacts adding attacker reverse featuring affordable networks continuous innovative events

Project "CITADEL" data sheet

The following table provides information about the project.

Coordinator	X/OPEN COMPANY LIMITED Organization address address: FORBURY ROAD APEX PLAZA city: READING postcode: RG1 1AX website: www.opengroup.org 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	United Kingdom [UK]
Project website	http://www.citadel-project.org
Total cost	6˙065˙267 €
EC max contribution	4˙842˙819 € (80%)
Programme	1. H2020-EU.3.7. (Secure societies - Protecting freedom and security of Europe and its citizens)
Code Call	H2020-DS-2015-1
Funding Scheme	IA
Starting year	2016
Duration (year-month-day)	from 2016-06-01 to 2019-10-31

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	X/OPEN COMPANY LIMITED X/OPEN COMPANY LIMITED Organization address address: FORBURY ROAD APEX PLAZA city: READING postcode: RG1 1AX website: www.opengroup.org contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (READING)	coordinator	578˙539.00
2	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	599˙967.00
3	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	529˙273.00
4	IKERLAN S. COOP IKERLAN S. COOP Organization address address: P JOSE MARIA ARIZMENDIARRIETA 2 city: MONDRAGON postcode: 20500 website: www.ikerlan.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 (MONDRAGON)	participant	453˙378.00
5	FONDAZIONE BRUNO KESSLER FONDAZIONE BRUNO KESSLER Organization address address: VIA SANTA CROCE 77 city: TRENTO postcode: 38122 website: www.fbk.eu contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (TRENTO)	participant	437˙085.00
6	INSTITUT FÜR ANGEWANDTE SYSTEMTECHNIK BREMEN GMBH INSTITUT FÜR ANGEWANDTE SYSTEMTECHNIK BREMEN GMBH Organization address address: WIENER STRASSE 1 city: BREMEN postcode: 28359 website: www.atb-bremen.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 (BREMEN)	participant	436˙333.00
7	UNIVERSITE GRENOBLE ALPES UNIVERSITE GRENOBLE ALPES Organization address address: 621 AVENUE CENTRALE city: GRENOBLE postcode: 38058 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.	FR (GRENOBLE)	participant	370˙503.00
8	TECHNISCHE UNIVERSITEIT EINDHOVEN TECHNISCHE UNIVERSITEIT EINDHOVEN Organization address address: GROENE LOPER 3 city: EINDHOVEN postcode: 5612 AE website: www.tue.nl/en contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	NL (EINDHOVEN)	participant	293˙140.00
9	FREQUENTIS AG FREQUENTIS AG Organization address address: Innovationsstrasse 1 city: WIEN postcode: 1100 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.	AT (WIEN)	participant	214˙348.00
10	OAS AKTIENGESELLSCHAFT OAS AKTIENGESELLSCHAFT Organization address address: CAROLINE HERSCHEL STRASSE 1 TECHNOLOGIEPARK BREMEN city: BREMEN postcode: 28359 website: www.oas.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 (BREMEN)	participant	171˙356.00
11	UNICONTROLS A.S. UNICONTROLS A.S. Organization address address: KRENICKA 2257 city: PRAHA postcode: 100 00 website: www.unicontrols.cz contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	CZ (PRAHA)	participant	167˙884.00
12	KASPERSKY LAB UK LTD KASPERSKY LAB UK LTD Organization address address: 1ST FLOOR 2 KINGDOM STREET PADDINGTON city: LONDON postcode: W2 6BD 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.	UK (LONDON)	participant	162˙112.00
13	J.W. OSTENDORF GMBH & CO. KG J.W. OSTENDORF GMBH & CO. KG Organization address address: ROTTKAMP 2 city: COESFELD postcode: 48653 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 (COESFELD)	participant	159˙688.00
14	ATSEC INFORMATION SECURITY AB ATSEC INFORMATION SECURITY AB Organization address address: SVARDVAGEN 3 C city: DANDERYD postcode: 18233 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.	SE (DANDERYD)	participant	151˙569.00
15	Q-MEDIA, S.R.O. Q-MEDIA, S.R.O. Organization address address: POCERNICKA 272/96 city: PRAHA postcode: 108 00 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.	CZ (PRAHA)	participant	117˙638.00
16	UNIVERSITE GRENOBLE ALPES UNIVERSITE GRENOBLE ALPES Organization address address: 621, AVENUE CENTRALE city: SAINT MARTIN D'HERES postcode: 38401 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.	FR (SAINT MARTIN D'HERES)	participant	0.00

Map

Project objective

Critical infrastructures (CI) rely on complex safety- and security-critical ICT systems placed into unpredictable environments and forced to cope with unexpected events and threats while exhibiting safe adaptive behavior. Recent security trends stress continuous adaptation to increase attacker work factor and to confound reverse-engineering. Critical CI systems must undergo extensive and costly scrutiny under diverse certification regimes. Improved, effective and affordable development and certification methods are essential.

CITADEL will provide innovative platform technology, methodology and tools for development, deployment, and certification of adaptive MILS systems for CI, to be demonstrated in three industrial CI use cases. The solution enables robust and resilient CI through monitoring and adaptive self-healing mechanisms that respond to natural and malicious occurrences by intelligently reconfiguring hosts, functions, and networks, while maintaining essential functions and defences.

CITADEL is based on MILS, an approach featuring modular construction and compositional assurance, reducing the time and cost for development, certification, and maintenance of dependable systems. The MILS platform, based on a separation kernel, manages physical resources while establishing and enforcing a verified application architecture.

Leveraging advances from the D-MILS and EURO-MILS projects, CITADEL will extend the MILS approach by adding dynamic reconfiguration to the MILS platform, and Monitoring and Adaptation Systems enabling resilience to adversity while preserving vital system properties.

CITADEL supports certification of Adaptive MILS systems by analyzing configuration change mechanisms, adaptation system, configuration properties, and configuration change policies with automated verification tools, and by providing an innovative runtime evidence management agent to automatically generate up-to-date certification assurance artifacts as the system adapts.

Deliverables

List of deliverables.
CITADEL Verification Techniques and Tools	Documents, reports	2020-03-11 11:30:52
AM-ETB Tool Bus for tool integration and assurance	Documents, reports	2020-03-11 11:30:50
Training Materials for Electronic Delivery	Documents, reports	2020-03-11 11:30:45
MILS Monitoring System	Documents, reports	2020-03-09 16:08:14
MILS Adaptation System	Documents, reports	2020-03-09 16:08:12
CITADEL Design Techniques to Specify, Verify, and Synthesize Policies for Run-Time Monitors	Documents, reports	2020-03-09 16:08:20
CITADEL Configuration and Reconfiguration Synthesis	Documents, reports	2020-03-09 16:08:59
Web Site and Dissemination Materials	Documents, reports	2020-02-13 16:19:23
Interfaces and workflow definition for AM-ETB	Documents, reports	2020-02-13 16:19:23
CITADEL Modeling and Specification Languages	Documents, reports	2020-02-13 16:19:23
Methodology for Industrial Evaluation and Readiness Assessment	Documents, reports	2020-02-13 16:19:23

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

Publications

List of publications.
year	authors and title	journal	last update
2018	Mohammed Abuteir ; Zaher Owda ; Hamidreza Ahmadiarr ; Roman Obcrmaisscr Simulation Model and Environment for Mixed-Criticality Networked Multi-Core Chips published pages: , ISSN: , DOI:	2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)	2020-02-20
2018	Nouri, Ayoub; Mediouni, Braham,; Bozga, Marius; Combaz, Jacques; Bensalem, Saddek; Legay, Axel Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework published pages: , ISSN: 1757-8779, DOI:	International Journal of Critical Computer-Based Systems 1	2020-02-20
2018	Ballouli , Rim ,; Bensalem , Saddek; Bozga , Marius; Sifakis , Joseph Programming Dynamic Reconfigurable Systems published pages: , ISSN: , DOI:	https://hal.archives-ouvertes.fr/hal-01888550 1	2020-02-20
2018	Alberto Griggio ; Marco Roveri ; Stefano Tonetta Certifying Proofs for LTL Model Checking published pages: , ISSN: , DOI:	2018 Formal Methods in Computer Aided Design (FMCAD)	2020-02-20
2019	Prochazka, Jan; Novobilsky, Petr; Prochazkova, Dana Cyber Security of Urban Guided Transport Management according to MILS Principles published pages: , ISSN: , DOI:	1	2020-02-20
2018	Koelemeijer, Dorien; Araby, Rasma; Nouri, Ayoub; Bozga, Marius; DeLong, Rance A Model-based Approach to Certification of Adaptive MILS published pages: , ISSN: , DOI: 10.5281/zenodo.1306089	International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@DSN 2018 1	2020-02-20
2018	Ballouli , Rim ,; Bensalem , Saddek; Bozga , Marius; Sifakis , Joseph Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP published pages: , ISSN: , DOI:	https://hal.archives-ouvertes.fr/hal-01888571 1	2020-02-20
2017	Stefano Tonetta Linear-time Temporal Logic with Event Freezing Functions published pages: 195-209, ISSN: 2075-2180, DOI: 10.4204/EPTCS.256.14	Electronic Proceedings in Theoretical Computer Science 256	2020-02-13
2016	Lacramioara AÅŸtefÄƒnoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess Compositional Parameter Synthesis published pages: 60-68, ISSN: , DOI: 10.1007/978-3-319-48989-6_4	Lecture Notes in Computer Science LNCS, volume 9995	2020-02-13
2016	Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga A Model-Based Approach to Secure Multiparty Distributed Systems published pages: 893-908, ISSN: , DOI: 10.1007/978-3-319-47166-2_62	Lecture Notes in Computer Science LNCS, volume 9952	2020-02-13

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "CITADEL" 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 "CITADEL" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.3.7.)

EMYNOS (2015)

nExt generation eMergencY commuNicatiOnS

Read More

ResiStand (2016)

Increasing disaster Resilience by establishing a sustainable process to support Standardisation of technologies and services

Read More

EU-CIVCAP (2015)

Preventing and responding to conflict: developing EU CIVilian CAPabilities for a sustainable peace

Read More