HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Hi-index | 0.00 |
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.