A transmission model for hardware-in-the-loop powertrain control system software development

Purpose. Propose a formal approach to the design and development of control system software. The methods. The bulk of the tasks solved by modern automation systems require the implementation of control algorithms based on finite state machines. When developing software for control systems, it is advisable to graphically represent control algorithms, as their design, analysis and operation are more understandable to consultants. Therefore, the proposed approach consists of three stages: drawing up a verbal description of the algorithm of the technological process, designing the control system software in the form of a state graph and software development. Findings. The paper analyzes the current state of design and software development of control systems based on industrial controllers. Based on this, it is established that there is currently no systematic approach to this issue, in the technical documentation and literature, as well as in training courses provided by companies producing hardware and software for industrial controllers, only general issues related to the use of their development environments are considered. and standard libraries. Based on this, the relevance of creating a formal approach to software development of industrial controllers. The originality. For the first time, a formal approach to the design and development of control system software based on programmable logic controllers in the Ladder Diagram language has been proposed. Practical implementation. The obtained approach allows to perform the transition from state graphs to their software implementation using only typical structural elements and requires only their adjustment according to the conditions and actions of the transition arcs. The development of this study involves solving complex issues of design and software development of industrial controllers based on state graphs in order to formalize them.

Download Full-text

V2H control system software analysis and design

2020 20th International Conference on Control, Automation and Systems (ICCAS) ◽

10.23919/iccas50221.2020.9268432 ◽

2020 ◽

Author(s):

Martin Kosinka ◽

Zdenek Slanina ◽

Michal Petruzela ◽

Vojtech Blazek

Keyword(s):

Control System ◽

System Software ◽

Analysis And Design ◽

Software Analysis

Download Full-text

Formal Verification of Control System Software

10.23943/princeton/9780691181301.001.0001 ◽

2019 ◽

Author(s):

Pierre-Loïc Garoche

Keyword(s):

Control System ◽

Formal Verification ◽

Formal Analysis ◽

Critical Systems ◽

System Software ◽

Unified Approach ◽

Verification Methods ◽

Autonomous Cars ◽

Computer Scientists ◽

Verification Techniques

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

Download Full-text

Closed loop auto control system software for Miniature Neutron Source Reactors (MNSRs)

Kerntechnik ◽

10.3139/124.110045 ◽

2009 ◽

Vol 74 (5-6) ◽

pp. 280-285

Author(s):

M. Iqbal ◽

J. Qadir ◽

T. K. Bhatti ◽

Q. Abbas ◽

S. M. Mirza

Keyword(s):

Control System ◽

Neutron Source ◽

Closed Loop ◽

System Software

Download Full-text

Git4Voc: Collaborative Vocabulary Development Based on Git

International Journal of Semantic Computing ◽

10.1142/s1793351x16400067 ◽

2016 ◽

Vol 10 (02) ◽

pp. 167-191 ◽

Cited By ~ 7

Author(s):

Lavdim Halilaj ◽

Irlán Grangel-González ◽

Gökhan Coskun ◽

Steffen Lohmann ◽

Sören Auer

Keyword(s):

Control System ◽

Data Integration ◽

Software Development ◽

Domain Knowledge ◽

Vocabulary Development ◽

Version Control ◽

Version Control System

Collaborative vocabulary development in the context of data integration is the process of finding consensus between experts with different backgrounds, system understanding and domain knowledge. The complexity of this process increases with the number of people involved, the variety of the systems to be integrated and the dynamics of their domain. In this paper, we advocate that the usage of a powerful version control system is one of the keys to address this problem. Driven by this idea and the success of the version control system Git in the context of software development, we investigate the applicability of Git for collaborative vocabulary development. Even though vocabulary development and software development have much more similarities than differences, there are still important challenges. These need to be considered in the development of a successful versioning and collaboration system for vocabulary development. Therefore, this paper starts by presenting the challenges we are faced with during the collaborative creation of vocabularies and discusses its distinction to software development. Drawing from these findings, we present Git4Voc which comprises guidelines on how Git can be adopted to vocabulary development. Finally, we demonstrate how Git hooks can be implemented to go beyond the plain functionality of Git by realizing vocabulary-specific features like syntactic validation and semantic diffs.

Download Full-text