• Resources
  • Directory
  • Webinars
  • CAD Models
  • Video
  • Blogs
  • EDGE Awards
  • Advertise
    • Image
    1. Technologies
    2. Embedded

    ADA Is Alive And Well

    May 6, 2010
    Ada continues to handle the secure and reliable embedded challenges

    Ada remains one of the best platforms for developing secure and reliable applications. Atego and Adacore, two Ada supporters, have delivered a number of new Ada implementations. Atego’s Aonix ObjectAda Real-Time for VxWorks 653 brings ARINC-653 support to Wind River’s operating system. This includes support via Aonix ObjectAda Real-Time and Aonix ObjectAda Raven. The package consists of a fully compliant ACATS 2.5 Ada 95 compiler plus supporting tools. Meanwhile, Adacore and Altran Praxis have announced SPARK Pro 9. The open-source development environment features improved security functionality, including the ability to verify and ensure Multiple Independent Levels of Security (MILS) within the same application. A new information-flow verification feature supports safety and security policies, such as Bell-LaPadula, based on integrity labelling of variables, inputs, and outputs. The ZombieScope tool detects dead statements, branches, and paths in Spark code. It complements the capabilities of the Simplifier and proof status summarizer, Pogs. Pro 9 also supports the latest SPARK2005 language profile.

    Adacore

    Altran Praxis

    Atego

    About the Author

    William G. Wong | Senior Content Director - Electronic Design and Microwaves & RF

    I am Editor of Electronic Design focusing on embedded, software, and systems. As Senior Content Director, I also manage Microwaves & RF and I work with a great team of editors to provide engineers, programmers, developers and technical managers with interesting and useful articles and videos on a regular basis. Check out our free newsletters to see the latest content.

    You can send press releases for new products for possible coverage on the website. I am also interested in receiving contributed articles for publishing on our website. Use our template and send to me along with a signed release form. 

    Check out my blog, AltEmbedded on Electronic Design, as well as his latest articles on this site that are listed below. 

    You can visit my social media via these links:

    I earned a Bachelor of Electrical Engineering at the Georgia Institute of Technology and a Masters in Computer Science from Rutgers University. I still do a bit of programming using everything from C and C++ to Rust and Ada/SPARK. I do a bit of PHP programming for Drupal websites. I have posted a few Drupal modules.  

    I still get a hand on software and electronic hardware. Some of this can be found on our Kit Close-Up video series. You can also see me on many of our TechXchange Talk videos. I am interested in a range of projects from robotics to artificial intelligence. 

    Email

    Continue Reading

    Sponsored Recommendations

    Comments

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