On the Toyota's Throttle Control Problem

Authors:
Jim Ras;Albert M. K. Cheng
Affiliations:
-;-
Venue:
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Year:
2010

Citing 13
Cited 0

Safety analysis of timing properties in real-time systems

IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Specifying functional and timing behavior for real-time applications

Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Software requirements: analysis and specification

Software requirements: analysis and specification
A theory of timed automata

Theoretical Computer Science
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Time-based expressivity of timed Petri nets for system specification

Theoretical Computer Science
Real-Time Systems: Scheduling, Analysis, and Verification

Real-Time Systems: Scheduling, Analysis, and Verification
Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller

ICNICONSMCL '06 Proceedings of the International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting

IEEE Transactions on Computers
Optimization of Real-Time Systems Timing Specifications

RTCSA '06 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Specifying Software Requirements for Complex Systems: New Techniques and Their Application

IEEE Transactions on Software Engineering
Cyber-Physical Medical and Medication Systems

ICDCSW '08 Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops
Efficient Verification and Optimization of Real-Time Logic-Specified Systems

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work tackles two research threads. The first thread evaluates the use of conventional design versus electronic engine control by applying real-time control theory. The second thread, which will be explored in a longer version of this paper, presents a formal method that determines if the system matches the specifications.