Specification and testing of automotive powertrain control system software using CACSD tools

Author(s):  
S. Toeppe ◽  
S. Ranville ◽  
K. Butts
1999 ◽  
Author(s):  
Shoji Suzuki ◽  
Wataru Nagaura ◽  
Takaaki Imai ◽  
Satoru Kuragaki ◽  
Takanori Yokoyama ◽  
...  

Author(s):  
Pierre-Loïc Garoche

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.


Kerntechnik ◽  
2009 ◽  
Vol 74 (5-6) ◽  
pp. 280-285
Author(s):  
M. Iqbal ◽  
J. Qadir ◽  
T. K. Bhatti ◽  
Q. Abbas ◽  
S. M. Mirza

Electronics ◽  
2020 ◽  
Vol 9 (7) ◽  
pp. 1063 ◽  
Author(s):  
Christoph Datlinger ◽  
Mario Hirz

Rotor shaft position sensors are required to ensure the efficient and reliable control of Permanent Magnet Synchronous Machines (PMSM), which are often applied as traction motors in electrified automotive powertrains. In general, various sensor principles are available, e.g., resolvers and inductive- or magnetoresistive sensors. Each technology is characterized by strengths and weaknesses in terms of measurement accuracy, space demands, disturbing factors and costs, etc. Since the most frequently applied technology, the resolver, shows some weaknesses and is relatively costly, alternative technologies have been introduced during the past years. This paper investigates state-of-the-art position sensor technologies and compares their potentials for use in PMSM in automotive powertrain systems. The corresponding evaluation criteria are defined according to the typical requirements of automotive electric powertrains, and include the provided sensor accuracy under the influence of mechanical tolerances and deviations, integration size, and different electrical- and signal processing-related parameters. The study presents a mapping of the potentials of different rotor position sensor technologies with the target to support the selection of suitable sensor technologies for specified powertrain control applications, addressing both system design and components development.


Sign in / Sign up

Export Citation Format

Share Document