CITADEL project deliverables
The page lists 11 deliverables related to the research project "CITADEL".
List of Deliverables
| title and desprition | type | last update |
|---|---|---|
CITADEL Verification Techniques and ToolsThis deliverable will report the details of the extensions and optimizations of the verification techniques and tools for dynamically reconfigurable systems. Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-03-11 |
AM-ETB Tool Bus for tool integration and assuranceThis deliverable will provide the documentation and implementation of AM-ETB as well as for the wrappers of the integrated verification/validation tools. Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-03-11 |
Training Materials for Electronic DeliveryThe deliverable will contain the course content for each training module that will be developed ranging from introductory modules to more technically intensive modules and targeting CI technology providers, operators, and other organisations in the value chain such as certification authorities. The training materials will reflect feedback and suggested revisions by the industrial partners carrying out demonstrations. Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-03-11 |
MILS Monitoring Systema. Monitoring engine seamlessly integrated with operational plane Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-03-09 |
MILS Adaptation Systema. Change agent application and operating environment Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-03-09 |
CITADEL Design Techniques to Specify, Verify, and Synthesize Policies for Run-Time MonitorsThis deliverable will report on the detail of the specification languages and techniques for verify and synthesize policies for the CITADEL run-time monitors. Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-03-09 |
CITADEL Configuration and Reconfiguration SynthesisThis deliverable will report on the details of the specification and implementation of the designed and developed configuration and reconfiguration synthesizers. Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-03-09 |
Web Site and Dissemination MaterialsSet-up of the CITADEL web site along with preparation of dissemination materials introducing the project, objectives and expected impacts for use in creating awareness of the project amongst technology providers and CI operators. Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-02-13 |
Interfaces and workflow definition for AM-ETBThis deliverable will specify the interfaces for tool integration within AM-ETB and will define the workflow language used to coordinate tool execution, claim/artifact collection, and assurance case extraction. Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-02-13 |
CITADEL Modeling and Specification LanguagesThis deliverable documents the syntax and semantics of the modeling and specification languages defined in task T3.1, in particular the user-level language to describe the system architecture, the property specification language, and the extensions to Dy-BIP and OCRA. Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-02-13 |
Methodology for Industrial Evaluation and Readiness AssessmentThe Methodology for Industrial Evaluation and Readiness Assessment will provide a plan for evaluation of the Adaptive MILS technology within the context of an industrial demonstrator. It will: Programme: H2020-EU.3.7. - Topic(s): DS-03-2015 |
Documents, reports | 2020-02-13 |