Abstracts
What's New in the World of Ada
This talk will briefly review the history and main features of Ada, its usage in academic and industrial projects, and will then cover new developments in the Ada language and Ada language tools. New features of Ada 2012 will be discussed as well as the current status of their implementation in GNAT. The talk will also discuss interesting new tools that are available for Ada development, including CodePeer, the new static analysis system being developed jointly by AdaCore and SofCheck, and Couverture, a novel approach to coverage analysis, suitable for both certified critical systems, and mainstream application development.Download Slides (pdf)
Download Slides (ppt)
Download Slides (pptx)
Ada in Industry, an Experience Report
The presentation will give details about how Ada is used at the CFMU to develop ETFMS (Flow Management system) and IFPS (Flight Plan processing system). IFPS processes all the flight plans for of the flights departing from, landing in, or crossing Europe. ETFMS balances the traffic load with the capacity, ensuring an efficient usage of the airspace capacity while maintaining safety.Download Slides (pdf)
Download Slides (odp)
Ada in Research and Education, an Experience Report
The University of Stuttgart uses Ada as the programming language of choice for the introductory courses in Computer Science and Software Engineering. The talk will expand on the reasons for this decision and the discussions about it. It will attempt to separate winning arguments from the grist of many. It will also address issues on the road to teaching computer science students a general understanding of programming languages, in order to enable them to pick up future languages easily and without prejudice. Finally, a large on-going research project using Ada will be briefly described.Download Slides (pdf)
SPARK - The Libre Language and Toolset for High-Assurance Software
This presentation introduces SPARK - a language specifically designed to support the development and verification of high-assurance software. This presentation covers the concepts behind SPARK, the language design and the capabilities of the verification tools. It will also cover the uses of SPARK in teaching software engineering and will look at current and potential research topics for the academic community, as well as recent and on-going industrial projects.Download Slides (pdf)
