Reconfigurable systems have the potential to combine the performance of ASICs with the flexibility of software. The architecture presented in this paper offers a new concept for reconfiguration by operating self-timed...
详细信息
ISBN:
(纸本)1402081480
Reconfigurable systems have the potential to combine the performance of ASICs with the flexibility of software. The architecture presented in this paper offers a new concept for reconfiguration by operating self-timed and self-controlling. Data is routed together with its control information in a so-called packet through the operator network to make local decisions concerning the behavior of the network. Therefore, we can realize different paths without a central control unit. In this paper, we describe the architecture from the aspect of reconfiguration. An example shows the architecture in practical operation.
This paper presents the provision of an internet premium service on different format output devices, which are embedded devices. In particular, we developed a tool for automatic generation of different profile dependi...
详细信息
ISBN:
(纸本)1402081480
This paper presents the provision of an internet premium service on different format output devices, which are embedded devices. In particular, we developed a tool for automatic generation of different profile depending target formats, which are used to present the service information on distributed mobile embedded devices like mobile phones, personal digital assistants (PDAs) or smart phones. In this approach XML-[Extensible Markup Language]-based user interface descriptions will be transcoded into other target formats. Used examples are cHTML [compact Hypertext Markup language] for web-enabled mobile devices and WML [Wireless Markup language for WAP Wireless Application Protocol]-enabled mobile devices.
The paper presents an approach for realizing high-level Petri net models in SystemC. The approach contributes to an existing methodology for the Petri net based design of distributedembedded real-time systems. It is ...
详细信息
ISBN:
(纸本)1402081480
The paper presents an approach for realizing high-level Petri net models in SystemC. The approach contributes to an existing methodology for the Petri net based design of distributedembedded real-time systems. It is intended to be a vehicle for realizing Petri net components in hardware. The paper describes the use of standard SystemC language constructs to realize the execution of a high-level Petri net, which is assumed to be separated into partitions. Besides techniques for realizing the mechanisms of Petri net execution, the integration of the code generation into the overall design flow is discussed. To demonstrate the effectiveness of our approach we use the inverse discrete cosine transformation (IDCT) that is part of the MPEG-2 algorithm.
embedded real-time systems are being increasingly used in a major part of critical applications. In these systems, critical real-time constraints must be satisfied even in the presence of failures. In this paper, we p...
详细信息
ISBN:
(纸本)1402081480
embedded real-time systems are being increasingly used in a major part of critical applications. In these systems, critical real-time constraints must be satisfied even in the presence of failures. In this paper, we present a new method-based on graph transformation that introduces fault-tolerance in building embedded real-time systems. The proposed method targets distributed architecture and can tolerate a fixed number of arbitrary processors and communication links failures. Because of the resource limitation in embeddedsystems, our method uses a software-based replication technique to provide fault-tolerance. Finally, since we use graph transformation to perform replication, our method may be used by any off-line distribution-scheduling algorithm to generate a fault-tolerant distributed schedule.
There are two general approaches for scheduling tasks in real-time systems: runtime and pre-runtime scheduling. However, there are several situations where the runtime approach does not find a feasible schedule even i...
详细信息
ISBN:
(纸本)1402081480
There are two general approaches for scheduling tasks in real-time systems: runtime and pre-runtime scheduling. However, there are several situations where the runtime approach does not find a feasible schedule even if such a schedule exists. The proposed approach uses state space exploration for finding a pre-runtime scheduling. The main problem with such methods is the space size, which can grow exponentially. This paper shows how to minimize this problem, and presents a depth-first search method on a timed labeled transition system derived from the time Petri net model.
System level design incorporating system modeling and formal specification in combination with formal verification can substantially contribute to the correctness and quality of the embeddedsystems and consequently h...
详细信息
ISBN:
(纸本)1402081480
System level design incorporating system modeling and formal specification in combination with formal verification can substantially contribute to the correctness and quality of the embeddedsystems and consequently help reduce the development costs. Ensuring the correctness of the designed system is, of course, a crucial design criterion especially when complex distributed (real-time) embeddedsystems are considered. Therefore, this paper aims at presenting a verification framework designated for formal verification and validation of UML-based design of embeddedsystems. It first introduces an approach of using the AsmL language for acquiring formal models of the UML semantics and consequently presents an on-the-fly model checking technique designed to run the formal verification directly over those semantic models.
Resource partitioning is used to run several independent applications on the same hardware while avoiding error propagation. However, classical methods of validation and design are not adapted to this technique, so ne...
详细信息
ISBN:
(纸本)1402081480
Resource partitioning is used to run several independent applications on the same hardware while avoiding error propagation. However, classical methods of validation and design are not adapted to this technique, so new methods have to be elaborated. In this paper, we define four utilization bounds, which give sufficient conditions to guarantee an execution sequence without timing faults as long as the utilization rate of the system remains under the bound. They can of course be used to validate a system with partitions, but the fact that they are based on a partial knowledge of the system allows to use them during system design. This latter point is interesting since we can thus validate a system whose parameters are not yet completely defined, which can greatly reduce the cost by avoiding many backtracks in development cycle.
In the context of real-time fault-tolerant architecture, as TTA (Time-Triggered Architecture), the temporal validation of the system behavior is very important. Indeed, the fault-tolerant mechanism execution must resp...
详细信息
ISBN:
(纸本)1402081480
In the context of real-time fault-tolerant architecture, as TTA (Time-Triggered Architecture), the temporal validation of the system behavior is very important. Indeed, the fault-tolerant mechanism execution must respects several temporal constraints. To validate the mechanism behaviors, and to give their maximum execution time (temporal bound), we propose here a temporal validation methodology for TTA. This methodology uses the UPPAAL tool, based on the timed automata and the model-checking analysis. This methodology allows us to extract the temporal hounds of the TTA services.
An important step during the design of embeddedsystems is to allocate suitable architectural components and to optimally bind functions (tasks) to these components. This design step is called system synthesis. The au...
详细信息
ISBN:
(纸本)1402081480
An important step during the design of embeddedsystems is to allocate suitable architectural components and to optimally bind functions (tasks) to these components. This design step is called system synthesis. The automation of system synthesis is limited in recent research by developing models only for standard optimization algorithms. This paper describes the first approach to improve a standard optimization technique itself for the use in embedded system design. Our solution extends the heuristic optimization algorithm tabu search by multiobjective optimization. Using the multiobjective approach, domain specific heuristics could easily be included into the algorithm. By performing experiments with the new algorithm, a new effect was discovered: In contrast to known results from literature, the quality of optimization was depending on the size of the neighborhood if the moves in the neighborhood were sorted by domain specific estimation.
Moving from code-centric to model-centric development seems to be a promising way to cope with the increasing complexity of embedded real-time systems. The Object Management Group (OMG) has been recently promoting thi...
详细信息
ISBN:
(纸本)1402081480
Moving from code-centric to model-centric development seems to be a promising way to cope with the increasing complexity of embedded real-time systems. The Object Management Group (OMG) has been recently promoting this approach, known as Model Driven Architecture (MDA). It relies on UML model refinement and transformation as the basic step of an iterative design process. This model-centric posture has raised many questions, among which the need for an integrated MDA-based developing environment is probably the most severe one. It directly affects the reality of the adoption of this good practice by software engineers. For several years, the CEA-LIST has been involved in the field of real-time systems research and development. This work resulted in the completion of the Accord/UML toolkit, which aims at providing users with a model-driven method and supporting tools. This paper outlines the Accord/UML approach focusing on the solving of complex real-time/embeddedsystems development issues in this MDA process.
暂无评论