| emsoft | participants

EMSOFT 2010: 10th International Conference on Embedded Software

chair:
Luca P. Carloni
cochair:
Stavros Tripakis
Committee:
see below
where:
Scottsdale, AZ, USA
published:
ACM

Verification & Synthesis

Automatic Verification of Control System Implementations

Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, and Paulo Tabuada

Switching Logic Synthesis for Reachability

Ankur Taly and Ashish Tiwari

Online Stability Validation using Sector Analysis

Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, and Janos Sztipanovits

Components, Platforms and Possibilities: Towards Generic Automation for MDA

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, and Thomas Santen

Applications & Tools

Parallelizing the H.264 Decoder on the Cell BE Architecture

Yongjin Cho, Seungkyun Kim, Jaejin Lee, and Heonshik Shin

Optimal WCET-aware Code Selection for Scratchpad Memory

Hui Wu, Jingling Xue, and Sridevan Parameswaran

A Model Based Approach for Debugging Embedded Systems in Real-Time

Padma Iyenghar, Clemens Westerkamp, Juergen Wuebbelmann, and Elke Pulvermüller

PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation

Kevin Marquet and Matthieu Moy

Scheduling & Optimization

Online Robust Optimization Framework for QoS Guarantees in Distributed Soft Real-Time Systems

Jinkyu Lee, Insik Shin, and Arvind Easwaran

Load-Based Schedulability Analysis of Certifiable Mixed-Criticality Systems

Haohan Li and Sanjoy K. Baruah

Reducing Stack with Intra-Task Threshold Priorities in Real-Time Systems

Gang Yao and Giorgio C. Buttazzo

Automotive & Wireless Sensor Networks

Modeling Buffers with Data Refresh Semantics in Automotive Architectures

Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee

Schedulability and End-to-End Latency in Distributed ECU Networks: Formal Modeling and Precise Estimation

A.C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, and S. Ramesh

TeleScribe: a Scalable, Resumable Wireless Reprogramming Approach

Min-Hua Chen and Pai H. Chou

Nucleos: a Runtime System for Ultra-Compact Wireless Sensor Nodes

Jiwon Hahn and Pai H. Chou

Flash Memory

Using NAND Flash Memory for Executing Large Volume Real-Time Programs in Automotive Embedded Systems

Kwangyoon Cho, Kyoung-Soo We, Chang-Gun Lee, and Kanghee Kim

Janus-FTL: Finding the Optimal Point on the Spectrum Between Page and Block Mapping Schemes

Hunki Kwon, Eunsam Kim, Jongmoo Choi, Donghee Lee, and Sam H. Noh

A Reliable MTD Design for MLC Flash-Memory Storage Systems

Yuan-Hao Chang and Tei-Wei Kuo

Distribution & Event Graphs

A Unifying View of Loosely Time-Triggered Architectures

Albert Benveniste, Anne Bouillard, and Paul Caspi

Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures

Dumitru Potop-Butucaru, Akramul Azim, and Sebastian Fischmeister

From High-Level Component-Based Models to Distributed Implementations

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, and Joseph Sifakis

Ptera: An Event-Oriented Model of Computation for Heterogeneous Systems

Thomas Huining Feng, Edward A. Lee, and Lee W. Shruben

Model-Based Design & Patterns

Model-Based Implementation of Real-Time Applications

Tesnim Abdellatif, Jacques Combaz, and Joseph Sifakis

Model-Based Specification of Timing Requirements

Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, and Edward A. Lee

Initiating a Design Pattern Catalog for Embedded Network Systems

Sally K. Wahba, Jason O. Hallstrom, and Neelam Soundarajan

Scheduling & Control

Power-Aware Temporal Isolation with Variable-Bandwidth Servers

Silviu S. Craciunas, Christoph M. Kirsch, and Ana Sokolova

Resource Adaptations with Servers for Hard Real-Time Systems

Nikolay Stoimenov, Lothar Thiele, Luca Santinelli, and Giorgio C. Buttazzo

Energy-Aware Packet and Task Co-Scheduling for Embedded Systems

Luca Santinelli, Mauro Marinoni, Francesco Prosperi, Francesco Esposito, Gianluca Franchino, and Giorgio C. Buttazzo

Dynamic Tuning of Feature Set in Highly Variant Interactive Applications

Tushar Kumar, Romain Cledat, and Santosh Pande

Program Committee