Automated validation of software models

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 91-96

  Sims, Steve ^a   Cleaveland, Rance ^a   Butts, Ken ^b   Ranville, Scott ^c  

^a Reactive Systems Inc ^*  (United States)

^b FORD MOTOR COMPANY   (United States)

^c New Eagle Software

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COST EFFECTIVENESS; MATLAB; SOFTWARE DESIGN;

ADVANCED MODELING; AUTOMATED VERIFICATION; MODEL-BASED OPC; MODELLING TOOLS; SIMULINK; SIMULINK AND STATEFLOW; SOFTWARE DEVELOPMENT FRAMEWORK; SOFTWARE MODELING; STATEFLOW MODELS; VERIFICATION TOOLS;

FORMAL VERIFICATION;

EID: 84877522170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989794     Document Type: Conference Paper

References (12)

1. K. Butts, J. Cook, C. Davey, J. Friedman, P. Menter, S. Raman, N. Sivashankar, P. Smith, and S. Toeppe. Automotive powertrain controller development using CACSD. In Tariq Samad, editor, Perspectives in Control Engineering: Technologies, Applications, and New Directions. IEEE Press, 2001.
2. R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.
3. R. Bharadwaj and S. Sims. Salsa: Combining constraint solvers with BDDs for automatic invariant checking. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS '00), Berlin, March 2000. Springer-Verlag.
4. R. Cleaveland and S. Sims. The NCSU Concurrency Workbench. In R. Alur and T. Henzinger, editors, Computer Aided Verification (CAV '96), Lecture Notes in Computer Science, pages 394-397, New Brunswick, New Jersey, July 1996. Springer-Verlag.
5. C.L. Heitmeyer, R.D. Jeffords, and B.G. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3):231-261, July 1996.
6. M. Heimdahl and N. Leveson. Completeness and consistency in hierarchical state-based requirements, 1996.
7. G. J. Holzmann. The model checker SPIN. IEEE Trans. on Softw. Eng., 23(5):279-295, May 1997.
8. David Harel and Michal Politi. Modeling Reactive Systems With Statecharts. McGraw-Hill, 1998.
9. Home page of The MathWorks, Inc. http://www.mathworks.com/.
10. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
11. P. Smith, S. Patel, W. Sun, R. Ramanan, H. Donald, S. Toeppe, S. Ranville, D. Bostic, and K. Butts. CACSD in production development: An engine control case study. In Proceedings ofthe Global Power-train Congress, Detroit, MI, June 2000.
12. S. Toeppe and S. Ranville. An automated inspection tool for a graphical specification and programming language. In Proceedings of the 12th International Software Quality Week Conference, San Jose, CA, May 1999.