Verified design of an automated parking garage

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

21 Citaten (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.
Originele taal-2Engels
TitelProceedings 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
RedacteurenL. Brim, B. Haverkort, M. Leucker, J. Pol, van de
Plaats van productieBerlin
ISBN van geprinte versie978-3-540-70951-0
StatusGepubliceerd - 2007
Evenementconference; FMICS 11, PDMC 5, Bonn, Germany; 2006-08-26; 2006-08-31 -
Duur: 26 aug 200631 aug 2006

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Congresconference; FMICS 11, PDMC 5, Bonn, Germany; 2006-08-26; 2006-08-31
AnderFMICS 11, PDMC 5, Bonn, Germany

Vingerafdruk Duik in de onderzoeksthema's van 'Verified design of an automated parking garage'. Samen vormen ze een unieke vingerafdruk.

Citeer dit