Aspects of availability

GPCE'07 - Proceedings of the Sixth International Conference on Generative Programming and Component Engineering

Volumn , Issue , 2007, Pages 165-174

  Fradet, Pascal ^a   Ha, Stéphane Hong Tuan ^b  

^a NRIA / LIG ^*

^b CEA LIST   (France)

Author keywords

Aspect oriented programming; Availability; Denial of service; Resource management; Timed automata; Weaving

Indexed keywords

ASPECT ORIENTED PROGRAMMING; TIMED AUTOMATA;

AUTOMATA THEORY; OPTIMIZATION; RESOURCE ALLOCATION; USER INTERFACES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 38849189928     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289971.1289999     Document Type: Conference Paper

References (25)

1. K. Altisen, F. Maraninchi, and D. Stauch. Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Program., 63(3):297-320, 2006.
2. R. Alur. Timed automata. In Computer Aided Verification, pages 8-22, 1999.
3. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
4. J. Bengtsson and W. Yi. Timed automata: Semantics, algorithms and tools. In Concurrency and Petri Nets, LNCS vol. 3098. Springer-Verlag, 2004.
5. W. Binder, J. G. Hulaas, and A. Villaz. Portable resource control in java. In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pages 139-155. ACM Press, 2001.
6. T. Colcombet and P. Fradet. Enforcing trace properties by program transformation. In Symposium on Principles of Programming Languages (POPV'00), pages 54-66, 2000.
7. F. Cuppens and C. Saurel. Towards a formalization of availability and denial of service. In Inf. Syst. Tech. Panel Symp. on Protecting Nato Information Systems in the 21st century, 1999.
8. R. Douence, P. Fradet, and M. Südholt. A framework for the detection and resolution of aspect interactions. In Proc. of Conference on Generative Programming and Component Engineering (GPCE'02), LNCS vol. 2487. Springer-Verlag, 2002.
9. R. Douence, P. Fradet, and M. Südholt. Trace-based aspects. In M. Aksit, S. Clarke, T. Elrad, and R. Filman, editors, Aspect-Oriented Software Development, pages 201-217. Addison-Wesley, 2004.
10. P. Fradet and S. Hong Tuan Ha. Network fusion. In Prog. Lang. and Syst.: Second Asian Symposium, (APLAS'04), LNCS vol. 3302, 2004.
11. e Journée sur le Développement de Logiciels Par Aspects (JFDLPA 2005), Sept. 2005.
12. P. Fradet and S. Hong Tuan Ha. Systèmes de gestion de ressources et aspects de disponibilité. L'Objet - Logiciel, bases de données, réseaux, 12(2-3):183-210, Sept. 2006.
13. S. Hong Tuan Ha. Programmation par aspects et tissage de propriétés. Application à l'ordonnancement et à la disponibilité. PhD thesis, Rennes University, Jan. 2007.
14. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. Lecture Notes in Computer Science, 2072:327-355, 2001.
15. J.-C. Laprie. Dependability: Basic Concepts and Terminology. Dependable Computing and Fault-Tolerant Systems. Springer, 1992.
16. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a nutshell. Int. J. on Software Tools for Technology Transfer; 1(1-2):134-152, 1997.
17. X. Li, T. Mitra, and A. Roychoudhury. Modeling control speculation for timing analysis. Real-Time Syst., 29(1):27-58, 2005.
18. J. Ligatti, L. Bauer, and D. Walker. Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Security, 4(1-2):2-16, 2005.
19. J. K. Millen. A resource allocation model for denial of service protection. Journal of Computer Security, 2(2), 1994.
20. V. K. Nandivada and J. Palsberg. Timing analysis of tcp servers for surviving denial-of-service attacks. In IEEE Real-Time and Embedded Technology and Applications Symp., pages 541-549, 2005.
21. P. Puschner and C. Koza. Calculating the maximum, execution time of real-time programs. Real-Time Syst., 1(2):.159-176, 1989.
22. J. Rushby. Critical system properties: Survey and taxonomy. Reliability Engineering and Systems Safety, 43(2): 189-219, 1994.
23. F. B. Schneider. Enforceable security policies. ACM Transactions on Information and System Security, 3(1):1-50, Feb. 2000.
24. H. Sipma. A formal model for cross-cutting modular transition systems. In Workshop on Foundations of Aspect-Oriented Languages (FOAL'03), 2003.
25. C.-F. Yu and V. D. Gligor. A specification and verification method for preventing denial of service. IEEE Trans. Soft. Eng., 16(6), 1990.