An existing distributed lift system was analyzed using the process algebraic language μCRL [7], Four problems were found, three of which were also found independently by the developers in the testing phase. They solved these problems in an ad hoc manner, because the causes of the problems were unclear. The analysis in [7] revealed the reasons for those problems, and proposed solutions. In this paper, we checked the developers' solutions using UPPAAL. We show that the solutions of the developers do not solve these problems completely, while a refined version of our solution proposed in [7] does. © Springer-Verlag 2003.
CITATION STYLE
Pang, J., Karstens, B., & Fokkink, W. (2003). Analyzing the Redesign of a Distributed Lift System in UPPAAL. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2885, 504–522. https://doi.org/10.1007/978-3-540-39893-6_29
Mendeley helps you to discover research relevant for your work.