Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Knowledge-in-the-Loop Approach to Integrated Safety&Security for Cooperative System-of-Systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0001-7048-0108
KTH, School of Computer Science and Communication (CSC), Theoretical Computer Science, TCS.ORCID iD: 0000-0002-9706-5008
SP Technical Research Institute of Sweden.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0001-5704-4504
Show others and affiliations
2015 (English)In: IEEE Seventh International Conference on Intelligent Computing and Information Systems, IEEE , 2015Conference paper, Published paper (Refereed)
Abstract [en]

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.
Keyword [en]
systems-of-systems, cyber-physical system, ontology, knowledge modeling, machine learning, safety, security, modelbased development, verification and validation, quality-of-service
National Category
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
Identifiers
URN: urn:nbn:se:kth:diva-177573DOI: 10.1109/IntelCIS.2015.7397237ISI: 000380470400045Scopus ID: 2-s2.0-84969949567ISBN: 978-150901949-6 (print)OAI: oai:DiVA.org:kth-177573DiVA: diva2:873371
Conference
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.
Projects
Vinnova SAFERVinnova FFI VIRTUESVinnova FFI ITRANSITEIT Digital CPS for Smart Factories.
Funder
VINNOVA
Note

QC 20160905

Available from: 2015-11-24 Created: 2015-11-24 Last updated: 2016-09-05Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Chen, DeJiuMeinke, KarlAsplund, Fredrik

Search in DiVA

By author/editor
Chen, DeJiuMeinke, KarlAsplund, FredrikBaumann, Christoph
By organisation
Embedded Control SystemsTheoretical Computer Science, TCS
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 122 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf