The paper "Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems" has been presented at the 38th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2019, https://conferences.ncl.ac.uk/sa
Read more…The paper "Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems" has been accepted for publication in the proceedings of the 38th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2019
Read more…The paper "Four Exercises in Programming Dynamic Recongurable Systems: Methodology and Solution in DR-BIP" has been accepted for publication in the proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verificat
Read more…The paper "Programming Dynamic Reconfigurable Systems" has been published in the Proceedings of the 15th International Conference on Formal Aspects of Component Software (FACS 2018) and presented at the conference, which hold in Pohang, South Korea,
Read more…The paper "Certifying Proofs for LTL Model Checking" has been accepted for publication in the proceedings of the 18th International Conference on Formal Methods in Computer-Aided Design (FMCAD). The paper will be presented next autumn at the conferen
Read more…The 4th MILS workshop, held on 25th June 2018 in Luxembourg City, Luxembourg, included the presentation "Towards Adaptive MILS Systems: Model-Based Design, Verification and Run-Time Adaptation", prepared by FBK and The Open Group.
Read more…The paper “Enhancing the Cyber Resilience of Critical Infrastructures through an Evaluation Methodology Based on Assurance Cases” has been accepted for publication in the proceedings of the 22nd International Conference on Knowledge-Based and Intelli
Read more…The paper “A Model-based Approach to Certification of Adaptive MILS”, submitted by atsec, Université Grenoble Alpes and The Open Group, has been selected for the 4th MILS workshop, which is co-located with DSN2018. The workshop will be held on the 25
Read more…The paper "Formal Specification and Verification of Dynamic Parametrized Architectures" has been accepted for publication in the proceedings of the 22nd International Symposium on Formal Methods (FM 2018). The paper will be presented this summer at t
Read more…The paper "Linear-Time Temporal Logic with Event-Freezing Functions" has been published in the proceedings of the Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GANDALF). The paper will be presented this week at t
Read more…
The CITADEL partners will hold a project meeting for all partners on 13-14 June 2017 hosted by project partners OAS and ATB in Bremen, Germany. The meeting will focus on discussions regarding the technologies being developed within each of the planes
The 3rd International MILS Workshop has been organized during EmbeddedWorld 2017 under the umbrella of the MILS Community and certMILS project. The event attracted about 60 people from various industries. The papers and presentation have been publish
Read more…On December 8 2016, the CITADEL partner FBK will participate in the workshop "Model-Based System and Software Engineering - Future directions", organized by ESA-ESTEC, and will give a pitch presentation on CITADEL to discuss the project objectives.
ht
The CITADEL partners will hold a project meeting for all partners on 7-8 September. The meeting will be hosted by partner atsec in Stockholm, and will focus on discussions and workshops for the core technologies for developing and deploying dynamic
The CITADEL project receives funding from the European Union's Horizon 2020 Research and Innovation Programme under grant agreement No. 700665.
The contents of this website do not necessarily reflect the position of the European Commission and the European Commission is not responsible for any use that may be made of the information it contains.
