EMSOFT 2017: 17th International Conference on Embedded Software
Scheduling and Isolation
MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling
Tightening Contention Delays While Scheduling Parallel Applications on Multi-core Architectures
On The Design and Application of Thermal Isolation Servers
Verification
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs
Improving Invariant Mining via Static Analysis
Formal Verification of a Timing Enforcer Implementation
Cyber-Physical Systems
Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems
Testing Cyber-Physical Systems through Bayesian Optimization
Schedulability Analysis
Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks
Response-Time Analysis for Task Chains with Complex Precedence and Blocking Relations
An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems
Machine Learning for IoT
HiCH: Hierarchical Fog-Assisted Computing Architecture for Healthcare IoT
Synchronous Reactive Systems
Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines
A Synchronous Look at the Simulink Standard Library
Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction
Providing Guarantees in IoT Systems
Runtime Enforcement of Cyber-Physical Systems
Empirical Evaluation
BenchPrime: Effective Building of a Hybrid Benchmark Suite
Demystifying Soft-Error Mitigation by Control-Flow Checking — A New Perspective on its Effectiveness
Energy Harvesting for IoT
Adaptive Power Management in Solar Energy Harvesting Sensor Node Using Reinforcement Learning
Efficient Execution
Application-Aware Swapping for Mobile Systems
Lightweight Data Compression for Mobile Flash Storage
Managing the Performance/Error Tradeoff of Floating-point Intensive Applications
Hybrid Systems
Operational Models for Piecewise-Smooth Systems
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates
Compositional Relational Abstraction for Nonlinear Hybrid Systems
Coordinating Robots and Control Tasks
Security-Aware Scheduling of Embedded Control Tasks
A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control
Antlab: A Multi-Robot Task Server
Program Committee
- Björn B. Brandenburg (MPI for Software Systems, Germany)
- Robert de Simone (INRIA Sophia-Antipolis, France)
- Karl-Erik Årzén (Lunds Universitet, Sweden)
- Enrico Bini (University of Turin, Italy)
- Paul Bogdan (University of Southern California, USA)
- Sergiy Bogomolov (Australian National University, Australia)
- Timothy Bourke (INRIA / École Normale Supérieure, Paris, France)
- David Broman (KTH Royal Institute of Technology, Sweden)
- Sudipta Chattopadhyay (Singapore University of Technology and Design, Singapore)
- Thao Dang (Verimag, France)
- Patricia Derler (National Instruments, USA)
- Stephen A. Edwards (Columbia University, USA)
- Ruediger Ehlers (University of Bremen, Germany)
- Petru Eles (Linköping University, Sweden)
- Rolf Ernst (Technische Universität Braunschweig, Germany)
- Heiko Falk (Technische Universität Hamburg, Germany)
- Lu Feng (University of Virginia, USA)
- Abdoulaye Gamatié (CNRS LIRMM, Montpellier, France)
- Marc Geilen (Technical University Eindhoven, The Netherlands)
- Radu Grosu (Technische Universität Wien, Austria)
- Nan Guan (Hong Kong Polytechnic University, China)
- Taylor T. Johnson (Vanderbilt University, USA)
- James Kapinski (Toyota Technical Center, USA)
- Hyoseung Kim (University of California at Riverside, USA)
- Christoph M. Kirsch (University of Salzburg, Austria)
- Xenofon D. Koutsoukos (Vanderbilt University, USA)
- Tei-Wei Kuo (National Taiwan University, Taiwan)
- Xuandong Li (Nanjing University, China)
- Florence Maraninchi (Verimag, France)
- Massimo Merro (University of Verona, Italy)
- Sayan Mitra (University of Illinois at Urbana Champaign, USA)
- Claire Pagetti (ONERA, France)
- Miroslav Pajic (Duke University, USA)
- Luigi Palopoli (University of Trento, Italy)
- Gabriel Parmer (George Washington University, USA)
- Rodolfo Pellizzoni (University of Waterloo, Canada)
- Dumitru Potop-Butucaru (Inria Paris, France)
- Sophie Quinton (Inria Rhône-Alpes, France)
- Partha S. Roop (University of Auckland, New Zealand)
- Sriram Sankaranarayanan (University of Colorado Boulder, USA)
- Donatella Sciuto (Politecnico di Milano, Italy)
- Sandeep Shukla (IIT Kanpur, India)
- Oleg Sokolsky (University of Pennsylvania, USA)
- Stavros Tripakis (UC Berkeley USA / Aalto University, Finland)
- Marcus Völp (University of Luxembourg, Luxembourg)
- Reinhard von Hanxleden (University of Kiel, Germany)
- Wenyao Xu (University of Buffalo, State University of New York, USA)
- Jingling Xue (University of New South Wales, Australia)
- Wang Yi (Uppsala University, Sweden)
- Heechul Yun (University of Kansas, USA)