ABSTRACT
DEGAS provides discrete-event scheduling capability to a GNAT Ada program without requiring extra calls to a simulation library. We accomplish this by intercepting all calls destined for the pthread library and then rerouting them to the dynamically linked DEGAS library; this allows a developer to switch between real-time and discrete-event modes at runtime in a non-intrusive manner. DEGAS narrows the separation between simulation and real time applications, and has significant implications for software that includes elements of concurrency, synchronization, and time. We foresee applications that go beyond simulations, including executable specifications, algorithm development, and system verification.
- Adya, A., Howell, J., Theimer,M., Bolosky, W.J., and Douceur, J.R., Cooperative Task Management without Manual Stack Management or, Event-driven Programming is Not the Opposite of Threaded Programming, Proceedings of the 2002 Usenix Annual Technical Conference. Google Scholar
Digital Library
- AdaCore, Inc. http://adacore.com. 104 Fifth Ave., 15th floor, New York, NY, 10011, USA.Google Scholar
- Blasi, A.D., Colucci, F., and Mariani, R. Y-CAN Platform: A Reusable Platform for Design, Verification, and Validation of CAN-based Systems on a Chip. In Proceedings of the European Test Workshop (ETW 2003).Google Scholar
- Bounker, P., Brabbs, J., and Adams, C. Low Cost Embedded Simulation System for Ground Vehicles. In Proceedings of the 1999 Interservice/Industry Training,Simulation and Education Conference (CD-ROM), National Training Systems Association, Orlando, FL, November 1999.Google Scholar
- Fishman, G.S. Concepts and Methods in Discrete Event Digital Simulation. John Wiley & Sons Inc, 1973.Google Scholar
- Goble, J. Modsim III, A Tutorial. In Proceedings of the 1997 Winter Simulation Conference (WSC '97), (Atlanta, GA, USA, Dec. 7-10, 1997). 601--605. Google Scholar
Digital Library
- Godefroid, P. Software Model Checking: The Verisoft Approach. Formal Methods in System Design, 26, 2 (March 2005), 250--255. Kluwer Academic Publishers, Hingham, MA, USA. Google Scholar
Digital Library
- Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985. Google Scholar
Digital Library
- Holzmann, G.J. The SPIN Model Checker. Addison-Wesley Professional, Boston, MA, USA. Sept. 2003.Google Scholar
- Kavi, K.M., Moshtaghi, A., and Chen, D.J. Modeling Multithreaded Applications Using Petri Nets. International Journal of Parallel Programming, 30, 5 (Oct. 2002), 353--371. Kluwer Academic Publishers, Norwell, MA, USA. Google Scholar
Digital Library
- Lee, E.A. The Problem with Threads. Technical Report, UCB/EECS-2006-1, University of California, Berkeley, CA. Jan., 2006.Google Scholar
Digital Library
- Nance, R. E. A History of Discrete-Event Simulation Programming Languages. In Proceeedings of the Second ACM SIGPLAN Conference on History of Programming Languages ('93), (Cambridge, MA, USA, 1993). 149--175. Google Scholar
Digital Library
- Overstreet, M.C and Nance, R.E. Characterizations and Relationships of World Views. In Proceedings of the 2004 Winter Simulation Conference (WSC. '04), (Washington D.C., USA, Dec. 5-8, 2004). IEEE Press. 279--287. Google Scholar
Digital Library
- Pukite, J. and Pukite P.R., Modeling for Reliability Analysis, Wiley-IEEE Press, 1998. Google Scholar
Digital Library
- Schwetman, H. CSIM19: A Powerful Tool for Building System Models. In Proceedings of the 2001 Winter Simulation Conference (WSC '01), (Arlington, VA., Dec. 9--12, 2001). IEEE Computer Society. 250--255. Google Scholar
Digital Library
- Sjoland, M, Thyselius, R., and Sjoland, B. Adam, an Ada Simulation Library. In Proceedings of the Conference on TRI-Ada ('91). (San Jose, CA., USA.1991). ACM Press, New York, NY, USA. Google Scholar
Digital Library
Index Terms
DEGAS: discrete event Gnu advanced scheduler
Recommendations
DEGAS: discrete event Gnu advanced scheduler
DEGAS provides discrete-event scheduling capability to a GNAT Ada program without requiring extra calls to a simulation library. We accomplish this by intercepting all calls destined for the pthread library and then rerouting them to the dynamically ...
Generic discrete event simulations using D<scp>EGAS</scp>:: application to logic design and digital signal processing
SIGAda '07This 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 ...
Generic discrete event simulations using D<scp>EGAS</scp>:: application to logic design and digital signal processing
SIGAda '07: Proceedings of the 2007 ACM international conference on SIGAda annual international conferenceThis 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 ...







Comments