Modeling security aspects in distributed real-time component-based embedded systems

Proceedings of the 9th International Conference on Information Technology, ITNG 2012

Volumn , Issue , 2012, Pages 437-444

  Saadatmand, Mehrdad ^a   Leveque, Thomas ^b  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b ORANGE LABS   (France)

Author keywords

Component model; Embedded systems; Model Driven Development; Security

Indexed keywords

COMPONENT BASED; COMPONENT MODEL; COMPONENT-BASED SOFTWARE DEVELOPMENT; META MODEL; MODEL DRIVEN DEVELOPMENT; MODEL SECURITY; MODEL-DRIVEN ENGINEERING; RESOURCE CONSUMPTION; SECURITY; SECURITY IMPLEMENTATIONS; SECURITY REQUIREMENTS; SENSITIVE DATAS; TIMING ANALYSIS;

DATA FLOW ANALYSIS; INFORMATION TECHNOLOGY;

EMBEDDED SYSTEMS;

EID: 84863908276     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITNG.2012.103     Document Type: Conference Paper

References (20)

1. M. Voelter, C. Salzmann, and M. Kircher, "Model driven software development in the context of embedded component infrastructures," in Component-Based Software Development for Embedded Systems, ser. Lecture Notes in Computer Science, C. Atkinson, C. Bunse, H.-G. Gross, and C. Peper, Eds., vol. 3778. Springer Berlin / Heidelberg, 2005, pp. 143-163.
2. S. Gürgens, C. Rudolph, A. Maña, and S. Nadjm-Tehrani, "Security engineering for embedded systems: the secfutur vision," in Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems, ser. S&D4RCES '10. New York, NY, USA: ACM, 2010, pp. 7:1-7:6.
3. M. Torngren, D. Chen, and I. Crnkovic, "Component-based vs. model-based development: a comparison in the context of vehicular embedded systems," in Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on, aug.-3 sept. 2005, pp. 432-440.
4. B. Selic, "The pragmatics of model-driven development," IEEE Software, vol. 20, pp. 19-25, September 2003.
5. S. Sentilles, A. Vulgarakis, T. Bures, J. Carlson, and I. Crnkovic, "A Component Model for Control-Intensive Distributed Embedded Systems," in Proceedings of the 11th International Symposium on Component Based Software Engineering (CBSE2008), M. R. Chaudron and C. Szyperski, Eds. Springer Berlin, October 2008, pp. 310-317.
6. E. Albrechtsen, "Security vs safety," NTNU-Norwegian University of Science and Technology http://www.iot.ntnu.no/users/albrecht/, Accessed: May 2011.
7. P. Kocher, R. Lee, G. McGraw, and A. Raghunathan, "Security as a new dimension in embedded system design," in Proceedings of the 41st annual Design Automation Conference, ser. DAC '04. New York, NY, USA: ACM, 2004, pp. 753-760, moderator-Ravi, Srivaths.
8. A. Hjertström, D. Nyström, and M. Sjödin, "A data-entity approach for component-based real-time embedded systems development," in Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation, ser. ETFA'09. Piscataway, NJ, USA: IEEE Press, 2009, pp. 170-177.
9. A. Nadeem and M. Javed, "A performance comparison of data encryption algorithms," in Information and Communication Technologies, 2005. ICICT 2005. First International Conference on, aug. 2005, pp. 84-89.
10. S. Sentilles, P. Štěpán, J. Carlson, and I. Crnković, "Integration of Extra-Functional Properties in Component Models," in 12th International Symposium on Component Based Software Engineering. Springer, 2009.
11. I. Kurtev, "State of the art of QVT: A model transformation language standard," in Applications of Graph Transformations with Industrial Relevance, ser. Lecture Notes in Computer Science. Springer Berlin, 2008, vol. 5088, pp. 377-393.
12. T. Leveque, J. Carlson, S. Sentilles, and E. Borde, "Flexible semantic-preserving flattening of hierarchical component models," in 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). IEEE Computer Society, August 2011.
13. J. Jürjens, "Umlsec: Extending uml for secure systems development," in UML '02: Proceedings of the 5th International Conference on The Unified Modeling Language. London, UK: Springer-Verlag, 2002, pp. 412-425.
14. T. Lodderstedt, D. A. Basin, and J. Doser, "Secureuml: A uml-based modeling language for model-driven security," in Proceedings of the 5th International Conference on The Unified Modeling Language, ser. UML '02. London, UK: Springer-Verlag, 2002, pp. 426-441.
15. M. Saadatmand, A. Cicchetti, and M. Sjödin, "On the need for extending marte with security concepts," in International Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), March 2011.
16. MARTE specification version 1.0 (formal/2009-11-02), http://www.omgmarte. org.
17. J. Lloyd and J. Jürjens, "Security analysis of a biometric authentication system using umlsec and jml," in Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, ser. MODELS '09. Berlin, Heidelberg: Springer-Verlag, 2009, pp. 77-91.
18. S. Chollet, P. Lalanda, and G. Pedraza, "Secure Integration of Service-Oriented Application," September 2009.
19. M. Jensen and S. Feja, "A security modeling approach for web-service-based business processes," in Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ser. ECBS '09. Washington, DC, USA: IEEE Computer Society, 2009, pp. 340-347.
20. J. Lee, K. Kapitanova, and S. H. Son, "The price of security in wireless sensor networks," Journal of Computer Networks, vol. 54, pp. 2967-2978, December 2010.