Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella

A.M.K. Cheng; J.C. Browne; A.K. Mok;  Rwo-Hsi Wang

doi:10.1109/32.241770

Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella

IEEE Transactions on Software Engineering ◽

10.1109/32.241770 ◽

1993 ◽

Vol 19 (9) ◽

pp. 863-885 ◽

Cited By ~ 24

Author(s):

A.M.K. Cheng ◽

J.C. Browne ◽

A.K. Mok ◽

Rwo-Hsi Wang

Keyword(s):

Real Time ◽

Rule Based ◽

Behavioral Constraint ◽

Rule Based Systems

Download Full-text

Estella; a facility for specifying behavioral constraint assertions in real-time rule-based systems

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance ◽

10.1109/cmpass.1991.161050 ◽

2002 ◽

Cited By ~ 8

Author(s):

A.M.K. Cheng ◽

J.C. Browne ◽

A.K. Mok ◽

R.-H. Wang

Keyword(s):

Real Time ◽

Rule Based ◽

Behavioral Constraint ◽

Rule Based Systems

Download Full-text

Dynamic optimization for real-time rule-based systems using predicate dependency

Proceedings Sixth IEEE Real-Time Technology and Applications Symposium. RTAS 2000 ◽

10.1109/rttas.2000.852459 ◽

2002 ◽

Cited By ~ 3

Author(s):

Y.-H. Lee ◽

A.M.K. Cheng

Keyword(s):

Real Time ◽

Dynamic Optimization ◽

Rule Based ◽

Rule Based Systems

Download Full-text

Fast static analysis of real-time rule-based systems to verify their fixed point convergence

10.1109/cmpass.1990.175401 ◽

1990 ◽

Cited By ~ 14

Author(s):

A.M.K. Cheng ◽

C.-K. Wang

Keyword(s):

Fixed Point ◽

Real Time ◽

Static Analysis ◽

Rule Based ◽

Rule Based Systems

Download Full-text

WHAT’S REAL IN “REAL-TIME CONTROL SYSTEMS”? Applying formal verification methods and real-time rule-based systems to control systems and robotics

INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I ◽

10.1007/1-4020-4543-3_4 ◽

2006 ◽

pp. 31-35

Author(s):

Albert M. K. Cheng

Keyword(s):

Formal Verification ◽

Control Systems ◽

Real Time ◽

Real Time Control ◽

Rule Based ◽

Time Control ◽

Verification Methods ◽

And Robotics ◽

Rule Based Systems

Download Full-text

Design of a multiple-valued rule-programmable matching VLSI chip for real-time rule-based systems

[1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.1992.186806 ◽

2003 ◽

Author(s):

T. Hanyu ◽

K. Takeda ◽

T. Higuchi

Keyword(s):

Real Time ◽

Rule Based ◽

Vlsi Chip ◽

Rule Based Systems

Download Full-text

Self-stabilizing real-time rule-based systems

[1992] Proceedings 11th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1992.235129 ◽

2003 ◽

Cited By ~ 8

Author(s):

A.M.K. Cheng

Keyword(s):

Real Time ◽

Rule Based ◽

Rule Based Systems

Download Full-text

Efficient response time bound analysis of real-time rule-based systems

COMPASS `92 Proceedings of the Seventh Annual Conference on Computer Assurance ◽

10.1109/cmpass.1992.235761 ◽

2003 ◽

Cited By ~ 12

Author(s):

A.M.K. Cheng ◽

C.-H. Chen

Keyword(s):

Response Time ◽

Real Time ◽

Rule Based ◽

Bound Analysis ◽

Rule Based Systems

Download Full-text

Parallel execution of real-time rule-based systems

[1993] Proceedings Seventh International Parallel Processing Symposium ◽

10.1109/ipps.1993.262782 ◽

2002 ◽

Cited By ~ 12

Author(s):

A.M.K. Cheng

Keyword(s):

Real Time ◽

Parallel Execution ◽

Rule Based ◽

Rule Based Systems

Download Full-text

Formal analysis of real-time equational rule-based systems

[1989] Proceedings. Real-Time Systems Symposium ◽

10.1109/real.1989.63583 ◽

2003 ◽

Cited By ~ 12

Author(s):

A.K. Mok

Keyword(s):

Real Time ◽

Formal Analysis ◽

Rule Based ◽

Rule Based Systems

Download Full-text

Response time analysis of EQL real-time rule-based systems

IEEE Transactions on Knowledge and Data Engineering ◽

10.1109/69.368520 ◽

1995 ◽

Vol 7 (1) ◽

pp. 26-43 ◽

Cited By ~ 13

Author(s):

Jeng-Rung Chen ◽

A.M.K. Cheng

Keyword(s):

Response Time ◽

Real Time ◽

Response Time Analysis ◽

Time Analysis ◽

Rule Based ◽

Rule Based Systems

Download Full-text