mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Modeling Security Aspects in Distributed Real-Time Component-Based Embedded Systems
Mälardalens högskola, Akademin för innovation, design och teknik. (Model-Based Engineering of Embedded Systems)ORCID-id: 0000-0002-1512-0844
Orange Labs, Meylan, France.
2012 (engelsk)Inngår i: Proceedings of the 9th International Conference on Information Technology, ITNG 2012, 2012, s. 437-444Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

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.

sted, utgiver, år, opplag, sider
2012. s. 437-444
Emneord [en]
Model-Driven Development, Component model, Embedded systems, Security.
HSV kategori
Forskningsprogram
datavetenskap
Identifikatorer
URN: urn:nbn:se:mdh:diva-14455DOI: 10.1109/ITNG.2012.103Scopus ID: 2-s2.0-84863908276ISBN: 978-076954654-4 (tryckt)OAI: oai:DiVA.org:mdh-14455DiVA, id: diva2:515518
Konferanse
9th International Conference on Information Technology, ITNG 2012; Las Vegas, 16 April 2012 through 18 April 2012
Tilgjengelig fra: 2012-04-13 Laget: 2012-04-13 Sist oppdatert: 2015-02-04bibliografisk kontrollert
Inngår i avhandling
1. Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems
Åpne denne publikasjonen i ny fane eller vindu >>Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems
2012 (engelsk)Licentiatavhandling, med artikler (Annet vitenskapelig)
Abstract [en]

Design of real-time embedded systems is a complex and challenging task. Part of this complexity originates from their limited resources which incurs handling a big range of Non-Functional Requirements (NFRs). Therefore, satisfaction of NFRs plays an important role in the correctness of the design of these systems. Model-driven development has the potential to reduce the design complexity of real-time embedded systems by increasing the abstraction level, enabling analysis at earlier phases of development and code generation. In this thesis, we identify some of the challenges that exist in model-driven development of real-time embedded systems with respect to NFRs, and provide techniques and solutions that aim to help with the satisfaction of NFRs. Our end goal is to ensure that the set of NFRs defined for a system is not violated at runtime.

First, we identify and highlight the challenges of modeling NFRs in telecommunication systems and discuss the application of a UML-based approach for modeling them. Since NFRs have dependencies, and the design decisions to satisfy them cannot be considered in isolation, we propose a model-based approach for trade-off analysis of NFRs to help with the comparison of different design models with respect to the satisfaction level of their NFRs. Following the issue of evaluating the interdependencies of NFRs, we also propose solutions for establishing and maintaining balance between different NFRs. In this regard, we categorize our suggested solutions into static and dynamic. The former refers to a static design and set of features which ensures and guarantees the balance of NFRs, while the latter means establishing balance at runtime by reconfiguring the system and runtime adaptation. Finally, we discuss the role of the execution platform in preservation and monitoring of timing properties in real-time embedded systems and propose an approach to enrich the platform with necessary mechanisms for monitoring them.

sted, utgiver, år, opplag, sider
Västerås: Mälardalen University, 2012
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 150
Emneord
non-functional requirements, model-driven development, real-time, embedded systems
HSV kategori
Forskningsprogram
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-14533 (URN)978-91-7485-066-6 (ISBN)
Presentation
2012-05-11, Kappa, Mälardalen University, Västerås, 13:15 (engelsk)
Opponent
Veileder
Prosjekter
CHESS
Tilgjengelig fra: 2012-04-26 Laget: 2012-04-25 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Saadatmand, Mehrdad

Søk i DiVA

Av forfatter/redaktør
Saadatmand, MehrdadLeveque, Thomas
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 64 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf