From Model-Driven Design to Resource Management for Distributed Embedded Systems

Design Challenges in Multiprocessor Systems-on-Chip. - Some Issues in Model-Based Development for Embedded Control Systems. - MDE Benefits for Distributed Real Time and Embedded Systems. - Reifying the Semantic Domains of Component Contracts. - Model-Based Test Selection for Infinite State Reactive Systems. - Continuous Engineering of Embedded systems. - Prototyping an Ambient Light System - A Case Study. - The Paderkicker Team: Autonomy in Realtime Environments. - Modular Compilation of Synchronous Programs. - Trends in Timing Analysis. - Traffic Scheduling Anomalies in Temporal Partitions. - 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 Embedded Systems. - Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems. - 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. - 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 Embedded Systems with Multiple Processors. - A Hierarchical Approach for Power Management on Mobile Embedded Systems. Language: English