THE SAFETY-CRITICAL SYSTEMS CLUB
Ada Conference UK 2007
Building better, safer softwareTuesday 25 September, 2007 - Hilton Deansgate Hotel, Manchester
Following the success of the 2006 event, the Ada UK conference returned to Manchester, this time to the brand new, highly acclaimed Manchester Hilton Hotel in the heart of the city.
The event was organised to promote awareness of the Ada programming language, and to highlight the increased relevance of Ada in safety- and security-critical programming. Since its inception, Ada has been successful in systems where reliability is essential. Its application domains include aeronautics, air traffic control, aerospace, simulation, shipboard systems, railway systems, communications, banking and many others.
It is used in environments ranging from bareboard embedded devices to large-scale distributed real-time systems, and in multi-language software interfacing with languages such as C, C++, Fortran and Java. Ada is used worldwide, for both government and commercial systems, and it taught at colleges and universities where software engineering is an important focus.
The event consisted of a technical track and a parallel track giving major vendors the opportunity to present their technology. Vendors offered demonstrations throughout the day at their stands.
Porting to Ada 2005
The use of safe subsets in different programming languages
Who's not interested in serious development? Bringing safety to every Ada programmer
Hibachi - The Ada Development Tools Project for Eclipse (ADT)
Implementing Design Patterns in Ada
Can Ada bu used with Multiple Independent Levels of Security
The MaRTE OS run-time as a support for real-time programming and Ada
Green Hills Software Safety certified Solutions for INTEGRITY-178B
Automatic Code Generation: Leveraging Ada in a UML World
Testing Ada Code for High Integrity Systems
Correctness by Construction: Putting Engineering into Software
The automatic extraction of semantic information from software (such as pre- and post-conditions) using advanced static analysis
Meeting the Demands of Software Security
OOTest: Ada, UML and Test Tool Convergance
Model-Driven Development for Ada Applications
The DO-178C standardization process and implications for language
Using Ada for Software Development Tools
Advanced Techniques for Testing Software
Wind River Technology Update
What's new with SPARK
Robert Dewar - The future of programming languages
SCSC 06-03-2018 [V4e]