Verified design of an automated parking garage

A.H.J. Mathijssen, A.J. Pretorius

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)


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 apply verification techniques to develop a software design for an automated parking garage. This design meets a number of safety requirements. We provide a software architecture that allows one to split implementation, safety and algorithmic aspects of the software. Consequently, we give a high-level description of the safety aspects and verify a number of safety requirements on this model. Also, we briefly discuss how this analysis is simplified by using a custom visualization tool.
Original languageEnglish
Title of host publicationProceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 11) and 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC 5) 26-27 August 2006 and 31 August 2006, Bonn, Germany
EditorsL. Brim, B. Haverkort, M. Leucker, J. Pol, van de
Place of PublicationBerlin
ISBN (Print)978-3-540-70951-0
Publication statusPublished - 2007
Eventconference; FMICS 11, PDMC 5, Bonn, Germany; 2006-08-26; 2006-08-31 -
Duration: 26 Aug 200631 Aug 2006

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conferenceconference; FMICS 11, PDMC 5, Bonn, Germany; 2006-08-26; 2006-08-31
OtherFMICS 11, PDMC 5, Bonn, Germany

Fingerprint Dive into the research topics of 'Verified design of an automated parking garage'. Together they form a unique fingerprint.

Cite this