Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components

Gunzert,; Nagele,

doi:10.1109/pdse.1999.779745

Cited by 24 publications

(5 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We refer the reader to [7], [8] in which the authors discussed a number of interesting examples of protocols for safety-critical systems in which communication occurs synchronously. Examples include the FlexRay bus protocol [9], [10] and Deterministic Ethernet (cf. IEEE802.1 or [11] for an overview).…”

Section: A Decentralized Ltl Monitoring Problemmentioning

confidence: 99%

Efficient Decentralized LTL Monitoring Framework Using Tableau Technique

Bataineh

Rosenblum

Reynolds

2019

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

This paper presents a novel framework for decentralized monitoring of Linear Temporal Logic (LTL), under the situation where processes are synchronous and the formula is represented as a tableau. The tableau technique allows one to construct a semantic tree for the input formula, which can be used to optimize the decentralized monitoring of LTL in various ways. Given a system P and an LTL formula ϕ, we construct a tableau Tϕ. The tableau Tϕ is used for two purposes: (a) to synthesize an efficient round-robin communication policy for processes, and (b) to find the minimal ways to decompose the global formula and communicate partial observations in an optima way. In our framework, processes can propagate truth values of atomic formulas, compound formulas, and temporal formulas depending on the syntactic structure of the input LTL formula and the observation power of processes. We demonstrate that this approach of decentralized monitoring based on tableau construction is more straightforward, more flexible, and more likely to yield efficient solutions than alternative approaches.• Inference rules on propositional logic dependent on the observation power of processes. An interesting set

show abstract

Section: A Decentralized Ltl Monitoring Problemmentioning

confidence: 99%

Efficient Decentralized LTL Monitoring Framework Using Tableau Technique

Bataineh

Rosenblum

Reynolds

2019

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

show abstract

“…Electronic control systems are used to improve braking performance as factors such as current wheel speed can be measured from sensors and various control methods (such as new control algorithms, ABS and electronic stability programs) can be developed [8] [9]. Resistance on the brake pedal is still felt by the driver and failure of the brake control unit deactivates electronic control systems while still allowing manual hydraulic forces to be applied to the brakes [8].…”

Section: Autonomous Automobiles and Driver-assistance Functionsmentioning

confidence: 99%

Integration of Drive-by-Wire with Navigation Control for a Driverless Electric Race Car

Drage

Kalinowski

Bräunl

2014

IEEE Intell. Transport. Syst. Mag.

View full text Add to dashboard Cite

This article presents the design and implementation of a drive-by-wire system and a navigation control system for an autonomous Formula SAE race car. The result is the development of a platform for research into autonomous driving which can be easily replicated. Drive-by-wire actuators for acceleration, braking and steering of the vehicle are discussed, as well as the embedded low-level control system. The high-level navigation system features sensor fusion of a 6-dof IMU with a standard GPS and the integration of an automotive LIDAR. Operation of the vehicle is via a multi-threaded program with asynchronous IO and is based upon recording and driving waypoints. In addition to independent safety interlocks, active safety systems are an integral part to both the drive-by-wire and navigation systems. IEEE IntEllIgEnt transportatIon systEms magazInE • 23 • Winter 2014 1939-1390/14©2014IEEE IEEE IntEllIgEnt transportatIon systEms magazInE • 24 • Winter 2014

show abstract

“…Brake-by-wire improves braking performance as electronic control systems can be used to adapt the application of a vehicle's brakes. Factors such as current wheel speed can be measured from sensors and various control methods (such as new control algorithms, ABS and electronic stability programs) can be developed (Gunzert and Nägele 1999), (Sartori et al 2007) for use by electronic control systems. Resistance on the brake pedal is still felt by the driver and failure of the brake control unit deactivates electronic control systems while still allowing manual hydraulic forces to be applied to the brakes (Gunzert and Nägele 1999).…”

Section: Commercial Drive-by-wire Systemsmentioning

confidence: 99%