Abstract :
As part of the 15th International Workshop on Parallel and Distributed Real-Time Systems, 26-27 March 2007, Long Beach, CA, to be held in conjunction with IPDPS 2007, there will be a Special Session focused on the topic of Certification of Dynamic and Adaptive Systems. The verification, validation, and eventual certification of dynamic and adaptive systems is a challenging set of activities both intellectually and, at this time, physically, due to the limits of the state of research and technology in this area. Many more systems are being built using today´s dynamic technologies to achieve significant operational capabilities in a timely manner and yet some will need to operate safely and all will need to perform reliably. This is complicated further if these solutions need to do so in a low latency environment with little to no failure cases. The purpose of this session is to bring to light research and development being performed (or even, just being dreamed of) to look at the scalability problems with certifying dynamic and adaptive solutions.
