Title
|
|
|
|
Ontological reasoning as an enabler of contract-based co-design
|
|
Author
|
|
|
|
|
|
Abstract
|
|
|
|
Because of the combination of computational, networking and physical artifacts, different engineering disciplines are involved in the design of a Cyber-Physical System (CPS). This multidisciplinary approach leads to different, often contradicting, views on the system under design which in the end might lead to inconsistencies between domain specific properties. Contract-Based Design (CBD) aims to prevent these contradictions by defining possible conflicting properties in a contract. These contracts consist of a set of pre-and postconditions. Although the current state-of-the-art describes the abstraction/refinement, composition and multi-view analysis and verification principles of CBD, it lacks methods and techniques to identify the shared properties in concurrent design processes. By combining the theory of CBD with the principles of ontological reasoning, this paper intents to provide a framework which enables Contract-Based Co-Design (CBCD). The feasibility of this framework will be explained by means of a running CPS example. |
|
|
Language
|
|
|
|
English
|
|
Source (journal)
|
|
|
|
Lecture notes in computer science. - Berlin, 1973, currens
|
|
Source (book)
|
|
|
|
Cyber physical systems : design, modeling, and evaluation: 6th International Workshop, CyPhy 2016, October 6, 2016, Pittsburgh, Pennsylvania, U.S.A. / Berger, Christian [edit.]; et al.
|
|
Source (series)
|
|
|
|
Lecture notes in computer science ; 10107
|
|
Publication
|
|
|
|
Cham
:
Springer international publishing ag
,
2017
|
|
ISSN
|
|
|
|
0302-9743
[print]
1611-3349
[online]
|
|
ISBN
|
|
|
|
978-3-319-51737-7
|
|
|
|
|
|
978-3-319-51737-7
978-3-319-51738-4
|
|
DOI
|
|
|
|
10.1007/978-3-319-51738-4_8
|
|
Volume/pages
|
|
|
|
10107
(2017)
, p. 101-115
|
|
ISI
|
|
|
|
000425185200008
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
Full text (open access)
|
|
|
|
|
|