Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents involving such garages have been reported. Many of these are related to safety issues in software. We applied verification techniques to develop a software design for an automated parking garage. This design meets a number of safety requirements. To do so we developed a software architecture that allows one to split implementation, safety and algorithmic aspects of the software. We also developed a custom visualization tool to assist us with our analysis. This enabled us to find a number of serious errors.
The visualization plug-in for the parking garage visualizes the garage as seen from the top. Using this tool we were able to identify a number of mistakes.
|Contact person:||Aad Mathijssen, Technische Universiteit Eindhoven, The Netherlands.|
|Other people involved:|
|Hannes Pretorius, Technische Universiteit Eindhoven, The Netherlands.|
|Institution:||Technische Universiteit Eindhoven, The Netherlands.|
|CVSS Parking Systems, Eindhoven, The Netherlands|
|Time period:||June 2005 – December 2005|