THE SAFETY-CRITICAL SYSTEMS CLUB, Ada UK Conference 2013:
Building better, safer softwareThursday 25 April, 2013 - Austin Court, Birmingham
A benchmark for safety, security and reliability – the new updated Ada 2012 language
In an era when software impacts on almost every part of our lives, the need for software that is both safe and secure has never been greater or more urgent. With decades of success in industrial sectors including avionics, aerospace and defence, Ada is generating new interest in domains such as automotive, medical and financial systems, where the cost of software errors can range from lost livelihoods to lost lives. Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.
The most important enhancements in Ada 2012 are directly related to program “correctness”, namely the introduction of more powerful assertion mechanisms (predicates) into the language: pre- and post-conditions for subprograms, type invariants, and subtype predicates. These are mechanisms that encourage the programmer to better specify the intent of the code they write, and allow the run-time system to verify that this intent is actually achieved. These “programming by contract” features are also beneficial when utilising static analysis tools.
The one-day Ada Conference UK will feature a half-day tutorial on the new capabilities introduced in this latest version. Presented in the morning by Tucker S. Taft, language expert and member of the Ada Rapporteur Group (ARG), this tutorial will introduce these new features to programmers familiar with either Ada or other systems programming languages such as C, C++ or Java. The afternoon session will offer talks from industry and technical experts as well as a selection of vendor talks from the Ada ecosystem.
Download a copy of the event programme.
For the latest details about this event please visit the Conference website.
All enquiries to Joan Atkinson, tel +44 191 221 2222,
SCSC 06-03-2018 [V4e]