| emsoft | participants

EMSOFT 2015: 15th International Conference on Embedded Software

chair:
Alain Girault
cochair:
Nan Guan
Committee:
see below
where:
Amsterdam, The Netherlands
published:
IEEE

Real-Time Systems

The Federated Scheduling of Systems of Conditional Sporadic DAG Tasks

Sanjoy K. Baruah

Adaptive Runtime Shaping for Mixed-Criticality Systems

Biao Hu, Kai Huang, Gang Chen, Long Cheng, and Alois C. Knoll

Can Real-Time Systems Be Chaotic?

Lothar Thiele and Pratyush Kumar

Verification and Analysis of Hybrid Systems

Requirements Driven Falsification with Coverage Metrics

Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, and Georgios Fainekos

Reachability of Hybrid Systems in Space-Time

Goran Frehse

Unbounded-Time Reachability Analysis of Hybrid Systems by Abstract Acceleration

Peter Schrammel

Abstract Interpretation

Numerical Static Analysis of Interrupt-driven Programs via Sequentialization

Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, and Ji Wang

Towards an Industrial Use of Sound Static Analysis for the Verification of Concurrent Embedded Avionics Software

Antoine Miné and David Delmas

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, and Nikolas Stott

Synchronous Programming and Dataflow Systems

Loosely Time-Triggered Architectures: Improvements and Comparisons

Guillaume Baudart, Albert Benveniste, and Timothy Bourke

Parametrized Dataflow Scenarios

Mladen Skelin, Marc Geilen, Francky Catthoor, and Sverre Hendseth

Executing Dataflow Actors as Kahn Processes

Andreas Tretter, Jani Boutellier, James Guthrie, Lars Schor, and Lothar Thiele

Design of Hybrid Systems

Modeling and Simulating Cyber-Physical Systems using CyPhySim

Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, and Michael Wetter

Building a Hybrid Systems Modeler From Synchronous Language Principles

Marc Pouzet

Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System

Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, and André Platzer

Energy Efficiency and Security

Scalable Scheduling of Energy Control Systems

Truong X. Nghiem and Rahul Mangharam

Distributed Power Management of Real-Time Applications on a GALS Multiprocessor SOC

Andrew Nelson and Kees Goossens

Exp-HE: a Family of Fast Exponentiation Algorithms Resistant to SPA, Fault, and Combined Attacks

Carlos Moreno, M. Anwar Hasan, and Sebastian Fischmeister

Data Mining

Data Mining Approach to Temporal Debugging of Embedded Streaming Applications

Oleg Iegorov, Vincent Leroy, Alexandre Termier, Jean-François Méhaut, and Miguel Santana

A Framework for Mining Hybrid Automata From Input/Output Traces

Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, and Sebastian Fischmeister

Memory Management

Static Memory Management for Efficient Mobile Sensing Applications

Farley Lai, Daniel Schmidt, and Octav Chipara

Nonvolatile Main Memory Aware Garbage Collection in High-Level Language Virtual Machine

Chen Pan, Mimi Xie, Chengmo Yang, Zili Shao, and Jingtong Hu

Managing GPU Buffers for Caching More Apps in Mobile Systems

Sejun Kwon, Sang-Hoon Kim, Jin-Soo Kim, and Jinkyu Jeong

Formal Verification

Automatic Verification of Linear Controller Software

Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky

Forward Invariant Cuts to Simplify Proofs of Safety

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, and Bruce H. Krogh

Bounded Error Flowpipe Computation of Parameterized Linear Systems

Ratan Lal and Pavithra Prabhakar

Networked Systems

Verifying Network Performance of Cyber-Physical Systems with Multiple Runtime Configurations

Martin Manderscheid, Gereon Weiss, and Rudi Knorr

Using Traffic Phase Shifting to Improve AFDX Link Utilization

Renato Mancuso, Andrew V. Louis, and Marco Caccamo

Program Committee