Sciweavers

SCP
2010

Aspects of availability: Enforcing timed properties to prevent denial of service

13 years 4 months ago
Aspects of availability: Enforcing timed properties to prevent denial of service
We propose a domain-specific aspect language to prevent denial 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. This article presents the main approach (programs, aspects, weaving) formally using timed safety automata. The specification of resources, optimizations and verification are sketched in a more intuitive fashion. Even if a concrete implementation remains as future work, we address some high-level implementation issues and illustrate the approach by small examples and a case study. Key words: Aspect...
Pascal Fradet, Stéphane Hong Tuan Ha
Related Content
Added 21 May 2011
Updated 21 May 2011
Type Journal
Year 2010
Where SCP
Authors Pascal Fradet, Stéphane Hong Tuan Ha
Comments (0)