Event-based temporal logic

Details Event-based temporal logic Event-based temporal logic

2006-01-10

2008-10-07

Shah, Kamin (Department: 2128)

Data processing: structural design, modeling, simulation, and em

Modeling by mathematical expression

C703S014000, C703S015000, C716S030000, C716S030000

Reexamination Certificate

active

07433808

ABSTRACT:
In an embodiment, a computer-implemented method for modeling a system using a finite state machine representation is presented. An event-driven temporal logic operator may be associated with a first, active state in the finite state machine representation. A value of the temporal logic operator may be determined by a number of occurrences of an event during an existing activation of the first state associated with the temporal logic operator. A state transition from the first state to a second state may be executed based on the value of the temporal logic operator. The second state may be set as the active state.

REFERENCES:
patent: 5956741 (1999-09-01), Jones et al.
patent: 5966516 (1999-10-01), De Palma et al.
patent: 6195627 (2001-02-01), Bargh et al.
patent: 6581191 (2003-06-01), Schubert et al.
patent: 6618839 (2003-09-01), Beardslee et al.
patent: 7020850 (2006-03-01), Raghavan et al.
Ostroff, “A Visual Toolset for the Design of Real-Time Discrete-Event Systems”, IEEE Transactions on Control Systems Technology, May 1997, vol. 5, Issue: 3, pp. 320-337.
“Stateflow User's Guide, Version 2”, The MathWorks, Inc., Jan. 1999.
Kalita et al., “SF2STeP: A CAD Tool for Formal Verification of Timed Stateflow Diagrams”, IEEE International Symposium on Computer-Aided Control System Design, CACSD 2000, Sep. 2000, pp. 156-162.
Drusinsky, Doron, “Specification IS Verification,” Time-Rover Presentation.
Drusinksy-Yoresh, Doron, “Specification-based Verification of Reactive Systems,” Time-Rover, Disclosure.
Harel, David, “Executable Object Modeling with Statecharts,”IEEE Computer, vol. 30(7):31-42 (1997).
Harel, D. et al., “On the Formal Semantics of Statecharts,” Proceedings of the Symposium on Logic in Computer Science, pp. 54-64 (1987).
Harel, David, “On Visual Formalisms,”Communications of the ACM, vol. 31 (5):514-530 (1988).
Harel, David, “Statecharts: A Visual Formalism for Complex Systems,”Science of Computer Programming, vol. 8:231-274 (1987).
Henzinger, Thomas A. et al., “Temporal Proof Methodologies for Real-time Systems,”Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 353-366 (1991).
Kang, Kyo C. et al., “Parts: A Temporal Logic-Based Real-Time Software Specification and Verification Method,”Department of Computer Science and Engineering, Pohang University of Science and Technology, ICSE, pp. 169-175 (1995).
Manna, Zohar et al., “Models of Concurrency,” The Temporal Logic of Reactive and Concurrent Systems, Specifications, Springer-Verlag (1991).
Time-Rover, “Temporal Logic: Time is of the Essence,” retrieved online at http://www.time-rover.com/ltl/html (1999).
Tuzhilin, Alexander, “Extending Temporal Logic to Support High-Level Simulations,” ACM Transactions on Modeling and Computer Simulations, vol. 5(2):129-155 (1995).

Affiliated with

Also associated with

Rating

Event-based temporal logic does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Event-based temporal logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Event-based temporal logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4009332