Comparison of Component Frameworks for Real-Time Embedded Systems

Hošek, Petr; Pop, Tomáš; Bureš, Tomáš; Hnětynka, Petr; Malohlava, Michal

doi:10.1007/978-3-642-13238-4_2

Cited by 23 publications

(10 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…AUTOSAR [161] for automotive industry, ROBOCOP [162] for consumer electronics domains, and ProCom [163] for embedded systems focused on a class of such systems that perform real-time controlling tasks. Hošek et al [164,165] compare ten component frameworks focusing on those that provide support for execution. Besides general features related to component models and frameworks (e.g.…”

Section: Component-based Developmentmentioning

confidence: 99%

Security in Embedded Systems: A Model-Based Approach with Risk Metrics

Vasilevskaya¹

2015

View full text Add to dashboard Cite

Section: Component-based Developmentmentioning

confidence: 99%

Security in Embedded Systems: A Model-Based Approach with Risk Metrics

Vasilevskaya¹

2015

View full text Add to dashboard Cite

“…In [9], authors provide a detailed comparison of different component frameworks that are tailored towards real-time and embedded systems. For example, the Pervasive Component Systems (PECOS) [2], [10] project describes a component model for embedded systems and is specifically tailored to field devices.…”

Section: Related Workmentioning

confidence: 99%

F6COM: A component model for resource-constrained and dynamic space-based computing environments

Otte

Dubey

Pradhan

et al. 2013

16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2013)

View full text Add to dashboard Cite

Component-based programming models are wellsuited to the design of large-scale, distributed applications because of the ease with which distributed functionality can be developed, deployed, and validated using the models' compositional properties. Existing component models supported by standardized technologies, such as the OMG's CORBA Component Model (CCM), however, incur a number of limitations in the context of cyber physical systems (CPS) that operate in highly dynamic, resource-constrained, and uncertain environments, such as space environments, yet require multiple quality of service (QoS) assurances, such as timeliness, reliability, and security. To overcome these limitations, this paper presents the design of a novel component model called F6COM that is developed for applications operating in the context of a cluster of fractionated spacecraft. Although F6COM leverages the compositional capabilities and port abstractions of existing component models, it provides several new features. Specifically, F6COM abstracts the component operations as tasks, which are scheduled sequentially based on a specified scheduling policy. The infrastructure ensures that at any time at most one task of a component can be active -eliminating race conditions and deadlocks without requiring complicated and error-prone synchronization logic to be written by the component developer. These tasks can be initiated due to (a) interactions with other components, (b) expiration of timers, both sporadic and periodic, and (c) interactions with input/output devices. Interactions with other components are facilitated by ports. To ensure secure information flows, every port of an F6COM component is associated with a security label such that all interactions are executed within a security context. Thus, all component interactions can be subjected to Mandatory Access Control checks by a Trusted Computing Base that facilitates the interactions. Finally, F6COM provides capabilities to monitor task execution deadlines and to configure component-specific fault mitigation actions.

show abstract

“…AU-TOSAR [102] for automotive industry and ROBOCOP [103] for consumer electronics domains. Hošek et al [104] compare ten other component frameworks focusing on those that provide support for execution. Besides general features related to component models and frameworks (e.g.…”

Section: Component-based Developmentmentioning

confidence: 99%

Designing Security-enhanced Embedded Systems: Bridging Two Islands of Expertise

Vasilevskaya¹

2013

View full text Add to dashboard Cite

The increasing prevalence of embedded devices and a boost in sophisticated attacks against them make embedded system security an intricate and pressing issue. New approaches to support the development of security-enhanced systems need to be explored. We realise that efficient transfer of knowledge from security experts to embedded system engineers is vitally important, but hardly achievable in current practice. This thesis proposes a Security-Enhanced Embedded system Design (SEED) approach, which is a set of concepts, methods, and tools that together aim at addressing this challenge of bridging the gap between the two areas of expertise.First, we introduce the concept of a Domain-Specific Security Model (DSSM) as a suitable abstraction to capture the knowledge of security experts in a way that this knowledge can be later reused by embedded system engineers. Each DSSM characterises common security issues of a specific application domain in a form of security properties, which are further linked to a range of solutions.As a next step, we complement a DSSM with the concept of a Performance Evaluation Record (PER) to account for the resource-constrained nature of embedded systems. Each PER characterises the resource overhead created by a security solution, a provided level of security, and the evaluation technique applied.Finally, we define a process that assists an embedded system engineer in selecting a relevant set of security solutions. The process couples together (i) the use of the security knowledge accumulated in DSSMs and PERs, (ii) the identification of security issues in a system design, and (iii) the analysis of resource constraints of a system and available security solutions. The approach is supported by a set of tools that automate its certain steps.We use a case study from a smart metering domain to demonstrate how the SEED approach can be applied. We show that our approach adequately supports security experts in description of knowledge about security solutions in the form of formalised ontologies and embedded system engineers in integration of an appropriate set of security solutions based on that knowledge.

show abstract

Comparison of Component Frameworks for Real-Time Embedded Systems

Cited by 23 publications

References 11 publications

Security in Embedded Systems: A Model-Based Approach with Risk Metrics

Security in Embedded Systems: A Model-Based Approach with Risk Metrics

F6COM: A component model for resource-constrained and dynamic space-based computing environments

Designing Security-enhanced Embedded Systems: Bridging Two Islands of Expertise

Contact Info

Product

Resources

About