On Modeling and Verification of Agent-Based Traffic Simulation Properties in Alloy
作者： Junia Valente , Frederico Araujo , Rym Z Wenkstern , None
关键词:
摘要: The advances in Intelligent Transportation Systems ITS call for a new generation of traffic simulation models that support connectivity and collaboration among simulated vehicles infrastructure. In this paper we introduce MATISSE, complex, large scale agent-based framework the modeling discuss how Alloy, language based on set theory first order logic, was used to specify, verify, analyze MATISSE's models.
acm.org
utdallas.edu 
sci-hub.st 参考文章(46)
Abderraf́ıâa Koukam, Stéphane Galland, Jonathan Demange, Nicolas Gaud, Environment Model for Multiagent-Based Simulation of 3D Urban Systems ,(2009)
Chaochen Zhou, Michael R. Hansen, Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris) SpringerVerlag. ,(2004)
M D Meyer, A TOOLBOX FOR ALLEVIATING TRAFFIC CONGESTION AND ENHANCING MOBILITY United States. Federal Highway Administration. ,(1997)
H Lieu, A Kanaan, A J Santiago, CORFLO. AN INTEGRATED TRAFFIC SIMULATION SYSTEM FOR CORRIDORS Traffic Management. Proceedings of the Engineering Foundation ConferenceEngineering Foundation. ,(1992)
R. Zalila Mili, Renee Steiner, Modeling Agent-Environment Interactions in Adaptive MAS Engineering Environment-Mediated Multi-Agent Systems. pp. 135- 147 ,(2008) , 10.1007/978-3-540-85029-8_10
Manfred Broy, From “Formal Methods” to System Modeling Formal Methods and Hybrid Real-Time Systems. pp. 24- 44 ,(2007) , 10.1007/978-3-540-75221-9_2
Wiebe van der Hoek, Michael Wooldridge, Model Checking Knowledge and Time international workshop on model checking software. pp. 95- 111 ,(2002) , 10.1007/3-540-46017-9_9
Diletta R. Cacciagrano, Flavio Corradini, Expressiveness of Timed Events and Timed Languages formal methods. ,vol. 3185, pp. 98- 131 ,(2004) , 10.1007/978-3-540-30080-9_4
Sven Burmester, Holger Giese, Wilhelm Schäfer, Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code Model Driven Architecture – Foundations and Applications. pp. 25- 40 ,(2005) , 10.1007/11581741_4
Elmar Bihler, Walter Vogler, Timed Petri Nets: Efficiency of Asynchronous Systems formal methods. pp. 25- 58 ,(2004) , 10.1007/978-3-540-30080-9_2