• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Article Aug 4 '13

    SPARK 2014: Why I am backing a predictable winner

    Published in Emebedded.com by Stuart Matthews
    Stuart Matthews explains how SPARK 2014 uses and extends the features of Ada 2012 for automated verification of programs.
    Continue Reading
    Tags Ada 2012SafetySecuritySPARKStatic Analysis
  • Article Jun 3 '13

    Developing Secure Code Using SPARK

    Published in Embedded.com by Ben Brosgol
    This two-part article discusses the benefits of developing code with automated static analysis, and then shows examples of doing so, using SPARK.
    Continue Reading
    Tags Formal VerificationSPARKStatic Analysis
  • Article Nov 10 '10

    Code Analysis Discussion With LDRA

    Published in Electronic Design by Mike Hennell and William Wong
    Static and dynamic code analysis can improve application performance, safety and reliability by identifying problems early in the development cycle if the proper tools and procedures are used from the start. Dr. Mike Hennell, founder of LDRA, spoke with me about the various aspects of these types of tools.
    Continue Reading
    Tags Ada 2005SPARKStatic Analysis
  • Article Aug 17 '10

    Achieving Zero Defect Software Development

    Published in Design Talk by John Greenland
    Zero Defect Software Development (ZDSD) is a results-oriented process that emphasizes the analysis, testing and reporting of the causality of defects. This process, which has evolved from the commitment to providing “five-nines” (99.999%) reliability for mission-critical applications, supplants the traditional approach of reacting to undesirable effects and treating symptoms while attempting to manage verification processes using “trend analyses” or simply tracking the occurrences of defects.
    Continue Reading
    Tags Static Analysis
  • Article Apr 7 '10

    Expressive vs. permissive languages: Is that the question?

    Published in Embedded.com by Yannick Moy
    The ease with which code is analyzable depends of the language type you use. Static analysis is becoming mainstream, with mature bug-finding tools for C and Java, including products such as Coverity Prevent, Grammatech CodeSonar, and Fortify SCA. These products limit the level of “noise” (false warnings) inherent to such tools to a minimum. However, by carefully selecting those cases for which they report a problem, these bug-finders hide the fact that they are largely uncertain about the overall correctness of the program.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Feb 16 '10

    Integrating static analysis with a compiler and database

    Published in Embedded Computing Design by Tucker Taft
    Static analysis tools are becoming more integrated into the software development process. Saving data from the compiler, change history, and error information during the process instead of as a post-code step can make static analysis more productive.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Feb 15 '10

    Executing software contracts

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Press
  • Articles
  • Events
Filter by Tags
  • Ada 2005
  • Ada 2012
  • Ada 95
  • Ada Lovelace
  • Charles Babbage
  • contract-based programming
  • DO-178C
  • Embedded/Real-time
  • Formal Methods
  • Formal Verification
  • Multicore
  • Safety
  • Security
  • software design
  • SPARK
  • Static Analysis

ARA Sponsor Spotlight
PTC Logo View All Sponsors


AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada Overview
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2021 Ada Resource Association Site Map | Contact Us