TNG control system software architecture improvement

1998 ◽  
Author(s):  
Pietro Schipani
Keyword(s):  
Control System ◽  
Software Architecture ◽  
System Software

Quantitative Analysis of an Agile Automation Control System Software

2000 ◽  
Author(s):  
Ryan Durante ◽  
Stephen Derby
Keyword(s):  
Control System ◽  
Quantitative Analysis ◽  
Software Architecture ◽  
Design Evaluation ◽  
Architecture Design ◽  
System Software ◽  
Early Evaluation ◽  
Relative Complexity ◽  
Executable Code ◽  
Automation Control

Abstract Most current methods permit design evaluation of software architecture only once the design is implemented in executable code. Unfortunately, this does not allow early evaluation decisions of architectural designs. This paper proposes a easy to implement method that calculates the relative complexity of two competing architecture design.

TCV Advanced Plasma Control System Software Architecture and Results

2007 ◽  
Author(s):  
A.P. Rodrigues ◽  
N. Cruz ◽  
B. Santos ◽  
C.A.F. Varandas ◽  
B. Duval ◽  
...  
Keyword(s):  
Control System ◽  
Software Architecture ◽  
System Software ◽  
Plasma Control

TCV Advanced Plasma Control System Software Architecture and Preliminary Results

2008 ◽  
Vol 55 (1) ◽  
pp. 316-321 ◽  
Author(s):  
A. P. Rodrigues ◽  
N. Cruz ◽  
B. Santos ◽  
C. A. F. Varandas ◽  
J.-M. Moret ◽  
...  
Keyword(s):  
Control System ◽  
Software Architecture ◽  
System Software ◽  
Preliminary Results ◽  
Plasma Control

REVERSE ENGINEERING OF COMPUTER-BASED CONTROL SYSTEMS

1996 ◽  
Vol 06 (04) ◽  
pp. 531-547 ◽  
Author(s):  
LONNIE R. WELCH ◽  
GUOHUI YU ◽  
BINOY RAVINDRAN ◽  
FRANZ KURFESS ◽  
JORGE HENRIQUES ◽  
...  
Keyword(s):  
Control System ◽  
Reverse Engineering ◽  
Software Architecture ◽  
Control Systems ◽  
Intermediate Representation ◽  
System Software ◽  
Computer Based ◽  
Task Level

This article presents a process for the reengineering of computer-based control systems, and describes tools that automate portions of the process. The intermediate representation (IR) for capturing features of computer-based systems during reverse engineering is presented. A novel feature of the IR is that it incorporates the control system software architecture, a view that enables information to be captured at five levels of granularity: the program level, the task level, the package level, the subprogram level, and the statement level. A reverse engineering toolset that constructs the IR from Ada programs, displays the IR, and computes concurrency, communication and object-orientedness metrics is presented. Also described is the design of hypermedia techniques that enhance the usability of the reverse engineering tools.

Formal Verification of Control System Software

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.

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

Kerntechnik ◽  
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
Sign in / Sign up

Export Citation Format

Share Document