• Resources
  • Directory
  • Webinars
  • CAD Models
  • Video
  • Blogs
  • EDGE Awards
  • Advertise
    • Getty
    6705dafe02d30b43f32107ea Vdc Ada Promo
    1. TechXchange

    Developing High Reliability Software and Reducing Costs Using Ada

    Oct. 10, 2024
    Ada and SPARK are typically used for developing highly reliable software and it can reduce the cost of doing so.

    Ada and SPARK have typically been used for applications that require high levels of safety, reliability and security. These articles take a look at different aspects of the Ada programming langauge that make this possible as well as how well it works in reducing development costs as well. 

    High Reliability Software

    Applications that require high reliability are often require high levels of safety such as cars and planes. Programming languages like Ada, SPARK and Rust are designed to make it easier for developers to create this level of reliablity. 

    Image
    Software

    Q&A: Formal Methods Push Toward Zero-Defect Software

    Technology Editor Bill Wong talks with AdaCore’s Yannick Moy about what formal verification of software brings to develop zero-defect software.
    Image
    Automation

    Rust and SPARK: Software Reliability for Everyone

    Programming languages often defer reliability and security issues to tools and processes. Two initiatives—SPARK and Rust—state that language is key to reaching these objectives...
    Addressing the Growing Complexity of Embedded Systems
    Automation

    Addressing the Growing Complexity of Embedded Systems

    Just how complex can embedded design get? Technology Editor Bill Wong examines the emerging trends that will impact this space in 2019.
    ID 315465046 © Andrey Popov Dreamstime.com
    id_315465046__andrey_popov__dreamstime
    Embedded

    Are You Writing Safe And Secure Software?

    As a programmer, I try to write code that’s not only functional but also safe, secure, and reliable. But what if some of those things I learn or use aren’t quite right?
    Getty Images
    ada_and_spark_promo_getty
    TechXchange

    All About Ada and SPARK Programming

    Ada and SPARK are often used to develop applications that require high reliability and no bugs.

    Reducing Costs Using Ada and SPARK

    Switching from C or C++ or Ada and SPARK can actually save money in the long run even with additional training. 

    Ada—The Language of Cost Savings?
    Embedded

    Ada—The Language of Cost Savings?

    VDC Research thinks Ada can help control software-development costs. The firm’s findings, including TCO calculations, reveal how that’s possible.
    Thinkstock
    GNAT Pro Developer Cuts Ada, SPARK Development Costs
    Embedded

    GNAT Pro Developer Cuts Ada, SPARK Development Costs

    The affordability of AdaCore’s GNAT Pro Developer opens the door to more programmers who’d like to take advantage of Ada and SPARK.
    Leveraging SPARK, Ada in Cutting-Edge Auto Systems
    Automotive

    Leveraging SPARK and Ada in Cutting-Edge Auto Systems

    With security always of paramount concern, NVIDIA is working with AdaCore to take advantage of SPARK and Ada in its automotive platforms.

    Using Ada and SPARK

    Interesting in getting Ada or SPARK into your development process? 

    Thinkstock
    Adopting Spark
    Embedded

    Helpful Hints for Adopting SPARK

    Adacore and Thales have created a white paper addressing the incremental utilization of SPARK’s provability for high assurance applications.
    Adacore Nvidia Promo
    Automotive

    Ada and RISC-V Secure Nvidia’s Future

    Nvidia is using RISC-V for its security processor, and programming is handled via Ada/SPARK.
    Prom Osoftware Developer 968289636
    Embedded

    Use Ada for Your Web Development

    Ada isn’t a well-known language to web-application developers. However, it has several strengths that makes the final application scalable, robust, and more secure than other ...

    More Articles About Ada and SPARK

    Getty Images
    ada_and_spark_promo_getty
    TechXchange

    All About Ada and SPARK Programming

    Ada and SPARK are often used to develop applications that require high reliability and no bugs.
    Image
    Software

    Ada 2012: The Joy of Contracts

    The new Ada 2012 standard was recently approved by ISO. It incorporates contracts that will have a major impact on application design.
    Image
    Software

    11 Myths About Ada

    The Ada language is alive and well, as can be confirmed by developers of embedded real-time systems in critical industries worldwide. You’d never know that from some of the misconceptio...

    Continue Reading

    Sponsored Recommendations

    Comments

    To join the conversation, and become an exclusive member of Electronic Design, create an account today!