Show simple item record

Modeling, Validation and Verification of Concurrent Behavior in Canal System Using LTSA and UPPAAL

dc.contributor.advisorAustin, Marken_US
dc.contributor.authorPoorfarhani, Malihehen_US
dc.description.abstractA complex system is composed of subsystems. Common sense dictates complex systems in the physical world are reactive and concurrent in nature. The procedure to model a concurrent system and the procedure to validate its performance are complex because of the presence of the interactions between and among the subsystems, calling for an integrated approach from the viewpoint of systems engineering. In this thesis, a canal system is the object of study. The main objectives are to achieve a deadlock free and safe architectural model of a canal system, as measured by transportation criteria. Specifically, the Panama Canal is used as a case study where a procedure has been developed to model this waterway. This thesis models the scenario-based specifications, system behavioral model, animated verification and validation of the Panama Canal with LTSA and with the help of UPPAAL brings time constraints into the canal behavioral model.en_US
dc.format.extent1083495 bytes
dc.titleModeling, Validation and Verification of Concurrent Behavior in Canal System Using LTSA and UPPAALen_US
dc.contributor.publisherDigital Repository at the University of Marylanden_US
dc.contributor.publisherUniversity of Maryland (College Park, Md.)en_US
dc.contributor.departmentSystems Engineeringen_US
dc.subject.pqcontrolledEngineering, System Scienceen_US
dc.subject.pqcontrolledEngineering, Industrialen_US
dc.subject.pqcontrolledComputer Scienceen_US
dc.subject.pquncontrolledConcurrent Systemsen_US
dc.subject.pquncontrolledCanal Systemen_US

Files in this item


This item appears in the following Collection(s)

Show simple item record