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 Saadatmand | 1 | 43 | 13.11 |
Thomas Leveque | 2 | 71 | 8.01 |