Development of safety low-level applications

Module Code
II2012
Module Coordinators
Diethelm Bienhaus
Teachers
Florian von Zabiensky
Short Description

This course covers the development of safety low-level applications. language-elements, necessary to ensure this safety, strong typing, concepts of concurrent applications as well as formal verification will be discussed and explaind using the example of Ada as a programming language. Based on a project, the learned concepts for programming safety low-level applications will be adopted and the project will also be documented.

Learning Objectives

The students

  • are able to organize big software systems
  • master a disciplined programming-style
  • know basic techniques of software verification and are able to use them in Ada
  • are able to program low-level applications in Ada
  • master concepts of real-time systems and are able to implement such systems in Ada
  • know different concepts of concurrency
  • are able to work as a member of a project team and work together on an issue as well as supporting other teams with their knowledge
  • are able to document their work within reflecting their organization and implementation
Contents
  • basic Language concepts compared against Java
  • the strong typing of Ada
  • structuring with packages in Ada
  • object-oriented programming in Ada
  • protected objects and Tasks in Ada
  • low-level programming in Ada
  • real-time programming in Ada
  • formal verification with SPARK/ADA
Duration in Semester
1
Instruction Language
German
Total Effort
6 CrP; an estimated 180 hours, of which approximately 60 are spent in class.
Weekly School Hours
4
Method of Instruction

Seminar 2 SWS, Practical Course 2 SWS

Requirements for the awarding of Credit Points

Examination: Presentation and documentation of project results

Evaluation Standard

according to examination regulations (§ 9)

Availability
As Needed
References
  • Programming in Ada, John Barnes, Cambridge University Press
  • Building Parallel, Embedded, and Real-Time Applications with Ada, John W. McCormick, Cambridge University Press
  • Building High Integrity Applications with Spark, John W.Mccormick, Cambridge University Press
  • AdaCore University (http://university.adacore.com/)
  • http://www.adacore.com