A knowledge-in-the-loop approach to integrated safety & security for cooperative system-of-systemsShow others and affiliations
2015 (English)In: 2015 IEEE Seventh International Conference on Intelligent Computing and Information Systems (ICICIS), 2015, p. 13-20, article id 7397237Conference paper, Published paper (Refereed)
Abstract [en]
A system-of-systems (SoS) is inherently open in configuration and evolutionary in lifecycle. For the next generation of cooperative cyber-physical system-of-systems, safety and security constitute two key issues of public concern that affect the deployment and acceptance. In engineering, the openness and evolutionary nature also entail radical paradigm shifts. This paper presents one novel approach to the development of qualified cyber-physical system-of-systems, with Cooperative Intelligent Transport Systems (C-ITS) as one target. The approach, referred to as knowledge-in-the-loop, aims to allow a synergy of well-managed lifecycles, formal quality assurance, and smart system features. One research goal is to enable an evolutionary development with continuous and traceable flows of system rationale from design-time to post-deployment time and back, supporting automated knowledge inference and enrichment. Another research goal is to develop a formal approach to risk-aware dynamic treatment of safety and security as a whole in the context of system-of-systems. Key base technologies include: (1) EAST-ADL for the consolidation of system-wide concerns and for the creation of an ontology for advanced run-time decisions, (2) Learning Based-Testing for run-time and post-deployment model inference, safety monitoring and testing, (3) Provable Isolation for run-time attack detection and enforcement of security in real-time operating systems.
Place, publisher, year, edition, pages
2015. p. 13-20, article id 7397237
Keywords [en]
cyber-physical system, knowledge modeling, machine learning, model-based development, ontology, quality-of-service, safety, security, systems-of-systems, verification and validation
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-27659DOI: 10.1109/IntelCIS.2015.7397237Scopus ID: 2-s2.0-84969949567ISBN: 978-1-5090-1949-6 (print)ISBN: 978-1-5090-1950-2 (electronic)OAI: oai:DiVA.org:ri-27659DiVA, id: diva2:1059333
Conference
7th International Conference on Intelligent Computing and Information Systems (ICICIS 2015), December 12-14, 2015, Cairo, Egypt
2016-12-222016-12-212020-12-01Bibliographically approved