Rapid scenario-based simulation and model checking for embedded systems

Proceedings of the IASTED International Conference on Software Engineering and Applications

Volumn 7, Issue , 2003, Pages 568-573

  Tsai, W T ^a   Yu, Lian ^a   Paul, Ray ^b   Fan, Chun ^a   Liu, Xinxin ^a   Cao, Zhibin ^a  

^a Arizona State University   (United States)

^b ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

Author keywords

Model checking; Simulation; State machines; System scenarios; Temporal logic; Verification and validation

Indexed keywords

MODEL CHECKING; STATE MACHINES; SYSTEM SCENARIOS; TEMPORAL LOGIC; VERIFICATION AND VALIDATIONS;

AIRCRAFT; AUTOMATION; COMPUTER SIMULATION; FORMAL LOGIC; INFORMATION ANALYSIS; MATHEMATICAL MODELS; MEDICAL IMAGING; NUCLEAR POWER PLANTS;

EMBEDDED SYSTEMS;

EID: 1542433695     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. M. B. Dwyer, G.S. Avrunin, and J. C. Corbett, "Patterns in Property Specifications for Finite-State Verification", Proceedings of the 21st International Conference on Software Engineering, May, 1999.
2. SPIN: at http://spinroot.com/spin/whatispin.html
3. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, 1999.
4. W. T. Tsai, L. Yu, X. Liu, A. Saimi, and Y. Xiao, "Scenario-based Test Generation Tool for Embedded Systems", in Proc. of IEEE IPCCC 2003, pp. 335-342.
5. X. Bai, W. T. Tsai, R. Paul, K. Feng, and L. Yu, "Scenario-based Modeling and Its Applications to Objeect-Oriented Analysis, Design, and Testing", IEEE Proc. of EDOC, 2001, pp. 140-151.
6. W. T. Tsai, X. Bai, R. Paul, and L. Yu, "Scenario-Based Functional Regression Testing", Proc. of IEEE COMPSAC, 2001, pp. 496-501.
7. W. T. Tsai, L. Yu, R. Paul, T. Liu, and A. Saimi, "Developing Adaptive Test Frameworks for Testing State-based Embedded Systems", in Proc. of IDPT, 2002.
8. R. Vishnuvajjala, "Software Reuse in Time-Critical Systems", Ph.D. Dissertation, Dept. of Computer Science and Engineering University of Minnesota, 2002.
9. F. Zhu, "A Requirement Verification Framework for Real-time Embedded Systems", PhD dissertation, Department of Computer Science and Engineering, University of Minnesota, Minneapolis, MN 55455, 2002.
10. W. T. Tsai, F. Zhu, L. Yu, R. Paul, C. Fan, "Verification Patterns for Rapid Embedded System Verification", Proc. of 2003 International Conference on Embedded Systems and Applications, pp. 310-316.
11. W. T. Tsai, L. Yu, A. Saimi, R. Paul, "Scenario-based Object-Oriented Test Frameworks for Testing Distributed Systems", Proc. of IEEE Future Trends of Distributed Computing Systems, 2003. pp. 288-294.
12. W. T. Tsai, R. Paul, and L. Yu, A. Saimi, and Z. Cao, "Scenario-Based Web Service Testing with Distributed Agents", to appear in IEICE Transaction, 2003.
13. Active Database Central, URL: http://www.ida.his.se/ida/adc/
14. th IEEE International Symposium on High-Assurance Systems Engineering, pp. 27-34, 1999.
15. M. Muller-Olm, D. Schmidt, and B. Steffen, "Model-checking, A tutorial introduction", Proc. of Static Analysis Symposium (SAS'99), Venice, Italy (eds.: A. Cortesi, G. File), Vol. 1694, pp. 330-354. Springer-Verlag, Heidelberg, Germany, September 1999.