Skip to main content
SpringerLink
Log in
Book cover

Fehlertolerierende Rechensysteme pp 101–112Cite as

CADAS: A Tool for Designing Reliable Embedded Software and Supporting Testing “in the Large”

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 84))

Abstract

The development of embedded software systems has been plagued by problems of reliability, availability and high costs. The development of ADA has recognised the contribution of the implementation language to this budget deficit. Unfortunately, that of the support environment including verification and validation and the interplay of its individual components has still to be generally recognised and understood.

In order to define an ideal tool for verification and validation, its interplay with other programming support environment components must first be recognised. The design and part realisation of such a tool has been achieved through the development of CADAS (Computer Aided Design And Verification System). In this paper its development, implementation and use todate are discussed. A concept of how it may be used to support the development and verification of exception handlers is presented.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Pyle I.C., “The ADA Programming Language”, Prentice Hall, Englewood Cliffs, NJ (1981)

    MATH  Google Scholar 

  2. Belli F., Großpietsch K.E., “A Strategy for the Development of Communication Fault Tolerant Systems by means of Regular Expressions”, Proc. of 13th Int. Symp. on Fault Tolerant Computing, IEEE Comp. Society (1983),pp. 66–73

    Google Scholar 

  3. Cristian F., “Reasoning About Programs with Exceptions”, Proc. of 13th Int. Symp. on Fault Tolerant Computing, IEEE Computer Society (1983), pp. 188–195

    Google Scholar 

  4. IEEE Computer Society Draft, “Software Engineering Terminology” (Aug. 1977 )

    Google Scholar 

  5. Dunn R., Ullman R., “Quality Assurance for Computer Software”, McGraw-Hill(82)

    Google Scholar 

  6. Goodenough J.B., Gerhart S., “Toward a Theory of Test Data Selection”, IEEE Trans. on SW Engineering (June 1975), pp. 156–173

    Google Scholar 

  7. Mohanty S.N., “Models and Measurements for Quality Assessment of Software”. ACM Computing Surveys, Vol. II, No. 3 (Sept. 1979) pp. 251–275

    Article  MathSciNet  Google Scholar 

  8. Ramamoorthy C.V., “Techniques in Software Quality Assurance”, Proc. of German Chapter of ACM Conf. on Software Quality Assurance, Teubner Verlag, Stuttgart (March 1982), pp. 11–34

    Google Scholar 

  9. Chandrasekaran B., Radicchi S. (eds.), “Computer Program Testing”, North Holland Publishing Co., Amsterdam etc. (1981)

    MATH  Google Scholar 

  10. Benson J. P., Sahib P.H., “A Software Quality Assurance Experiment”, GRC Rep. Proc. of ACM SIGMETRICS/SIGSOFT Workshop on Software Quality and Assurance, San Diego (1978), pp. 87–91

    Google Scholar 

  11. Myers G.T., “The Art of Software Testing”, John Wiley and Sons, NJ (1979)

    Google Scholar 

  12. DACS, Rome Air Development Center, “Quantitative SW Models” (1979)

    Google Scholar 

  13. Dijkstra E.W., “The Structure of the ‘THE’ Multiprogramming System”, CACM Vol. II, (May 1968) pp. 341–346

    Google Scholar 

  14. Bowden W.E., “Theoretical and Empirical Studies of Programm Testing”, IEEE Trans. on SW Engineering (July 1978), pp. 293–298

    Google Scholar 

  15. Infotech, “State of the Art Report SW Testing” (1979)

    Google Scholar 

  16. Anderson T., Lee P.A., “Fault Tolerance, Principles and Practice”, Prentice/ Hall International 1981

    Google Scholar 

  17. Special Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop, Columbia, Maryland (1982)

    Google Scholar 

  18. Ramamoorthy C.V., “Testing Large Software with Automated Software Evaluation Systems”, IEEE Trans. on SW Engineering (March 1975), pp. 46–58

    Google Scholar 

  19. Hoare C.A.R. “The Emperor’s New Clothes”, CACM (Feb. 1981), pp. 75–83

    Google Scholar 

  20. Barnes J.G.P., “Programming in ADA”, Addison-Wesley Reading, Massachusetts (1982)

    MATH  Google Scholar 

  21. Miller E. “Testing and Test Documentation” ( Workshop Report ), IEE Computer (March 1979)

    Google Scholar 

  22. Miller E.F. et al., “Automated Generation of Test Case Data Sets”, Proc. of the Int. Conf. on Reliable SW (1975), pp. 58–85

    Google Scholar 

  23. Biewald J., et al.- “EPOS - A Specification and Design Technique for Computer Controlled Real-Time Automation Systems”, Proceedings of the 4th International Conference on Software Engineering, Munich (West Germany) (1979), pp.245–250

    Google Scholar 

  24. U.S. Department of Defence, “Stoneman: Requirements for ADA Programming Support Environments” (Feb. 1980)

    Google Scholar 

  25. Belli F., „Eine interaktive Methode zur Bestimmung und Sicherung der Zuver- lässigkeit von Softwareprodukten durch Tests”. DGLR Bericht 83–02, Test und Verifikation von Software bei digitalen Systemen der Luft-und Raumfahrt pp. 77–99.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Marec Systems, Gartenstr. 24, D-8011, Grasbrunn 2, W. Germany

    M. A. J. Burford

  2. Hochschule Bremerhaven, Columbusstr. 2, D-2850, Bremerhaven, W. Germany

    F. Belli

Authors
  1. M. A. J. Burford
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Belli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Systemtechnik (F2), Gesellschaft für Mathematik und Datenverarbeltung mbH Bonn, Schloß Birlinghoven, Postfach 1240, 5205, St. Augustin, USA

    K.-E. Großpietsch

  2. Institut für Informationsverarbeitung, Universität Tübingen, Köstlinstraße 6, 7400, Tübingen, Germany

    M. Dal Cin

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Burford, M.A.J., Belli, F. (1984). CADAS: A Tool for Designing Reliable Embedded Software and Supporting Testing “in the Large”. In: Großpietsch, KE., Dal Cin, M. (eds) Fehlertolerierende Rechensysteme. Informatik-Fachberichte, vol 84. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69698-5_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69698-5_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13348-3

  • Online ISBN: 978-3-642-69698-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation