AutoDEVS: A Methodology for Automating M&S Software Development and Testing of Interoperable Systems
Despite the increasing use of software system development methodologies that follow a highly structured and systematic process, there remain critical limitations that need more advanced treatment. One such limitation is the failure to explicitly incorporate Modeling and Simulation (M&S) methodology which becomes essential as the scale of systems under development exceeds the range supported by analytical tools. Other limitations include lack of automation to reduce routine work and incoherence among the abstractions developed at various stages in development. Originally introduced as formalism for discrete event modeling and simulation, the DEVS (Discrete EVent System Specification) methodology has become an engine for advances within the wider area of information technology.