• 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 Feb 4 '13

    Contract-Driven Programming Takes Specification Beyond The Stone Age

    Published in Electronic Design by Quentin Ochem
    The industrialization age of programming by contract is opening a new era in software development. Just as development techniques went from assembly to structured languages and from structured languages to object orientation, contract-based programming is providing one more abstraction to software design.
    Continue Reading
    Tags Ada 2012contract-based programmingSPARK
  • Article Dec 3 '10

    Mission: Critical for nano-satellites

    Published in Aerospace Engineering and Manufacturing
    Professors and students at Vermont Technical College are using AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools to implement two NASA-sponsored programs, including a CubeSat.
    Continue Reading
    Tags Ada 2005SPARK
  • 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 Jun 6 '10

    Lunar lander project relies on SPARK programming language

    Published in EE Times by Julien Happich
    Altran Praxis announced that its SPARK language has been selected by a new, NASA-funded US lunar mission. SPARK will be used to develop the software behind a CubeSat project being developed by a consortium comprising Vermont Technical College, Norwich University, St. Michael’s College, and the University of Vermont.
    Continue Reading
    Tags SPARK
  • Article Oct 10 '08

    NSA posts secrets to writing secure code

    Published in GCN (Government Computing News) by Joab Jackson
    An article in GCN (Government Computing News) that looks at an NSA-funded project carried out by the U.K.-based Praxis High Integrity Systems and Spre Inc. NSA commissioned the project, which involved writing code for an access control system, to demonstrate high-assurance software engineering.
    Continue Reading
    Tags SecuritySPARK
  • Article Aug 14 '06

    Mathematical approaches to managing defects

    Published in The Register by David Norfolk and Pan Pantziarka
    In this article by David Norfolk and Pan Pantziarka, the authors look at the increasing use of Formal Methods and the Correctness by Construction process championed by Altran Praxis.
    Continue Reading
    Tags Formal MethodsFormal VerificationSPARK
  • 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
View All Sponsors

Upcoming Events

  • HILT 2022 – Supporting a Rigorous Approach to Software Development
    Oct 14, 2022 Ann Arbor, Michigan

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • 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-2022 Ada Resource Association Site Map | Contact Us