| emsoft | participants

EMSOFT 2017: 17th International Conference on Embedded Software

chair:
Robert de Simone
cochair:
Björn B. Brandenburg
Committee:
see below
where:
Seoul, South Korea
published:
ACM TECS, Vol. 16, No. 5s

Scheduling and Isolation

MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling

Jaewoo Lee, Hoon Sung Chwa, Linh Thi Xuan Phan, Insik Shin, and Insup Lee

Tightening Contention Delays While Scheduling Parallel Applications on Multi-core Architectures

Benjamin Rouxel, Steven Derrien, and Isabelle Puaut

On The Design and Application of Thermal Isolation Servers

Rehan Ahmed, Pengcheng Huang, Max Millen, and Lothar Thiele

Verification

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs

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

Improving Invariant Mining via Static Analysis

Christoph Schulze and Rance Cleaveland

Formal Verification of a Timing Enforcer Implementation

Sagar Chaki and Dionisio de Niz

Cyber-Physical Systems

Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems

Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John C. Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward R. Griffor, Marc Weiss, and Kevin B. Stanton

Testing Cyber-Physical Systems through Bayesian Optimization

Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, and Vinayak S. Prabhu

Schedulability Analysis

Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks

Youcheng Sun and Marco Di Natale

Response-Time Analysis for Task Chains with Complex Precedence and Blocking Relations

Johannes Schlatow and Rolf Ernst

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems

Philip S. Kurtin and Marco Jan Gerrit Bekooij

Machine Learning for IoT

HiCH: Hierarchical Fog-Assisted Computing Architecture for Healthcare IoT

Iman Azimi, Arman Anzanpour, Amir M. Rahmani, Tapio Pahikkala, Marco Levorato, Pasi Liljeberg, and Nikil D. Dutt

Synchronous Reactive Systems

Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines

Yecheng Zhao, Chao Peng, Haibo Zeng, and Zonghua Gu

A Synchronous Look at the Simulink Standard Library

Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, and Marc Pouzet

Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction

Jiajie Wang, Michael Mendler, Partha S. Roop, and Bruno Bodin

Providing Guarantees in IoT Systems

Runtime Enforcement of Cyber-Physical Systems

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, and Reinhard von Hanxleden

Empirical Evaluation

BenchPrime: Effective Building of a Hybrid Benchmark Suite

Qingrui Liu, Xiaolong Wu, Larry Kittinger, Markus Levy, and Changhee Jung

Demystifying Soft-Error Mitigation by Control-Flow Checking — A New Perspective on its Effectiveness

Simon Schuster, Peter Ulbrich, Isabella Stilkerich, Christian Dietrich, and Wolfgang Schröder-Preikschat

Energy Harvesting for IoT

Adaptive Power Management in Solar Energy Harvesting Sensor Node Using Reinforcement Learning

Shaswot Shresthamali, Masaaki Kondo, and Hiroshi Nakamura

Efficient Execution

Application-Aware Swapping for Mobile Systems

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

Lightweight Data Compression for Mobile Flash Storage

Cheng Ji, Li-Pin Chang, Liang Shi, Congming Gao, Chao Wu, Yuangang Wang, and Chun Jason Xue

Managing the Performance/Error Tradeoff of Floating-point Intensive Applications

Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, and Sebastian Fischmeister

Hybrid Systems

Operational Models for Piecewise-Smooth Systems

Andrew Sogokon, Khalil Ghorbal, and Taylor T. Johnson

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates

Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, and Xuandong Li

Compositional Relational Abstraction for Nonlinear Hybrid Systems

Xin Chen, Sergio Mover, and Sriram Sankaranarayanan

Coordinating Robots and Control Tasks

Security-Aware Scheduling of Embedded Control Tasks

Vuk Lesi, Ilija Jovanov, and Miroslav Pajic

A Structured Methodology for Pattern based Adaptive Scheduling in Embedded Control

Sumana Ghosh, Souradeep Dutta, Soumyajit Dey, and Pallab Dasgupta

Antlab: A Multi-Robot Task Server

Ivan Gavran, Rupak Majumdar, and Indranil Saha

Program Committee