Title
Modeling Security Aspects in Distributed Real-Time Component-Based Embedded Systems
Abstract
Model Driven Engineering (MDE) and Component Based Software Development (CBSD) are promising approaches to deal with the increasing complexity of Distributed Real-Time Critical Embedded Systems. On one hand, the functionality complexity of embedded systems is rapidly growing. On the other hand, extra-functional properties (EFP) must be taken into account and resource consumption must be optimized due to limited resources. However, EFP are not independent and impact each other. This paper introduces concepts and mechanisms that allow to model security specifications and derive automatically the corresponding security implementations by transforming the original component model into a secured one taking into account sensitive data flow in the system. The resulted architecture ensures security requirements by construction and is expressed in the original meta model, therefore, it enables using the same timing analysis and synthesis as with the original component model.
Year
DOI
Venue
2012
10.1109/ITNG.2012.103
ITNG
Keywords
Field
DocType
functionality complexity,increasing complexity,corresponding security implementation,original component model,model driven engineering,original meta model,model security specification,account sensitive data flow,security requirement,modeling security aspects,software development,timing analysis,distributed programming,data models,object oriented programming,data flow analysis,meta model,software architecture,data flow,formal specification,component based software development,component model,computational modeling,real time systems,embedded systems,security,computer science
Computer science,Model-driven architecture,Data-flow analysis,Formal specification,Software architecture,Component-based software engineering,Metamodeling,Computer security model,Embedded system,Data flow diagram,Distributed computing
Conference
Citations 
PageRank 
References 
4
0.47
10
Authors
2
Name
Order
Citations
PageRank
Mehrdad Saadatmand14313.11
Thomas Leveque2718.01