Case studies

A control system for a personal insulin pump

This is a small safety-critical embedded system controlling a personal insulin pump.

The Mentcare system

This is an information system for managing the healthcare of people suffering from mental illnesses.

A wilderness weather station

This is a weather data collection system installed in remote environment.

The ILearn digital learning environment

This is a collection of learning tools for students from age 4 to 18.

The Ariane 5 launch accident

This is a discussion of the causes of the explosion of an Ariane 5 rocket on its maiden flight.

The Airbus 340 flight control system

This is a description of the hardware and software architecture of the Airbus 340 flight control system.