Systematic/Automatic Debugging for path Real Time Logic 
SDRTL/ADRTL

Home 
People 
Papers 
Tool description 
Java docs 
 Incremental satisfiability counting for realtime systems, [Andrei, Chin, 2004]
 Realtime systems. Scheduling, Analysis, and Verification, [Cheng, 2002]
 Optimization of rulebased systems using state space graphs, [Zupan, Cheng, 1998]
 Optimizing timing analysis and verification of embedded systems using
rulebasedanalytic techniques, [Sodhi, Cheng, 2003]
 Timing analysis of the X38 space station crew return vehicle
avionics, [Rice, Cheng, 1999]
 The determinant of the boolean formulae [Andrei, 1995]
 Counting for satisfiability by inverting resolution [Andrei, 2004]
 Incremental satisfiability counting for realtime systems [Andrei, Chin, 2003]
 Systematic Debugging of RealRime Systems based on Incremental Satisfiability Counting, [Andrei, Chin, Cheng, Lupu,
2005]

 S. Andrei and W.N. Chin, “Incremental satisfiability counting for realtime systems,” in
Proceedings of 10th IEEE RealTime and Embedded Technology and
Applications Symposium (RTAS'04), Toronto, Canada, May 2528, 2004.
 A. M. K. Cheng, Realtime systems. Scheduling, Analysis, and Verification. Wiley
Interscience, 2002.
 B. Zupan and A. M. K. Cheng, “Optimization of rulebased systems using state space graphs,” IEEE
Transactions on Knowledge and Data Engineering, vol. 10, no. 2, pp. 238–254, 1998.
 S. Sodhi and A. M. K. Cheng, “Optimizing timing analysis and verification of embedded systems using
rulebasedanalytic techniques,” in Proc. WIP Session of IEEECS RealTime Systems Symposium,
2003.
 L. E. P. Rice and A. M. K. Cheng, “Timing analysis of the X38 space station crew return vehicle
avionics,” in Proceedings of the 5th IEEECS RealTime Technology and Applications Symposium,
1999, pp. 255–264.
 S. Andrei, “The determinant of the boolean formulae,” Analele Universitatii Bucuresti, Informatica,
vol. XLIV, pp. 83–92, 1995.
 S. Andrei, “Counting for satisfiability by inverting resolution,” Artificial Intelligence Review, 2004.
 S. Andrei and W.N. Chin, “Incremental satisfiability counting for realtime systems,” Faculty of
Computer Science, Iasi University, Romania, Technical Report TR0304, Sept. 2003.
 S. Andrei, W.N. Chin, A. M. K. Cheng, and M. Lupu, “Systematic Debugging of RealRime Systems based on Incremental Satisfiability Counting,”
Proceedings of the 11th IEEE RealTime and Embedded Technology and Applications Symposium
(RTAS'05), March 7  10, 2005, San Francisco, California

*** 

