publication . Conference object . Article . 2018

A Model-based Approach to Certification of Adaptive MILS

Koelemeijer, Dorien; Araby, Rasma; Nouri, Ayoub; Bozga, Marius; DeLong, Rance;
Open Access English
  • Published: 25 Jun 2018
  • Publisher: HAL CCSD
  • Country: France
International audience; In this work, we tackle the problem of certifying Adaptive systems. These are able to automatically perform self-reconfiguration at run-time, which makes classical certification approaches inapplicable. The need for certification approaches for these systems is thus becoming urgent, especially due to their prevalent use in safety-and mission critical settings. Due to the inherent complexity of adap-tive systems and the absence of a principled methodology for their construction and assurance, there has been little movement by certification authorities to accept such systems. Among the challenges for certification are a way of generating an...
free text keywords: modular assurance cases, evidential tool-bus, adaptive MILS, dy-namic reconfiguration, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, modular assurance cases, evidential tool-bus, adaptive MILS, dynamic reconfiguration, dynamic reconfiguration
Related Organizations
Funded by
Critical Infrastructure Protection using Adaptive MILS
  • Funder: European Commission (EC)
  • Project Code: 700665
  • Funding stream: H2020 | IA
Validated by funder
Download fromView all 7 versions
Open Access
Conference object . 2018
Provider: Datacite
Open Access
Conference object . 2018
Provider: Datacite
Open Access
Conference object . 2018
Provider: ZENODO
21 references, page 1 of 2

[1] David Benyon. 1993. Adaptive systems: A solution to usability problems. User Modeling and User-Adapted Interaction 3, 1 (01 March 1993), 65-87. https://doi. org/10.1007/BF01099425

[2] S. Bhattacharyya, D. Cofer, D. Musliner, J. Mueller, and E. Engstrom. 2015. Certiifcation Considerations for Adaptive Systems. In Proceedings of the International Conference on Unmanned Aircraft Systems (ICUAS).

[3] CITADEL-D3.1 2017. CITADEL Modeling and Specification Languages . Technical Report D3.1, Version 1.0. CITADEL Project.

[4] CITADEL-D5.1 2017. Interfaces and Workflow Definition for AM-ETB . Technical Report D5.1, Version 1.0. CITADEL Project.

[5] CITADEL-WWW [n. d.]. The CITADEL Project Web Site. ([n. d.]). http: //

[6] Dan Colesniuc. 2013. Cyberspace and Critical Information Infrastructures. Informatica Economica 17, 4 (2013), 123 - 132. [OpenAIRE]

[7] EURO-MILS Consortium. 2015. EURO-MILS Common Criteria Protection Proifle Whitepaper. (2015). 2015-EURO-MILS-Protection-Profile-White-Paper-V1.2.pdf .

[8] Simon Cruanes, Gregoire Hamon, Sam Owre, and Natarajan Shankar. 2013. Tool Integration with the Evidential Tool Bus. In VMCAI.

[9] D-MILS-D2.4 2014. Assurance arguments for AADL error models and MILS-AADL formal translations. Technical Report D2.4, Version 1.0. D-MILS Project. Available at

[10] D-MILS-D4.2 2014. Compositional assurance cases and arguments for distributed MILS. Technical Report D4.2, Version 1.0. D-MILS Project. http://www.d-mils. org/page/results.

[11] D-MILS-WWW [n. d.]. The D-MILS Project Web Site. ([n. d.]). http://www.

[12] GSNstandard 2011. GSN Community Standard. Technical Report. Origin Consulting (York) Limited. Standard.pdf

[13] O.C.L. Haas and K.J. Burnham. 2008. Intelligent and Adaptive Systems in Medicine. Taylor & Francis.

[14] George A. Ditzel III and Paul Didier. 2015. Time Sensitive Network (TSN) Protocols and use in EtherNet/IP Systems. In 2015 ODVA Industry Conference and 17th Annual Meeting. Frisco, Texas, USA.

[15] Tim Kelly. 2007. Reviewing Assurance Arguments - A Step-By-Step Approach. In DNS Workshop 2007. T.P. Kelly. Available at tpk/dsnworkshop07.pdf .

21 references, page 1 of 2
Any information missing or wrong?Report an Issue