The proceedings contain 32 papers. The special focus in this conference is on Model based Design Methods, Design Space Exploration, Design Methodologies and User Interfaces, Networks and Communication, Scheduling and ...
ISBN:
(纸本)1402081480
The proceedings contain 32 papers. The special focus in this conference is on Model based Design Methods, Design Space Exploration, Design Methodologies and User Interfaces, Networks and Communication, Scheduling and Resource Management, Fault Detection and Fault Tolerance, and Verification and Analysis. The topics include: MDA platform for complex embeddedsystems development;on detecting deadlocks in large UML models;verification framework for UML-based design of embeddedsystems;modeling and verification of hybrid systems based on equations;distribution of time interval between successive interrupt requests;a membership agreement algorithm detecting and tolerating asymmetric timing faults;an active replication scheme that tolerates failure in distributedembedded real-time systems;development of distributed automotive software;a software architecture and supporting kernel for largely synchronously operating sensor networks;a novel approach for off-line multiprocesor scheduling in embedded hard real-time systems;hardware synthesis of a parallel JPEG decoder from its functional specification;a self-controlled and dynamically reconfigurable architecture;a multiobjective tabu search algorithm for the design space exploration of embeddedsystems;design space exploration with automatic generation of IP-based embedded software;a multi-level design pattern for embedded software;internet premium services for flexible format distributed services;evaluating high-level models for real-time embeddedsystems design;engineering concurrent and reactive systems with distributed real-time abstract state machines;the implications of real-time behavior in networks-on-chip architectures and ME64 - a parallel hardware architecture for motion estimation implemented in FPGA.
Design Methods and Applications for distributedembeddedsystems : ifip 18Th World Computer Congress : tc10workingconference on distributed and parallelembeddedsystems (dipes2004), 22 - 27 August 2004, Toulouse, ...
详细信息
Design Methods and Applications for distributedembeddedsystems : ifip 18Th World Computer Congress : tc10workingconference on distributed and parallelembeddedsystems (dipes2004), 22 - 27 August 2004, Toulouse, France by tc10workingconference on distributed; parallelembeddedsystems (2004 : Toulouse, France); Kleinjohann, Bernd; ifip World Computer Congress (18Th : 2004 : Toulouse, France); published by Boston : Kluwer Academic Publishers
The proceedings contain 21 papers. The special focus in this conference is on distributed and parallelembeddedsystems. The topics include: Hierarchically distributing embeddedsystems for improved autonomy;sorting u...
ISBN:
(纸本)9780387096605
The proceedings contain 21 papers. The special focus in this conference is on distributed and parallelembeddedsystems. The topics include: Hierarchically distributing embeddedsystems for improved autonomy;sorting units for FPGA-based embeddedsystems;error-exploiting video encoder to extend energy/QoS tradeoffs for mobile embeddedsystems;specification-based verification of embeddedsystems by automated test case generation;analysis of periodic clock relations in polychronous systems;formal correctness of an automotive bus controller implementation at gate-level;unifying HW analysis and SoC design flows by bridging two key standards;expressing environment assumptions and real-time requirements for a distributedembedded system with shared variables;on the use of software quality metrics to improve physical properties of embeddedsystems;minimizing leakage energy with modulo scheduling for VLIW DSP processors;using imprecise computation techniques for power management real-time embeddedsystems;a power model for register-sharing structures;scheduling dependent distributable real-time threads in dynamic networked embeddedsystems;handling QoS dependencies in distributed cooperative real-time systems and data partitioning techniques for partially protected caches to reduce soft error induced failures.
The proceedings contain 21 papers. The special focus in this conference is on distributed and parallelembeddedsystems. The topics include: Hierarchically distributing embeddedsystems for improved autonomy;sorting u...
ISBN:
(纸本)9780387096605
The proceedings contain 21 papers. The special focus in this conference is on distributed and parallelembeddedsystems. The topics include: Hierarchically distributing embeddedsystems for improved autonomy;sorting units for FPGA-based embeddedsystems;error-exploiting video encoder to extend energy/QoS tradeoffs for mobile embeddedsystems;specification-based verification of embeddedsystems by automated test case generation;analysis of periodic clock relations in polychronous systems;formal correctness of an automotive bus controller implementation at gate-level;unifying HW analysis and SoC design flows by bridging two key standards;expressing environment assumptions and real-time requirements for a distributedembedded system with shared variables;on the use of software quality metrics to improve physical properties of embeddedsystems;minimizing leakage energy with modulo scheduling for VLIW DSP processors;using imprecise computation techniques for power management real-time embeddedsystems;a power model for register-sharing structures;scheduling dependent distributable real-time threads in dynamic networked embeddedsystems;handling QoS dependencies in distributed cooperative real-time systems and data partitioning techniques for partially protected caches to reduce soft error induced failures.
The proceedings contain 29 papers. The special focus in this conference is on distributed, parallel and Biologically Inspired systems. The topics include: Mastering conflicting trends in embeddedsystems design;a lang...
ISBN:
(纸本)9783642152337
The proceedings contain 29 papers. The special focus in this conference is on distributed, parallel and Biologically Inspired systems. The topics include: Mastering conflicting trends in embeddedsystems design;a language for heterogeneous computations;scenario-based modeling in industrial information systems;an entirely model-based framework for hardware design and simulation;extending the standard execution model of UML for real-time systems;task migration for fault-tolerant flexray networks;flexible and dynamic replication control for interdependent distributed real-time embeddedsystems;generation of executable testbenches from natural language requirement specifications for embedded real-time systems;model checking of concurrent algorithms;integrate online model checking into distributed reconfigurable system on chip with adaptable OS services;efficient mutation-analysis coverage for constrained random verification;generating VHDL source code from UML models of embeddedsystems;a rapid, architectural simulation and synthesis framework for embedded processors;a mixed level simulation environment for stepwise RTOS software refinement;dependency-driven distribution of synchronous programs;distributed resource-aware scheduling for multi-core architectures with system C;robust partitioned scheduling for real-time multiprocessor systems;an infrastructure for flexible runtime reconfigurable multi-microcontroller systems;feature selection for classification using an ant system approach;a collaborative decision support model for marine safety and security operations and collaborating and learning predators on a pursuit scenario.
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.
A Petri net based approach for modeling dynamically modifiable embedded realtime systems is presented. The presented work contributes to the extension of a Petri net based design methodology for distributedembedded s...
详细信息
暂无评论