Home // ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances // View article

Modeling and Verification of Car Parking System

Authors:
Hadiqa Alamdar Bukhari
Sidra Sultana

Keywords: Uppaal; system verification; system modeling; car parking.

Abstract:
Formal modeling and verification help in achieving safety related concerns in real time systems. Car parking system is modeled and verified in this paper to ensure the non-collision and the parking of a car which is both time and space efficient. A detailed simulation of the model is presented and described.

Pages: 223 to 226

Copyright: Copyright (c) IARIA, 2019

Publication date: November 24, 2019

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-752-8

Location: Valencia, Spain

Dates: from November 24, 2019 to November 28, 2019