ConFiRM-DRTS: a certification framework for dynamic resource management in distributed real-time systems

In this paper, we propose an integrated framework for certifying dynamic resource management architecture and associated algorithms in distributed real-time and embedded systems. This paper is in response to a call for solution to challenge problem at the WPDRTS 2003. The proposed solution attempts to address the certification problem from two angles: (1) how to certify a given system; (2) design for certifiability. Toward solving the problem, the framework identifies some key techniques and tools that are mathematically provable and others that are ad-hoc in nature for verifying the key properties of the system. We discuss each technique in detail and also provide a case study focusing on design for certifiability aspect.