Many years of research on dependable, fault-tolerant software systems yielded many tool implementations for vulnerability analysis and experimental validation of resilience measures. We identify two disjoint classes o...
详细信息
Type-safe high-level languages such as Java have not yet found their way into the domain of deeply embedded systems, even though numerous attempts have been made to make these languages cost attractive. One major chal...
详细信息
Type-safe high-level languages such as Java have not yet found their way into the domain of deeply embedded systems, even though numerous attempts have been made to make these languages cost attractive. One major chal...
详细信息
Type-safe high-level languages such as Java have not yet found their way into the domain of deeply embedded systems, even though numerous attempts have been made to make these languages cost attractive. One major challenge that remains is the huge existing code base in many industries. Completely reengineering this code base is not viable for cost and time reasons. We present an approach that allows to isolatedly combine legacy software components and safe software components in an embedded system using the two most common communication idioms found in this domain. Our approach allows the developer to freely choose between hardware- and software-based isolation mechanisms. We demonstrate the feasibility of our approach by porting a non-trivial part of a real-world, hard real-time embedded avionics application. Our results show that the cost of this mixed-mode operation is on the same scale as the pure operation.
Puma is a framework for the development of applications that analyze and optionally transform C or C++ source code. It supports all standard ISO C and C++ language features as well as many language extensions of the G...
详细信息
In this paper we present a prototype of the RTSC - the Real-Time System Compiler. The RTSC is a compiler-based tool that leverages the migration from event-triggered to time-triggered real-time systems. For this purpo...
详细信息
In this paper we present a prototype of the RTSC - the Real-Time System Compiler. The RTSC is a compiler-based tool that leverages the migration from event-triggered to time-triggered real-time systems. For this purpo...
详细信息
In this paper we present a prototype of the RTSC - the Real-Time System Compiler. The RTSC is a compiler-based tool that leverages the migration from event-triggered to time-triggered real-time systems. For this purpose, it uses an abstraction called Atomic Basic Blocks (ABBs) which is used to capture all relevant dependencies of the event-triggered system in a so-called ABB-graph. This ABB-graph is transformed by the RTSC and finally mapped to a statically computed schedule that could be executed by standard time-triggered real-time operatingsystems. Moreover, we demonstrate the applicability of our approach and the operation of our prototype by transforming the event-triggered implementation of a real-world embedded system into a trime-triggered equivalent.
Security and privacy threats in technological environment are great hindrances to use latest technologies for our benefits. Such threats also exist in RFID systems which are currently utilized to a great extent in ubi...
详细信息
In ubiquitous computing, dynamic adaptation and the evolvability of software become increasingly important. This paper proposes AOCI, an aspect-oriented component infrastructure that combines the core ideas of aspect-...
详细信息
ISBN:
(纸本)9781605583693
In ubiquitous computing, dynamic adaptation and the evolvability of software become increasingly important. This paper proposes AOCI, an aspect-oriented component infrastructure that combines the core ideas of aspect-oriented programming (AOP) and component based systems. Components are usually considered as black boxes that can be combined to form complex systems. In the context of our infrastructure, components export possible points of adaptation, which are tagged with ontological information. This information enables the use of AOP techniques without detailed knowledge about the component's internals, enabling distributed and dynamic adaptation. Copyright 2008 ACM.
Wireless mesh networks are a special kind of ad hoc networks in which most nodes are static. The application purpose of wireless mesh networks is also different than that of ad hoc networks and is focused on broadband...
详细信息
Wireless mesh networks are a special kind of ad hoc networks in which most nodes are static. The application purpose of wireless mesh networks is also different than that of ad hoc networks and is focused on broadband access services to the Internet. Recent studies have shown that nodes in a wireless mesh network have to be equipped with several radio interfaces for high performance. However, one of the challenges that still faces high performance wireless mesh networks is the capacity reduction due to interference of wireless links. In this paper, we address the problem of assigning channels to nodes in wireless mesh networks. For this, we propose and study the cluster channel assignment (CCA) approach with the goal of reducing the network interference to increase the overall network performance.
Wireless mesh networks (WMNs) are an emerging technology which provides broadband wireless access services. One of the challenges that still faces high performance WMNs is the capacity reduction due to interference of...
详细信息
Wireless mesh networks (WMNs) are an emerging technology which provides broadband wireless access services. One of the challenges that still faces high performance WMNs is the capacity reduction due to interference of wireless links. In this paper, we address the problem of assigning channels to nodes in WMNs. For this, we introduce the cluster channel assignment (CCA) approach with the objective of reducing network interference to increase the overall network performance. A clustering approach is employed in order to reduce the complexity of channel assignment into local problems within clusters and taking the advantage of the possibility to reuse the channels in different clusters.
暂无评论