System design support of cyber-physical systems: a co-simulation and co-modelling approach

Yunyun Ni

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

122 Downloads (Pure)

Abstract

The goal of this research is to support system-level design for CPS devices from methods perspective with corresponding tooling support to bridge the existing design gap. In this work, a set of methods are provided that support different exper- tise to understand CPS design from a system level, instead of only considering one single specific discipline. In order to avoid confusions across the different domains, a list of explained terms is provided. Co-design support guidelines (co-design flows) that consider different backgrounds of the possible designers and different system properties are discussed in detail. Following the step-wise refinement design steps, a CPS is firstly modelled in a top-level model, then detailed out with different focuses of the interest: such as dynamic-behaviour oriented, control-logic oriented and contract oriented. A way of working, to reduce unnecessary design iterations and help engineers to structure the cyber part software in a way that the whole system can act more robust, is also discussed. This includes a general method of modelling the possible faults using a layered controller structure. From these two aspects, the resulting system design is made more robust (fault-tolerant). From a tooling support aspect, a design-support software framework is in- troduced. A co-simulation framework is presented that supports expertise from different domains to work together, which can enable early stage testing to avoid high expenses (both money and time wise) in the development cycle. This framework combines two domain-specific tools with an appropriate synchro- nization scheme for the co-simulation engine. Additionally, a domain-specific scripting language (DCL) is introduced to ease the change of a co-model sce- nario during the co-simulation, such as fault injections. With the assistance of the co-simulation framework, engineers have a practical tool that can facilitate the system-level design of CPS devices. With the aid of design space explo- ration (DSE) tool support, system designers can make better early-stage design choices. The methods and the tooling support introduced in this work are demon- strated in two different case studies with different focuses: the mobile robot case study aims to demonstrate the design space exploration facility; the slider setup is focussed on demonstrating fault-tolerant mechanisms.
Original languageEnglish
Awarding Institution
  • University of Twente
Supervisors/Advisors
  • Stramigioli, Stefano , Supervisor
  • Broenink, Jan, Advisor
Thesis sponsors
Award date18 Jun 2015
Place of PublicationEnschede
Publisher
Print ISBNs978-90-365-3855-8
DOIs
Publication statusPublished - 18 Jun 2015

Fingerprint

Systems analysis
Cyber Physical System
Engineers
Mobile robots
Synchronization
Engines
Controllers
Testing

Keywords

  • Co-modelling
  • Co-simulation
  • Cyber-Physical Systems
  • EWI-26688

Cite this

Ni, Yunyun. / System design support of cyber-physical systems: a co-simulation and co-modelling approach. Enschede : Universiteit Twente, 2015. 123 p.
@phdthesis{f0c3f7c857874ecd8c79e036d6a47532,
title = "System design support of cyber-physical systems: a co-simulation and co-modelling approach",
abstract = "The goal of this research is to support system-level design for CPS devices from methods perspective with corresponding tooling support to bridge the existing design gap. In this work, a set of methods are provided that support different exper- tise to understand CPS design from a system level, instead of only considering one single specific discipline. In order to avoid confusions across the different domains, a list of explained terms is provided. Co-design support guidelines (co-design flows) that consider different backgrounds of the possible designers and different system properties are discussed in detail. Following the step-wise refinement design steps, a CPS is firstly modelled in a top-level model, then detailed out with different focuses of the interest: such as dynamic-behaviour oriented, control-logic oriented and contract oriented. A way of working, to reduce unnecessary design iterations and help engineers to structure the cyber part software in a way that the whole system can act more robust, is also discussed. This includes a general method of modelling the possible faults using a layered controller structure. From these two aspects, the resulting system design is made more robust (fault-tolerant). From a tooling support aspect, a design-support software framework is in- troduced. A co-simulation framework is presented that supports expertise from different domains to work together, which can enable early stage testing to avoid high expenses (both money and time wise) in the development cycle. This framework combines two domain-specific tools with an appropriate synchro- nization scheme for the co-simulation engine. Additionally, a domain-specific scripting language (DCL) is introduced to ease the change of a co-model sce- nario during the co-simulation, such as fault injections. With the assistance of the co-simulation framework, engineers have a practical tool that can facilitate the system-level design of CPS devices. With the aid of design space explo- ration (DSE) tool support, system designers can make better early-stage design choices. The methods and the tooling support introduced in this work are demon- strated in two different case studies with different focuses: the mobile robot case study aims to demonstrate the design space exploration facility; the slider setup is focussed on demonstrating fault-tolerant mechanisms.",
keywords = "Co-modelling, Co-simulation, Cyber-Physical Systems, EWI-26688",
author = "Yunyun Ni",
year = "2015",
month = "6",
day = "18",
doi = "10.3990/1.9789036538558",
language = "English",
isbn = "978-90-365-3855-8",
publisher = "Universiteit Twente",
school = "University of Twente",

}

System design support of cyber-physical systems: a co-simulation and co-modelling approach. / Ni, Yunyun.

Enschede : Universiteit Twente, 2015. 123 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

TY - THES

T1 - System design support of cyber-physical systems: a co-simulation and co-modelling approach

AU - Ni, Yunyun

PY - 2015/6/18

Y1 - 2015/6/18

N2 - The goal of this research is to support system-level design for CPS devices from methods perspective with corresponding tooling support to bridge the existing design gap. In this work, a set of methods are provided that support different exper- tise to understand CPS design from a system level, instead of only considering one single specific discipline. In order to avoid confusions across the different domains, a list of explained terms is provided. Co-design support guidelines (co-design flows) that consider different backgrounds of the possible designers and different system properties are discussed in detail. Following the step-wise refinement design steps, a CPS is firstly modelled in a top-level model, then detailed out with different focuses of the interest: such as dynamic-behaviour oriented, control-logic oriented and contract oriented. A way of working, to reduce unnecessary design iterations and help engineers to structure the cyber part software in a way that the whole system can act more robust, is also discussed. This includes a general method of modelling the possible faults using a layered controller structure. From these two aspects, the resulting system design is made more robust (fault-tolerant). From a tooling support aspect, a design-support software framework is in- troduced. A co-simulation framework is presented that supports expertise from different domains to work together, which can enable early stage testing to avoid high expenses (both money and time wise) in the development cycle. This framework combines two domain-specific tools with an appropriate synchro- nization scheme for the co-simulation engine. Additionally, a domain-specific scripting language (DCL) is introduced to ease the change of a co-model sce- nario during the co-simulation, such as fault injections. With the assistance of the co-simulation framework, engineers have a practical tool that can facilitate the system-level design of CPS devices. With the aid of design space explo- ration (DSE) tool support, system designers can make better early-stage design choices. The methods and the tooling support introduced in this work are demon- strated in two different case studies with different focuses: the mobile robot case study aims to demonstrate the design space exploration facility; the slider setup is focussed on demonstrating fault-tolerant mechanisms.

AB - The goal of this research is to support system-level design for CPS devices from methods perspective with corresponding tooling support to bridge the existing design gap. In this work, a set of methods are provided that support different exper- tise to understand CPS design from a system level, instead of only considering one single specific discipline. In order to avoid confusions across the different domains, a list of explained terms is provided. Co-design support guidelines (co-design flows) that consider different backgrounds of the possible designers and different system properties are discussed in detail. Following the step-wise refinement design steps, a CPS is firstly modelled in a top-level model, then detailed out with different focuses of the interest: such as dynamic-behaviour oriented, control-logic oriented and contract oriented. A way of working, to reduce unnecessary design iterations and help engineers to structure the cyber part software in a way that the whole system can act more robust, is also discussed. This includes a general method of modelling the possible faults using a layered controller structure. From these two aspects, the resulting system design is made more robust (fault-tolerant). From a tooling support aspect, a design-support software framework is in- troduced. A co-simulation framework is presented that supports expertise from different domains to work together, which can enable early stage testing to avoid high expenses (both money and time wise) in the development cycle. This framework combines two domain-specific tools with an appropriate synchro- nization scheme for the co-simulation engine. Additionally, a domain-specific scripting language (DCL) is introduced to ease the change of a co-model sce- nario during the co-simulation, such as fault injections. With the assistance of the co-simulation framework, engineers have a practical tool that can facilitate the system-level design of CPS devices. With the aid of design space explo- ration (DSE) tool support, system designers can make better early-stage design choices. The methods and the tooling support introduced in this work are demon- strated in two different case studies with different focuses: the mobile robot case study aims to demonstrate the design space exploration facility; the slider setup is focussed on demonstrating fault-tolerant mechanisms.

KW - Co-modelling

KW - Co-simulation

KW - Cyber-Physical Systems

KW - EWI-26688

U2 - 10.3990/1.9789036538558

DO - 10.3990/1.9789036538558

M3 - PhD Thesis - Research UT, graduation UT

SN - 978-90-365-3855-8

PB - Universiteit Twente

CY - Enschede

ER -