Early Fault Detection Tools
关键词: Formal verification 、 Software development process 、 Linear temporal logic 、 Reliability engineering 、 Computer-aided software engineering 、 Slip (vehicle dynamics) 、 Fault detection and isolation 、 Design cycle 、 Computer science 、 Real-time computing
摘要: The traditional software development cycle relies mostly on informal methods to capture design errors in its initial phases, and more rigorous testing during the later phases. It is well understood, though, that those bugs slip through early phases tend cause most damage a design. anomaly of therefore it excels at catching worst possible point cycle: end.
core.ac.uk
springer.com
sci-hub.st 参考文章(11)
Nancy M. Wilkinson, Using CRC cards: an informal approach to object-oriented development SIGS Publications, Inc.. ,(1995)
G. Shannon, S. Skiena, M. Goldberg, J. Berry, N. Dean, E. Johnson, P. Fasel, J. MacCuish, LINK: A Combinatorics and Graph Theory Workbench for Applications and Research Center for Discrete Mathematics & Theoretical Computer Science. ,(1995)
Rajeev Alur, Gerard J. Holzmann, Doron Peled, An analyzer for message sequence charts tools and algorithms for construction and analysis of systems. pp. 35- 48 ,(1996) , 10.1007/3-540-61042-1_37
Brian W. Kernighan, Alfred V. Aho, Peter J. Weinberger, The AWK Programming Language ,(1988)
Garth Gullekson, Bran Selic, Paul T. Ward, Real-time object-oriented modeling ,(1994)
R. Gerth, D. Peled, M. Y. Vardi, P. Wolper, Simple on-the-fly automatic verification of linear temporal logic Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV. pp. 3- 18 ,(1995) , 10.1007/978-0-387-34892-6_1
Amir Pnueli, The temporal logic of programs 18th Annual Symposium on Foundations of Computer Science (sfcs 1977). pp. 46- 57 ,(1977) , 10.1109/SFCS.1977.32
E.R. Gansner, E. Koutsofios, S.C. North, K.-P. Vo, A technique for drawing directed graphs IEEE Transactions on Software Engineering. ,vol. 19, pp. 214- 230 ,(1993) , 10.1109/32.221135
John K. Ousterhout, Tcl and the Tk Toolkit ,(1994)
Doron A. Peled, Gerard J. Holzmann, An improvement in formal verification. formal techniques for (networked and) distributed systems. pp. 197- 211 ,(1994)