11. EMSOFT 2011: Taipei, Taiwan

Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister (Eds.): Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. ACM 2011, ISBN 978-1-4503-0714-7

Keynote address

Gérard Berry:
Challenges and potential solutions for complex embedded systems. 1-2

Modeling

Edward A. Lee:
Heterogeneous actor modeling. 3-12
Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha:
Resource allocation contracts for open analytic runtime models. 13-22
Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee:
A practical ontology framework for static model analysis. 23-32

Systems

Jan Vitek, Tomas Kalibera:
Repeatability, reproducibility, and rigor in systems research. 33-38
Sisu Xi, Justin Wilson, Chenyang Lu, Christopher D. Gill:
RT-Xen: towards real-time hypervisor scheduling in xen. 39-48
Hyosu Kim, Minsub Lee, Wookhyun Han, Kilho Lee, Insik Shin:
Aciom: application characteristics-aware disk and network i/o management on android platform. 49-58

Synchronization and allocation

Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf:
Automated distributed implementation of component-based models with priorities. 59-68
Björn B. Brandenburg, James H. Anderson:
Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks. 69-78
Pi-Cheng Hsiu, Der-Nien Lee, Tei-Wei Kuo:
Task synchronization and allocation for many-core real-time systems. 79-88

Hybrid systems

Oded Maler:
On under-determined dynamical systems. 89-96
Jiang Liu, Naijun Zhan, Hengjun Zhao:
Computing semi-algebraic invariants for polynomial dynamical systems. 97-106
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesis of optimal switching logic for hybrid systems. 107-116

Languages, analysis, and transformation

Thomas Reinbacher, Jörg Brauer:
Precise control flow reconstruction using boolean logic. 117-126
Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni:
Automated addition of fault recovery to cyber-physical component-based models. 127-136
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. 137-148

Verification and assurance

Pavol Cerný, Thomas A. Henzinger:
From boolean to quantitative synthesis. 149-154
BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley:
Safety-assured development of the GPCA infusion pump software. 155-164
Rajeev Alur, Ashutosh Trivedi:
Relating average and discounted costs for quantitative analysis of timed systems. 165-174

Networking

Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Reliability-aware frame packing for the static segment of flexray. 175-184
Rui Santos, Moris Behnam, Thomas Nolte, Paulo Pedreiras, Luís Almeida:
Multi-level hierarchical scheduling in ethernet switches. 185-194
Mohamed Bamakhrama, Todor Stefanov:
Hard-real-time scheduling of data-dependent tasks in embedded streaming applications. 195-204

Certification

Klaus Havelund, Gerard J. Holzmann:
Software certification: coding, code, and coders. 205-210
John M. Rushby:
New challenges in certification for aircraft software. 211-218
Alan Wassyng, Mark Lawford, T. S. E. Maibaum:
Software certification experience in the canadian nuclear industry: lessons for the future. 219-226
Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl:
Challenges in the regulatory approval of medical cyber-physical systems. 227-232

Real-time scheduling

Pratyush Kumar, Jian-Jia Chen, Lothar Thiele:
Demand bound server: generalized resource reservation for hard real-time systems. 233-242
Jonas Diemer, Jonas Rox, Mircea Negrean, Steffen Stein, Rolf Ernst:
Real-time communication analysis for networks with two-stage arbitration. 243-252
Taeju Park, Soontae Kim:
Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems. 253-262

Automotive control software

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree:
Cross-layer analysis, testing and verification of automotive control software. 263-272

Verification

Rajeev Alur:
Formal verification of hybrid systems. 273-278
David Harel, Robby Lampert, Assaf Marron, Gera Weiss:
Model-checking behavioral programs. 279-288
Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr:
ARMor: fully verified software fault isolation. 289-298

Control systems

Rupak Majumdar, Indranil Saha, Majid Zamani:
Performance-aware scheduler synthesis for control systems. 299-308
Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten:
Synchronous control of reconfiguration in fractal component-based systems: a case study. 309-318

WCET analysis & flash memory

Duc-Hiep Chu, Joxan Jaffar:
Symbolic simulation on complicated loops for WCET path analysis. 319-328
Jan C. Kleinsorge, Heiko Falk, Peter Marwedel:
A synergetic approach to accurate analysis of cache-related preemption delay. 329-338
Liang Shi, Jianhua Li, Chun Jason Xue, Chengmo Yang, Xuehai Zhou:
ExLRU: a unified write buffer cache management for flash memory. 339-348

Tutorials

Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka:
Timing and schedulability analysis for distributed automotive control applications. 349-350
Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis:
Time-predictable and composable architectures for dependable embedded systems. 351-352

Last update Tue May 22 04:53:20 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page