Model-based security and dependability patterns in RCES - The TERESA approach

ACM International Conference Proceeding Series

Volumn , Issue , 2010, Pages

  Hamid, Brahim ^a   Desnos, Nicolas ^a   Grepet, Cyril ^b   Jouvray, Christophe ^b  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b Trialog   (France)

Author keywords

Dependability; Meta model; Model driven engineering; Pattern; Resource constrained embedded systems; Security; UML profiles

Indexed keywords

DEPENDABILITY; META MODEL; MODEL DRIVEN ENGINEERING; PATTERN; RESOURCE-CONSTRAINED; SECURITY; UML PROFILES;

TECHNICAL PRESENTATIONS; UNIFIED MODELING LANGUAGE;

EMBEDDED SYSTEMS;

EID: 78650464838     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1868433.1868444     Document Type: Conference Paper

References (20)

1. G. Sunyé A. L. Guennec and J-M. Jezequel. Precise modeling of design patterns. Springer-Verlag, 2000.
2. C. Alexander S. Ishikawa, and M. Silverstein. A Pattern Language, volume 2 of Center for Environmental Structure Series. Oxford University Press, New York, NY, 1977.
3. G. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture: a system of patterns, volume 1. John Wiley and Sons, 1996.
4. S. Ghosh D-K Kim, R. France and E. Song. A uml-based meta-modeling language to specify design patterns. 2004.
5. J. Grundy D. Mapelsden, J. Hosking. Design pattern modelling and instantiation using dpml. In CRPIT'02: Proceedings of the Fortieth International Conference on Tools Pacific, pages 3-11. Australian Computer Society, Inc., 2002.
6. F. Daniels. The reliable hybrid pattern: A generalized software fault tolerant design pattern. 1997.
7. A. H. Eden, E. Gasparis, J. Nicholson. Lepus3: An object-oriented design description language. In In: Gem Stapleton et al. (eds.) DIAGRAMS, LNAI 5223, page 364-367, 2008.
8. F. Fondement and R. Silaghi. Defining model driven engineering processes. In in Proceedings of WISME, 2004.
9. E. Gamma, R. Helm, R. E. Johnson, and J.Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
10. V. Di Giacomo and al. Using security and dependability patterns for reaction processes. pages 315-319. IEEE Computer Society, 2008.
11. T.A. Henzinger. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A, 366:3727-3736, 2008.
12. H. Kopetz. The complexity challenge in embedded system design. In ISORC, pages 3-12, 2008.
13. S. Ravi, A. Raghunathan, P. Kocher, and S. Hattangady. Security in embedded systems: Design challenges. ACM Trans. Embed. Comput. Syst., 3(3):461-491, 2004.
14. D. Schmidt. Model-driven engineering. in IEEE computer, 39(2):41-47, 2006.
15. M. Schumacher. Security Engineering with Patterns - Origins, Theoretical Models, and New Applications, volume 2754 of Lecture Notes in Computer Science. Springer, 2003.
16. D. Serrano, A. Mana, and A-D Sotirious. Towards precise and certified security patterns. In Proceedings of 2nd International Workshop on Secure systems methodologies using patterns (Spattern 2008), pages 287-291. IEEE Computer Society, September 2008.
17. M. Tichy and al. Design of self-managing dependable systems with uml and fault tolerance patterns. pages 05-109. ACM, 2004.
18. J. Yoder and J. Barcalow. Architectural patterns for enabling application security. In Conference on Pattern Languages of Programs (PLoP 1997), 1998.
19. N. Yoshioka, H. Washizaki, and K. Maruyama. A survey of security patterns. Progress in Informatics, (5):35-47, 2008.
20. R. Zurawski. Embedded systems. CRC Press Inc, 2005.