All of the case studies that are shown here are used in the book. I have deliberately not used a single case study throughout the book as there is no single example that can illustrate all of the topics covered in the book.
In 2012, I was invited to become part of a group developing a specification and architectural design for a digital…
This case study focuses on the requirements for a system that I have called the Mentcare system, which is a real system…
This case study discusses the control software for a personal insulin pump, which is used by diabetics to mimic the…
This case study is based on the software for a wilderness weather station that collects weather information in remote…
This case study describes the architecture of the Airbus 340 flight control system, a safety critical system that…
This case study describes the accident that occurred on the initial launch of the Ariane 5 rocket, a launcher developed…