Workflow Automation for Cyber Physical System Development Processes
Submitted by Charles Hartsell
on
Charlie Hartsell is a 4th year Electrical Engineering PhD student at Vanderbilt University's Institute for Software Integrated Systems. His research interests are focused on Safety Assurance methods for Autonomous Cyber-Physical Systems. In particular, he is exploring model based approaches to assuring overall system safety including techniques for system-level fault diagnostics & mitigation, analysis of timing properties, and the generation and evaluation of assurance arguments. He received his B.S. in Electrical Engineering from the University of Alabama in 2016.
ABSTRACT
View Slides | Download
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering discipline commonly relies on domain-specific modeling languages, and analysis and execution of these models is often automated with appropriate tooling. However, integration between these heterogeneous models and tools is often lacking, and most of the burden for inter-operation of these tools is placed on system developers. To address this problem, we introduce a workflow modeling language for the automation of complex CPS development processes and implement a platform for execution of these models in the Assurance-based Learning-enabled CPS (ALC) Toolchain. Several illustrative examples are provided which show how these workflow models are able to automate many time-consuming integration tasks previously performed manually by system developers.workflow-automation-destion-2
Charlie Hartsell is a 4th year Electrical Engineering PhD student at Vanderbilt University's Institute for Software Integrated Systems. His research interests are focused on Safety Assurance methods for Autonomous Cyber-Physical Systems. In particular, he is exploring model based approaches to assuring overall system safety including techniques for system-level fault diagnostics & mitigation, analysis of timing properties, and the generation and evaluation of assurance arguments. He received his B.S. in Electrical Engineering from the University of Alabama in 2016.
ABSTRACT
|
| View Slides | Download |
Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering discipline commonly relies on domain-specific modeling languages, and analysis and execution of these models is often automated with appropriate tooling. However, integration between these heterogeneous models and tools is often lacking, and most of the burden for inter-operation of these tools is placed on system developers. To address this problem, we introduce a workflow modeling language for the automation of complex CPS development processes and implement a platform for execution of these models in the Assurance-based Learning-enabled CPS (ALC) Toolchain. Several illustrative examples are provided which show how these workflow models are able to automate many time-consuming integration tasks previously performed manually by system developers.workflow-automation-destion-2