Ada-Europe

24th International Conference on
Reliable Software Technologies

11-14 June 2019, Warsaw, Poland

Tutorials

Improve the benefits of coming to the conference further by attending our tutorials, all given by well-known experts.

 

Both tutorials are full-day events, held on the first day of conference: Tuesday, June 11th.

T1 - Controlling I/O Devices with Ada, using the Remote I/O Protocol

P. Munts, Sweden

This tutorial will demonstrate how to write Ada programs to control external hardware devices using the Linux Simple I/O Library and the Remote I/O Protocol. Attendees will gain hands-on experience with interface hardware based on the Raspberry Pi and other microcomputer and microcontroller boards. The tutorial will explain the Ada packages that form the I/O libraries employed to communicate and control the devices, which attendees will use to access and control a number of external devices.

Level: Intermediate

Attendees should be familiar with the Ada language, but no other knowledge is required. Attendees will need to bring a laptop (MacOS, Windows, or Linux) with AdaCore’s GNAT Community 2018 installed. They will also need to clone or download the Linux Simple I/O Library and Ada Remote I/O Tutorial source code repos.

Reasons for attending

Attendees will learn how to develop Ada programs that control external hardware devices with simple interface hardware such as USB or network interfaces, and equally simple utilities like the Linux Simple I/O Library. During the tutorial, attendees will run their programs using various kinds of I/O servers connected to different hardware boards.

Presenter
 
Philip Munts has been an Ada practitioner since 1983. His career has concentrated on embedded systems development, ranging from single chip microcontrollers to a NASA satellite tracking station. He currently works as a software engineer consultant based in Malmö, Sweden. He is particularly interested in running programs written in Ada for very small Linux-based computers such as the PocketBeagle and the Raspberry Pi. Philip will enjoy sharing his passion with tutorial attendees.

 

T2 - An introduction to Ada

Jean-Pierre Rosen, Adalog, France

This tutorial is an overview of the Ada programming language, from basic syntax to its most sophisticated features. It focuses on what makes Ada different from other languages, and on the benefits that it provides for safety, reliability, maintainability, reusability, and efficiency. The tutorial covers all the main components of the language, accompanied with many examples. It illustrates the benefits of strong typing, the accurate model of numerical computations, the Ada’s approach to object oriented programming, its unique features for programming by contract, and its support for the concurrency and low level embedded systems programming. It concludes with an overview of the standard libraries (including the annexes), an introduction to SPARK –the high-reliability provable subset of Ada-, an overview of the tools available, and examples of industrial users.

The tutorial is for those (program managers, QA managers, or software developers) who want to understand the benefits of using Ada. Choosing the right language for a project may have a considerable impact on its success. Do not miss this opportunity of including Ada in the panel of considered languages for your next development.

Level: Intermediate

Familiarity with any other programming language. No previous knowledge of Ada is required.

Reasons for attending

  • Understand the benefits of using Ada.
  • Learn what makes it different to other mainstream programming languages. Appreciate where this is a bonus.

Presenter
 
J.P. Rosen is a professional teacher, teaching Ada (since 1979, it was preliminary Ada!), methods, and software engineering. He runs Adalog, a company specialized in providing training, consultancy, and services in all areas connected to the Ada language and software in France. Adalog regularly offers on-site and off-site training sessions in Ada. This tutorial builds on the “advanced Ada’ course offered by Adalog. Jean-Pierre is chairperson of AFNOR's (French standardization body) Ada group, AFNOR's spokesperson at WG9, member of the Vulnerabilities group of WG9, and chairperson of Ada-France.

 

The tutorial sessions run in two parts, a morning part, 9:30 - 13:00, with a refreshment break, 11:00-11:30, and an afternoon part, 14:00 - 16:00, followed by a closing break, 16:00-16:30.
The exhibition opens at 16:30, followed by a welcome aperitif at 18:00: all tutorial attendees are invited to them both.