A Knowledge-in-the-Loop Approach to Integrated Safety&Security for Cooperative System-of-Systems
2015 (English)In: IEEE Seventh International Conference on Intelligent Computing and Information Systems, IEEE , 2015Conference paper (Refereed)
A system-of-systems (SoS) is inherently open inconfiguration and evolutionary in lifecycle. For the nextgeneration of cooperative cyber-physical system-of-systems,safety and security constitute two key issues of public concernthat affect the deployment and acceptance. In engineering, theopenness and evolutionary nature also entail radical paradigmshifts. This paper presents one novel approach to thedevelopment of qualified cyber-physical system-of-systems, withCooperative Intelligent Transport Systems (C-ITS) as one target.The approach, referred to as knowledge-in-the-loop, aims toallow a synergy of well-managed lifecycles, formal qualityassurance, and smart system features. One research goal is toenable an evolutionary development with continuous andtraceable flows of system rationale from design-time to postdeploymenttime and back, supporting automated knowledgeinference and enrichment. Another research goal is to develop aformal approach to risk-aware dynamic treatment of safety andsecurity as a whole in the context of system-of-systems. Key basetechnologies include: (1) EAST-ADL for the consolidation ofsystem-wide concerns and for the creation of an ontology foradvanced run-time decisions, (2) Learning Based-Testing for runtimeand post-deployment model inference, safety monitoringand testing, (3) Provable Isolation for run-time attack detectionand enforcement of security in real-time operating systems.
Place, publisher, year, edition, pages
IEEE , 2015.
systems-of-systems, cyber-physical system, ontology, knowledge modeling, machine learning, safety, security, modelbased development, verification and validation, quality-of-service
Electrical Engineering, Electronic Engineering, Information Engineering
Research subject Computer Science; Industrial Engineering and Management; Information and Communication Technology; Machine Design; Transport Science; Planning and Decision Analysis
IdentifiersURN: urn:nbn:se:kth:diva-177573DOI: 10.1109/IntelCIS.2015.7397237ISI: 000380470400045ScopusID: 2-s2.0-84969949567ISBN: 978-150901949-6OAI: oai:DiVA.org:kth-177573DiVA: diva2:873371
International Symposium on Knowledge Engineering for Decision Support Systems, IEEE Seventh International Conference on Intelligent Computing and Information Systems, ICICIS’15, , Cairo, Egypt. December 12-14, 2015.
ProjectsVinnova SAFERVinnova FFI VIRTUESVinnova FFI ITRANSITEIT Digital CPS for Smart Factories.
QC 201609052015-11-242015-11-242016-09-05Bibliographically approved