A simulation algorithm for dynamic structure DEVS modeling
Real-Time System (RTS) correctness and timeliness are critical. Modeling and Simulation techniques have been widely used for testing particular conditions on these systems. Recently, the DEVS formalism has been successfully used as a framework for RTS validation. Nevertheless, we need to address dyn...
Saved in:
Published in | Winter Simulation Conference: Proceedings of the 38th conference on Winter simulation; 03-06 Dec. 2006 pp. 815 - 822 |
---|---|
Main Authors | , |
Format | Conference Proceeding |
Language | English |
Published |
01.01.2006
|
Online Access | Get full text |
Cover
Loading…
Summary: | Real-Time System (RTS) correctness and timeliness are critical. Modeling and Simulation techniques have been widely used for testing particular conditions on these systems. Recently, the DEVS formalism has been successfully used as a framework for RTS validation. Nevertheless, we need to address dynamic adaptation to dynamic changes in the environment. Dynamic Structure DEVS focuses on the possibility to change system structure dynamically according to the system real requirements, which is useful for RTS (in which sometimes it is impossible to interfere with the running of the system, and auto-adaptation is needed). We present a new algorithm derived from the DSDE and the dynDEVS formalisms. We use the DSDE formal specifications, and parts of the dynDEVS simulation algorithms. |
---|---|
Bibliography: | ObjectType-Conference Paper-1 SourceType-Conference Papers & Proceedings-1 content type line 25 |
ISBN: | 9781424405015 1424405017 |
DOI: | 10.1145/224401.224731 |