Tambe, S., A. Dabholkar, and A. Gokhale,
"MoPED: A Model-based Provisioning Engine for Dependability in Component-based Distributed Real-time Embedded Systems",
18th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS 2011),, Las Vegas, NV, USA, 04/2011.
Download: MoPED.pdf (1.29 MB)
Roy, N., A. Dabholkar, L. Dowdy, and D. Schmidt,
"Modeling Software Contention using Colored Petri Nets",
Proceedings of the 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Baltimore, MD, USA, 09/2008.
Download: SoftwareContention.pdf (381.37 KB)