| emsoft | participants

EMSOFT 2014: 14th International Conference on Embedded Software

chair:
Tulika Mitra
cochair:
Jan Reineke
Committee:
see below
where:
New Delhi, India
published:
ACM

Formal Modeling

Exponentially Timed SADF: Compositional Semantics, Reductions, and Analysis

Joost-Pieter Katoen and Hao Wu

Refinement Calculus of Reactive Systems

Viorel Preoteasa and Stavros Tripakis

Precise Piecewise Affine Models From Input-Output Data

Rajeev Alur and Nimit Singhania

Special Session

Embedded Software Reliability for Unreliable Hardware

Jian-Jia Chen and Muhammad Shafique

Testing and Validation

Multiple Shooting, CEGAR-Based Falsification for Hybrid Systems

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, and James Kapinski

SiPTA: Signal Processing for Trace-Based Anomaly Detection

Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar, Greta Cutulenco, and Sebastian Fischmeister

Blaming in Component-Based Real-Time Systems

Gregor Goessler and Lăcrămioara Aştefănoaei

Software Timing

A General Approach for Expressing Infeasibility in Implicit Path Enumeration Technique

Pascal Raymond

Computing Maximum Blocking Times with Explicit Path Analysis Under Non-Local Flow Bounds

Jan C. Kleinsorge and Peter Marwedel

Extending Typical Worst-Case Analysis using Response-Time Dependencies to Bound Deadline Misses

Zain Alabedin Haj Hammadeh, Sophie Quinton, and Rolf Ernst

Energy

Energy Efficient DVFS Scheduling for Mixed-Criticality Systems

Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou, and Lothar Thiele

p-YDS Algorithm: an Optimal Extension of YDS Algorithm to Minimize Expected Energy for Real-Time Jobs

Pratyush Kumar and Lothar Thiele

Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing

Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia

Synthesis

Deductive Control Synthesis for Alternating-Time Logics

Rayna Dimitrova and Rupak Majumdar

Infinite Horizon Safety Controller Synthesis Through Disjunctive Polyhedral Abstract Interpretation

Hadi Ravanbakhsh and Sriram Sankaranarayanan

Synthesising Optimal Timing Delays for Timed I/O Automata

Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, and Alexandru Mereacre

Multithreading

Automated Software Testing of Memory Performance in Embedded GPUs

Sudipta Chattopadhyay, Petru Eles, and Zebo Peng

On the Existence of Probe Effect in Multi-Threaded Embedded Programs

Young Wn Song and Yann-Hang Lee

Can We Put Concurrency Back into Redundant Multithreading?

Björn Döbel and Hermann Härtig

Scheduling

Schedulability Analysis of Global Memory-Predictable Scheduling

Ahmed Alhammad and Rodolfo Pellizzoni

Supporting Read/Write Applications in Embedded Real-Time Systems via Suspension-Aware Analysis

Guangmo Tong and Cong Liu

Task Mapping in Heterogeneous Embedded Systems for Fast Completion Time

Husheng Zhou and Cong Liu

Cyber-Physical Systems

Contract-Based Integration of Cyber-Physical Analyses

Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, and David Garlan

CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory

Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, and Sanjit A. Seshia

Real-Time System Support for Hybrid Structural Simulation

David Ferry, Gregory Bunting, Amin Maghareh, Arun Prakash, Shirley Dyke, Kunal Agrawal, Christopher D. Gill, and Chenyang Lu

Multi- and Many-core Integration

Parallel Many-Core Avionics Systems

Milos Panic, Eduardo Quiñones, Pavel G. Zaykov, Carles Hernández, Jaume Abella, and Francisco J. Cazorla

Real-Time Multi-Core Virtual Machine Scheduling in Xen

Sisu Xi, Meng Xu, Chenyang Lu, Linh Thi Xuan Phan, Christopher D. Gill, Oleg Sokolsky, and Insup Lee

EDF as an Arbitration Policy for Wormhole-Switched Priority-Preemptive Nocs - Myth or Fact?

Borislav Nikolic and Stefan M. Petters

Memory and I/O

Building High-Performance Smartphones via Non-Volatile Memory: The Swap Approach

Kan Zhong, Tianzheng Wang, Xiao Zhu, Linbo Long, Duo Liu, Weichen Liu, Zili Shao, and Edwin Hsing-Mean Sha

Program Committee