scholarly journals A model-based software development method for automotive cyber-physical systems

2011 ◽  
Vol 8 (4) ◽  
pp. 1277-1301 ◽  
Author(s):  
Zhigang Gao ◽  
Haixia Xia ◽  
Guojun Dai
Keyword(s):  
Software Development ◽  
Code Generation ◽  
Physical Environment ◽  
Source Code ◽  
Cyber Physical Systems ◽  
Functional Requirements ◽  
Development Method ◽  
Physical Systems ◽  
Implementation Model ◽  
Model Based

The development of automotive cyber-physical systems (CPS) software needs to consider not only functional requirements, but also non-functional requirements and the interaction with physical environment. In this paper, a model-based software development method for automotive CPS (MoBDAC) is presented. The main contributions of this paper are threefold. First, MoBDAC covers the whole development workflow of automotive CPS software from modeling and simulation to code generation. Automatic tools are used to improve the development efficiency. Second, MoBDAC extracts nonfunctional requirements and deals with them in the implementation model level and source code level, which helps to correctly manage and meet non-functional requirements. Third, MoBDAC defines three kinds of relations between uncertain physical environment events and software internal actions in automotive CPS, and uses Model Modifier to integrate the interaction with physical environment. Moreover, we illustrate the development workflow of MoBDAC by an example of a power window development.

A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems

2016 ◽  
Vol 13 (1) ◽  
pp. 40-52 ◽  
Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt
Keyword(s):  
Real Time ◽  
Physical Environment ◽  
Spatial Model ◽  
Physical Space ◽  
Cyber Physical Systems ◽  
Spatial Behavior ◽  
Model Checker ◽  
Control Software ◽  
Physical Systems ◽  
Model Based

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.

Model Based Energy Consumption Analysis of Wireless Cyber Physical Systems

2017 ◽  
Vol 90 (8-9) ◽  
pp. 1191-1204 ◽  
Author(s):  
Ping Wang ◽  
Jing Liu ◽  
Jinlong Lin ◽  
Chao-Hsien Chu
Keyword(s):  
Energy Consumption ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Based ◽  
Energy Consumption Analysis

scholarly journals V-model based development of cyber-physical systems and cyber-physical production systems

Procedia CIRP ◽  
2021 ◽  
Vol 100 ◽  
pp. 253-258
Author(s):  
Iris Gräßler ◽  
Dominik Wiechel ◽  
Daniel Roesmann ◽  
Henrik Thiele
Keyword(s):  
Production Systems ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Model Based ◽  
Cyber Physical Production Systems

scholarly journals Wireless Communication Technologies for Safe Cooperative Cyber Physical Systems

Sensors ◽  
2018 ◽  
Vol 18 (11) ◽  
pp. 4075 ◽  
Author(s):  
Ali Balador ◽  
Anis Kouba ◽  
Dajana Cassioli ◽  
Fotis Foukalas ◽  
Ricardo Severino ◽  
...  
Keyword(s):  
Wireless Communication ◽  
Communication Technologies ◽  
Cyber Physical Systems ◽  
Use Cases ◽  
Functional Requirements ◽  
Physical Systems ◽  
Safety Design ◽  
Standardization Process ◽  
Design Requirements ◽  
Eu Project

Cooperative Cyber-Physical Systems (Co-CPSs) can be enabled using wireless communication technologies, which in principle should address reliability and safety challenges. Safety for Co-CPS enabled by wireless communication technologies is a crucial aspect and requires new dedicated design approaches. In this paper, we provide an overview of five Co-CPS use cases, as introduced in our SafeCOP EU project, and analyze their safety design requirements. Next, we provide a comprehensive analysis of the main existing wireless communication technologies giving details about the protocols developed within particular standardization bodies. We also investigate to what extent they address the non-functional requirements in terms of safety, security and real time, in the different application domains of each use case. Finally, we discuss general recommendations about the use of different wireless communication technologies showing their potentials in the selected real-world use cases. The discussion is provided under consideration in the 5G standardization process within 3GPP, whose current efforts are inline to current gaps in wireless communications protocols for Co-CPSs including many future use cases.

The Design and Implementation of Code Generation Based on J2EE in the Development of JBPM Workflow System

2012 ◽  
Vol 263-266 ◽  
pp. 1961-1968
Author(s):  
Yong Chao Song ◽  
Bu Dan Wu ◽  
Jun Liang Chen
Keyword(s):  
Software Development ◽  
Code Generation ◽  
System Development ◽  
Source Code ◽  
Design And Implementation ◽  
Workflow System ◽  
Development Cycle ◽  
The Cost ◽  
Static Form

According to the feature of the JBPM workflow system development, the target code generated is determined by analyzing the process of JBPM workflow development and the architecture of J2EE. The code generation tool generates code by parsing the static form source code and loading the code generation template. The code generation tool greatly shortens the JBPM workflow system development cycle and reduces the cost of software development which has the good practicality and scalability.

Sign in / Sign up

Export Citation Format

Share Document