Non-Functional Requirements Elicitation Based on Domain Knowledge Graph for Automatic Code Generation of Industrial Cyber-Physical Systems

2021 ◽  
Author(s):  
Yingyue Zhang ◽  
Jiale Kang ◽  
Wenbin Dai
Keyword(s):  
Code Generation ◽  
Domain Knowledge ◽  
Cyber Physical Systems ◽  
Requirements Elicitation ◽  
Knowledge Graph ◽  
Automatic Code Generation ◽  
Functional Requirements ◽  
Physical Systems ◽  
Automatic Code

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.

Rapid Control Prototyping Design of DSP-Based Motion Controller

2011 ◽  
Vol 383-390 ◽  
pp. 308-314
Author(s):  
Lin Li ◽  
Zhi Ming Peng ◽  
Bi Cong Zhang ◽  
Zhang Tie
Keyword(s):  
Code Generation ◽  
Automatic Code Generation ◽  
Motion Controller ◽  
Application System ◽  
Pid Algorithm ◽  
Development Platform ◽  
Development Cycle ◽  
Rapid Control ◽  
Rapid Control Prototyping ◽  
Automatic Code

This paper presents a Rapid Control Prototyping (RCP) development platform based on Matlab/Simulink, Real-Time Workshop and Embedded Target for C2000 and DSP development board. It also designs TMS320F2812 DSP-based motion controller under the proposed RCP. The controller using saturated integral PID algorithm produces PWM signal to control DC motor. Experimental results show that the designed controller can control motor accurately. Engineers can complete all design tasks such as modeling, automatic code generation, and download, running and parameters adjustment on this RCP platform when developing DSP application system. Thus the proposed RCP can shorten the DSP development cycle and improve the portability and modularity of program.

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.

scholarly journals Automatic code generation for many-body electronic structure methods: the tensor contraction engine‡‡

2006 ◽  
Vol 104 (2) ◽  
pp. 211-228 ◽  
Author(s):  
Alexander A. Auer ◽  
Gerald Baumgartner ◽  
David E. Bernholdt ◽  
Alina Bibireata ◽  
Venkatesh Choppella ◽  
...  
Keyword(s):  
Electronic Structure ◽  
Code Generation ◽  
Automatic Code Generation ◽  
Many Body ◽  
Electronic Structure Methods ◽  
Tensor Contraction ◽  
Automatic Code
Sign in / Sign up

Export Citation Format

Share Document