Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models

Hamzat Olanrewaju Aliyu, Mamadou Kaba Traore
2015 2015 Winter Simulation Conference (WSC)  
This research proposes a framework that aggregates resources for formal investigation of different properties of systems using disparate analysis methodologies such as simulation, formal methods and code synthesis for real time enactment. There is a plethora of development environments that support individual analysis methodologies; however, those that truly support multiple methods are not common -at least for academic purposes. Therefore complete studies of systems' properties often require
more » ... ies often require the mastery of several formalisms since no single methodology is sufficient to investigate all aspects of a system .We aim to provide an extensible framework that serves as a generic computational engine for studying different aspects of a broad range of systems that cut across disciplines. The kernel of the framework is a high level modeling language which acts as a generic front end that bridges the gap between all stakeholders using the state of the art in model-driven development. 3090 978-1-4673-9743-8/15/$31.00 ©2015 IEEE
doi:10.1109/wsc.2015.7408414 dblp:conf/wsc/AliyuT15 fatcat:l552dkdqdnfedptgu7kzwqnh5y