This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Next Generation Testing Tools for Embedded Automotive Applications
Technical Paper
2004-01-0716
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
This paper is a tutorial on the principles and applications of static verification of dynamic properties to development, verification and validation of embedded applications. The topics covered include what static verification of dynamic properties is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of run-time errors.
Recommended Content
Technical Paper | The Bus Crusher and The Armageddon Device Part I |
Technical Paper | Project Management for Advanced Engineering Activities at Tenneco Automotive |
Technical Paper | The Opportunity - Improving Aerospace Configuration Management |
Authors
Citation
Deutsch, A., "Next Generation Testing Tools for Embedded Automotive Applications," SAE Technical Paper 2004-01-0716, 2004, https://doi.org/10.4271/2004-01-0716.Also In
In-Vehicle Networks and Software, Electrical Wiring Harnesses, and Electronics and Systems Reliability
Number: SP-1852; Published: 2004-03-08
Number: SP-1852; Published: 2004-03-08
References
- Kildall G. A unified approach to global program optimization Proceedings of the ACM Symposium on principles of programming languages 194 206 1973
- Sintzoff M. Calculating properties of programs by valuations on specific models Proceedings of the ACM Conference on proving assertions about Programs, Sigplan Notices 7 1 203 207 1972
- Wegbreit B. Property extraction in well-founded property sets IEEE Transactions on software engineering 1 3 270 285 1975
- P. & R. Cousot Systematic design of program analysis frameworks Proceedings of the ACM Symposium on principles of programming languages, ACM Press 1979
- Floyd R. Assigning meaning to programs Mathematical Aspects of Computer Science, Proceedings of Symposia on Applied Mathematics American Mathematical Society 19 32 1967
- Park D. Fixpoint induction and proofs of program properties Machine Intelligence Edinburgh Univ. Press 5 59 78 1969
- Clarke E. Program invariants as fixedpoints Computing 21 273 294 1979
- Turing A. Computability and λ-definability J. Symbolic Logic 2 153 163 1937
- Hoare C. Allison D. Incomputability ACM Computing Surveys 4 3 1972
- Deutsch A. Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting Proceedings Programming Language Design and Implementation ACM Press Orlando 1994
- Eilenberg S. Automate, Languages and Machines Academic Press New York 1974
- Lacan Ph. Monfort J.N. Ribal L.V.Q. Aerospatiale France Deutsch A. Gonthier G. INRIA France ARIANE 5 - The Software Reliability Verification Process Proceedings (ESA SP-422) DASIA 98 - Data Systems In Aerospace May 1998