Skip to main content
SpringerLink
Log in

DataFAN: A Practical Approach to Data Flow Analysis for Ada 95

  • Conference paper
  • First Online:
Reliable Software Technologies — Ada-Europe 2002 (Ada-Europe 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2361))

Included in the following conference series:

  • 320 Accesses

Abstract

Safety- and mission-critical software requires developing high-quality, reliable code. Static analysis tools have been proposed to assist developers in the early detection of critical errors and achieving a better code quality. In this paper, we present a set of practical requirements for the industrial use of such tools and report on the development of DataFAN, a data-flow analysis tool satisfying these requirements.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. DaimlerChrysler Research. Ada Cross-Referencer. In Proceedings ACM SIGAda Annual International Conference (SIGAda2001), 2001, p. 131

    Google Scholar 

  2. Ada Reference Manual (Information technology-Programming languages-Ada), International Standard ISO/IEC 8652:1995(E)

    Google Scholar 

  3. AdaSTAT, a static analysis tool for Ada95, DCS IP LLC Corporation, http://www.adastat.com

  4. A.V. Aho, R. Sethi, J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Massachusetts, USA, 1986

    Google Scholar 

  5. J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, Harlow, England, 1997

    MATH  Google Scholar 

  6. A. Burns, B. Dobbing and G. Romanski. The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In Ada-Europe 98, LNCS 1411, Springer-Verlag Berlin Heidelberg, 1998, pp. 263–275

    Google Scholar 

  7. Software Considerations in Airborne Systems and Equipment Certification. Issued in the USA by the Requirements and Technical Concepts for Aviation (document RTCA SC167/DO-178B) and in Europe by the European Organization for Civil Aviation Electronics (EUROCAE document ED-12B), December 1992

    Google Scholar 

  8. L. D. Fosdik and L. J. Osterweil. Data Flow Analysis in Software Reliability. In ACM Computing Surveys, Vol. 8, No. 3, September 1976

    Google Scholar 

  9. D. Guspari et al. Formal Verification of Ada Programs. In IEEE Transactions on Software Engineering, Vol. 16, Sept. 1990

    Google Scholar 

  10. Programming Languages-Guide for the Use of the Ada Programming Language in High Integrity Systems. ISO/IEC technical report 15942, final draft, ISO/IEC JTC1 /SC 22/WG 9 N 359r, July 1, 1999, http://wwwold.dkuug.dk/JTC1/SC22/WG9/documents.htm

  11. B. Källberg. Is An Ada Lint Necessary? In Ada-Europe 2000, LNCS vol. 1845, Springer-Verlag, 2000, pp. 29–40

    Chapter  Google Scholar 

  12. E. Mehofer and B. Scholz. A Novel Probabilistic Data-Flow Framework. In International Conference on Compiler Construction (CC), 2001

    Google Scholar 

  13. Requirements for the Procurement of Safety Critical Software in Defence Equipment. Interim Defence Standard 00-55, UK Ministry of Defence, 1991

    Google Scholar 

  14. Defence Standard 00-55,’ Requirements for Safety Related Software in Defence Equipment’, Ministry of Defence, (Part1: Requirements; Part2: Guidance). August 1997

    Google Scholar 

  15. F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag, Berlin, Germany, 1999

    MATH  Google Scholar 

  16. L. J. Osterweil. Using Data Flow Tools in Software Engineering. In Program Flow Analysis: Theory and Applications, S.S. Muchnick and N.D. Jones (Eds.), Prentice-Hall Software Series, 1981

    Google Scholar 

  17. G. Ramalingam. Data Flow Frequencey Analysis. In Proceedings of the ACM SIGPLAN’96 Conference on Programming Language Design and Implementation, 1996, pp. 267–277.

    Google Scholar 

  18. A. Rosskopf. Use of Static Analysis Tool for Safety-Critical Ada Applications — A Critical Assessment. In Ada-Europe’96, LNCS 1088, Springer-Verlag, 1996, pp. 183–197

    Google Scholar 

  19. S. Rybin, A. Strohmeier, A. Kuchumov, and V. Fofanov. ASIS for GNAT: From the Prototype to the Full Implementation. In Ada-Europe’ 96, LNCS 1088, Springer-Verlag, 1996, pp. 298–311

    Chapter  Google Scholar 

  20. SPARK Examiner. User Manual-Release 2.5 [Demo version], Praxis Critical Systems, March 1997 EXM/UM/2.5

    Google Scholar 

  21. Understand for Ada, Scientific Toolworks, Inc., http://www.scitools.com/

Download references

Author information

Authors and Affiliations

  1. DaimlerChrysler Research and Technology, Ulm, Germany

    Krzysztof Czarnecki, Michael Himsolt, Ernst Richter & Falk Vieweg

  2. European Aeronautics Defence and Space Company (EADS), Military Aircraft, München, Germany

    Alfred Rosskopf

Authors
  1. Krzysztof Czarnecki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Himsolt
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ernst Richter
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Falk Vieweg
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Alfred Rosskopf
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer-Aided Automation, Technical University Vienna, Treitlstraße 1-3, 1040, Vienna, Austria

    Johann Blieberger

  2. Swiss Federal Institute of Technology Lausanne (EPFL), 1015, Lausanne, Switzerland

    Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Czarnecki, K., Himsolt, M., Richter, E., Vieweg, F., Rosskopf, A. (2002). DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. In: Blieberger, J., Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe 2002. Ada-Europe 2002. Lecture Notes in Computer Science, vol 2361. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48046-3_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-48046-3_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43784-0

  • Online ISBN: 978-3-540-48046-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation