Aspects of availability

9 years 5 months ago
Aspects of availability
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the allocation of resources. In our language, aspects can be seen as formal timed properties on execution traces. Programs and aspects are specified as timed automata and the weaving process as an automata product. The benefit of this formal approach is two-fold: the user keeps the semantic impact of weaving under control and (s)he can use a model-checker to optimize the woven program and verify availability properties. Categories and Subject Descriptors D.2.3 [Coding Tools and Techniques]: Structured programming; F.3.1 [Specifying and Verifying and Reasoning about Programs]; I.2.2 [Automatic Programming]: Program transformation General Terms Languages, Reliability, Security, Verification Keywords Aspect-Oriented Programming, Availability, Resource Management, Timed Automata, Weaving, Deni...
Pascal Fradet, Stéphane Hong Tuan Ha
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where GPCE
Authors Pascal Fradet, Stéphane Hong Tuan Ha
Comments (0)