When to stop verification? Statistical trade-off between expected loss and simulation cost

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2011, Pages 1309-1314

  Jha, Sumit Kumar ^a   Langmead, Christopher James ^b   Mohalik, Swarup ^c   Ramesh, Sethu ^c  

^a University of Central Florida   (United States)

^b Carnegie Mellon University ^*  (United States)

^c GENERAL MOTORS CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEM DESIGN; EXPERIMENTAL EVIDENCE; FINANCIAL LOSS; LOWER BOUNDS; OVERALL COSTS; POTENTIAL LOSS; SIMULATION BASED VERIFICATION; SIMULATION COST; STATE SPACE EXPLORATION; TEST SAMPLES; THEORETICAL RESULT; UPPER BOUND; VALIDATION RESULTS;

ALGORITHMS; BUDGET CONTROL; DESIGN; EMBEDDED SYSTEMS; LOSSES; MODEL CHECKING; SPACE RESEARCH; SYSTEMS ANALYSIS;

COSTS;

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

References (16)

1. E. H. Abed. Advances in Control, Communication Networks, and Transportation Systems: In Honor of Pravin Varaiya. Birkhauser, 2005.
2. T. Ball, R. Majumdar, T. D. Millstein, and S. K. Rajamani. Automatic predicate abstraction of C programs. In PLDI, pages 203-213, 2001.
3. T. Choi and R. V. Ramamoorthi. Remarks on consistency of posterior distributions. ArXiv e-prints, May 2008.
4. B. Clarke and S. Ghosal. Pushing the Limits of Contemporary Statistics: Contributions in Honor of Jayanta K. Ghosh. Collections, Volume 3, Institute of Mathematical Statistics, 2008.
5. A. Donzé, G. Clermont, and C. J. Langmead. Parameter synthesis in nonlinear dynamical systems: Application to systems biology. J. Comp. Biol., 17(3):325-336, 2010.
6. K. Gondi, Y. Patel, and A. P. Sistla. Monitoring the full range of omegaregular properties of stochastic systems. In VMCAI, pages 105-119, 2009.
7. C. A. E. II. Hazard Analysis Techniques for System Safety. Wiley- Interscience, first edition edition, August 2005. ISBN: 978-0471720195.
8. S. Jha, S. Gulwani, S. Seshia, and A. Tiwari. Synthesizing switching logic for safety and dwell-time requirements. In 1st International Conference on Cyber-physical Systems, pages 22-31, 2010.
9. S. K. Jha, E. M. Clarke, C. J. Langmead, A. Legay, A. Platzer, and P. Zuliani. A bayesian approach to model checking biological systems. In CMSB, pages 218-234, 2009.
10. S. K. Jha and C. J. Langmead. Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Theoretical Computer Science, page In Press, 2011.
11. S. K. Jha, C. J. Langmead, S. Ramesh, and S. Mohalik. When to stop verification? statistical trade-off between expected loss and simulation cost. Technical report, University of Central Florida, 2011.
12. R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Syst., 2(4):255-299, 1990.
13. M. Z. Kwiatkowska, G. Norman, and D. Parker. Prism 2.0: A tool for probabilistic model checking. In QEST, pages 322-323. IEEE Computer Society, 2004.
14. E. A. Lee and S. A. Seshia. Introduction to Embedded Systems, A Cyber-Physical Systems Approach. 2011. ISBN 978-0-557-70857-4 http://LeeSeshia.org.
15. K. Sen, M. Viswanathan, and G. Agha. On statistical model checking of stochastic systems. In CAV, LNCS 3576, pages 266-280, 2005.
16. A. Wald. Sequential Analysis (Dover Phoenix Editions). Dover Publications, dover ed edition, June 2004.