A history of discrete event simulation programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Kernel Ada to unify hardware and software design
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Markov Modeling for Reliability Analysis
Markov Modeling for Reliability Analysis
The Designer's Guide to VHDL
Software Model Checking: The VeriSoft Approach
Formal Methods in System Design
DEGAS: discrete event Gnu advanced scheduler
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
Hi-index | 0.00 |
This paper describes a powerful Ada pattern which, when integrated with the open-source DEGAS discrete event run-time, allows a developer to write and execute logic design models in a format similar to the VHDL language. The application of this approach to other formulations, including floating-point based simulations, provides a means to establish general design, analysis, and verification strategies to a range of discrete event domains using standard Ada constructs.