IFIP
2010
Springer
13 years 6 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
IFIP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
IFIP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
IFIP
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we present new concepts to resolve ECU (Electronic Control Unit) failures in FlexRay networks. Our approach extends the FlexRay bus schedule by redundant slots with m...
IFIP
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we present a novel two-stage method to realize a lightweight but very capable hardware implementation of a Learning Classifier System for on-chip learning. Learning C...
IFIP
2010
Springer
13 years 6 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
IFIP
2010
Springer
13 years 6 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
IFIP
2010
Springer
13 years 6 months ago
2010
Springer
IFIP
2010
Springer
13 years 6 months ago
2010
Springer
IFIP
2010
Springer
13 years 6 months ago
2010
Springer