This book constitutes the refereed proceedings of the ifiptc10workingconference on distributed and parallelembeddedsystems, held at the 20th World Computer Congress inMilan, Italy on September 7-10, 2008. The IF...
ISBN:
(数字)9780387096612
ISBN:
(纸本)9780387096605
This book constitutes the refereed proceedings of the ifiptc10workingconference on distributed and parallelembeddedsystems, held at the 20th World Computer Congress inMilan, Italy on September 7-10, 2008. The ifip series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the ifip series is to encourage education and the dissemination and exchange of information about all aspects of computing.
The proceedings contain 28 papers. The special focus in this conference is on distributed and parallelembeddedsystems. The topics include: Pulsed data streams;from time-triggered to time-deterministic real-time syst...
ISBN:
(纸本)9780387393612
The proceedings contain 28 papers. The special focus in this conference is on distributed and parallelembeddedsystems. The topics include: Pulsed data streams;from time-triggered to time-deterministic real-time systems;lazy scheduling for energy harvesting sensor nodes;transient processor/bus fault tolerance for embeddedsystems: With hybrid redundancy and data fragmentation;distributed timed multitasking - a model of computation for hard real-time distributedsystems;iterative refinement approach for QoS-aware service configuration;a fast and efficient isomorphic task allocation scheme for k-ary n-cube systems;communication-aware component allocation algorithm for a hybrid architecture;some issues in model-based development for embedded control systems;multi-objective design space exploration of embedded system platforms;dynamic memory management for embedded real-time systems;reliability-aware power management of multi-core processors;Evaluating energy-aware task allocation strategies for MPSoCs;integration of energy reduction into high-level synthesis by partitioning;a demonstration case on the transformation of software architectures for service specification;model-based analysis of a windmill communication system;pre-runtime scheduling considering timing and energy constraints in embeddedsystems with multiple processors;a hierarchical approach for power management on mobile embeddedsystems;MDE benefits for distributed, real time and embeddedsystems;reifying the semantic domains of component contracts;model-based test selection for infinite state reactive systems;continuous engineering of embeddedsystems;prototyping an ambient light system - a case study;the paderkicker team: Autonomy in realtime environments;modular compilation of synchronous programs;preface.
embeddedsystems envelopment are currently being challenged to provide global solutions that reconcile three conflicting agendas: enrichment/refinement of system functionalities, reduction of time-to-market and produc...
详细信息
This presentation aims to discuss the needs for better and more solid foundations of model-based development in embedded control systems. Three particular points are discussed: a comparison between model-based develop...
详细信息
In this paper, a pre-runtime scheduling approach for hard real-time embeddedsystems with multiple processors is presented considering stringent timing and energy constraints. This paper adopts a formal approach, base...
详细信息
This paper proposes a new communication primitive for distributedembedded control systems: the pulsed data stream. A pulsed data stream is a time-triggered cyclic unidirectional data stream that is transmitted for a ...
详细信息
The paper presents a new type of system architecture for distributedembeddedsystems, whereby a system is composed from embedded actors that communicate transparently by exchanging labeled messages (signals), indepen...
详细信息
We investigate the late phases of the embeddedsystems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle t...
详细信息
Dynamic memory storage has been widely used during years in computer science. However, its use in real-time systems has not been considered as an important issue because the spatial and temporal worst case for allocat...
详细信息
暂无评论