Optimal and adaptive testing with cost constraints
Proceedings of the 2006 international workshop on Automation of software test
Hi-index | 0.00 |
A procedure for synthesizing safety controllers for pervasivecomputing environments is described. Control-theoretictechniques are used in the synthesis. We describethe notions of Connected Spaces and Digital Device Manualsfor modeling pervasive computing environments anddevices, respectively. The safety requirements for the environmentare specified as a set of safety policies. Thesafety policies are enforced by the safety controller. The notionsof policy relaxation cost of the safety policies andsafety criticality ranking of the devices are novel to thiswork. An experimental evaluation of the synthesis procedureis presented. Results show that the synthesis procedurescales linearly with respect to the density of the set of policies.