Change search
ReferencesLink to record
Permanent link

Direct link
Ontological reasoning for consistency in the design of cyber-physical systems
Show others and affiliations
2016 (English)In: 2016 1st International Workshop on Cyber-Physical Production Systems, CPPS 2016, Institute of Electrical and Electronics Engineers (IEEE), 2016, 7483922Conference paper (Refereed)
Abstract [en]

The design of Cyber-Physical Systems (CPS) involves a multitude of stakeholders. Each of these stakeholders has a specific view on the system under design. Unfortunately, when designers create artefacts in their different views in a concurrent manner, the integration of the different views may reveal inconsistencies. This leads to time consuming, iterative design processes where inconsistencies are resolved, in turn possibly creating new ones. It is hence necessary to reason explicitly about the view-specific properties that depend on, and influence properties of other views. This enables consistency during integration and reduces the development time and effort. In this paper we formalise the interrelationships between the different views, in the context of different design processes, to allow designers to meaningfully and efficiently manage inconsistencies. Our formalisation introduces ontological domain properties and their relations as the link between the view-specific properties used by the stakeholders. Thus, our approach combines the state of the art of Model-Based Systems Engineering (MBSE) and Semantic Web. The relevance of this approach is demonstrated by means of a motivating example.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2016. 7483922
Keyword [en]
Embedded systems Ontology Semantic Web Cyber physical systems (CPSs) Cyber-physical systems (CPS) Development time Domain properties Iterative design Model-based systems engineering (MBSE) Ontological reasoning Specific properties
National Category
Embedded Systems
URN: urn:nbn:se:kth:diva-194555DOI: 10.1109/CPPS.2016.7483922ISI: 000386753300009ScopusID: 2-s2.0-84978254041ISBN: 978-150901156-8OAI: diva2:1043839
1st International Workshop on Cyber-Physical Production Systems, CPPS 2016 Vienna Austria 12 April 2016 through

QC 20161101

Available from: 2016-11-01 Created: 2016-10-31 Last updated: 2016-11-29Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Törngren, Martin
By organisation
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 1 hits
ReferencesLink to record
Permanent link

Direct link