Ontological reasoning for consistency in the design of cyber-physical systems

Ken Vanherpen, Joachim Denil, Istvan David, Paul De Meulenaere, Pieter J. Mosterman, Martin Torngren, Ahsan Qamar, Hans Vangheluwe

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

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.

Original languageEnglish
Title of host publication2016 1st International Workshop on Cyber-Physical Production Systems, CPPS 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781509011568
DOIs
Publication statusPublished - 1 Jun 2016
Externally publishedYes
Event1st International Workshop on Cyber-Physical Production Systems, CPPS 2016 - Vienna, Austria
Duration: 12 Apr 2016 → …

Publication series

Name2016 1st International Workshop on Cyber-Physical Production Systems, CPPS 2016

Conference

Conference1st International Workshop on Cyber-Physical Production Systems, CPPS 2016
Country/TerritoryAustria
CityVienna
Period12/04/16 → …

Fingerprint

Dive into the research topics of 'Ontological reasoning for consistency in the design of cyber-physical systems'. Together they form a unique fingerprint.

Cite this