The Community for Technology Leaders
2011 International Conference on Embedded Software (EMSOFT 2011) (2011)
Taipei
Oct. 9, 2011 to Oct. 14, 2011
ISBN: 978-1-4503-0714-7
TABLE OF CONTENTS

Heterogeneous actor modeling (Abstract)

E. A. Lee , EECS Dept., UC Berkeley, Berkeley, CA, USA
pp. 3-12

Resource allocation contracts for Open Analytic Runtime models (PDF)

Min-Young Nam , Department of Computer Science, University of Illinois at Urbana-Champaign, 201 North Goodwin Ave, 61801-2302, USA
Dionisio de Niz , Software Engineering Institute, Carnegie Mellon University, 4500 Fifth Avenue, Pittsburgh, Pennsylvania, 15213-2612, USA
Lutz Wrage , Software Engineering Institute, Carnegie Mellon University, 4500 Fifth Avenue, Pittsburgh, Pennsylvania, 15213-2612, USA
Lui Sha , Department of Computer Science, University of Illinois at Urbana-Champaign, 201 North Goodwin Ave, 61801-2302, USA
pp. 13-22

A practical ontology framework for static model analysis (Abstract)

B. Lickly , Univ. of California, Berkeley, CA, USA
C. Shelton , Bosch Res., Pittsburgh, PA, USA
E. Latronico , Bosch Res., Pittsburgh, PA, USA
E. A. Lee , Univ. of California, Berkeley, CA, USA
pp. 23-32

Repeatability, reproducibility and rigor in systems research (Abstract)

J. Vitek , Purdue Univ., West Lafayette, IN, USA
T. Kalibera , Univ. of Kent, Canterbury, UK
pp. 33-38

RT-Xen: Towards real-time hypervisor scheduling in Xen (PDF)

Sisu Xi , Department of Computer Science and Engineering, Washington University in St. Louis, USA
Justin Wilson , Department of Computer Science and Engineering, Washington University in St. Louis, USA
Chenyang Lu , Department of Computer Science and Engineering, Washington University in St. Louis, USA
Christopher Gill , Department of Computer Science and Engineering, Washington University in St. Louis, USA
pp. 39-48

Aciom: Application characteristics-aware disk and network I/O management on Android platform (PDF)

Hyosu Kim , Dept. of Computer Science, KAIST, South Korea
Minsub Lee , Dept. of Computer Science, KAIST, South Korea
Wookhyun Han , Dept. of Computer Science, KAIST, South Korea
Kilho Lee , Dept. of Computer Science, KAIST, South Korea
Insik Shin , Dept. of Computer Science, KAIST, South Korea
pp. 49-58

Automated distributed implementation of component-based models with priorities (Abstract)

B. Bonakdarpour , Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
M. Bozga , Centre Equation, VERIMAG, Gieres, France
J. Quilbeuf , Centre Equation, VERIMAG, Gieres, France
pp. 59-68

Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks (Abstract)

B. B. Brandenburg , Dept. of Comput. Sci., Univ. of North Carolina at Chapel Hill, Chapel Hill, NC, USA
J. H. Anderson , Dept. of Comput. Sci., Univ. of North Carolina at Chapel Hill, Chapel Hill, NC, USA
pp. 69-78

Task synchronization and allocation for many-core real-time systems (PDF)

Pi-Cheng Hsiu , Research Center for Information Technology Innovation, Academia Sinica, Taipei, Taiwan, R.O.C.
Der-Nien Lee , Department of Computer Science and Information Engineering, National Taiwan University, Taipei, R.O.C.
Tei-Wei Kuo , Research Center for Information Technology Innovation, Academia Sinica, Taipei, Taiwan, R.O.C.
pp. 79-88

On under-determined dynamical systems (Abstract)

O. Maler , VERIMAG, Univ. of Grenoble, Grenoble, France
pp. 89-96

Computing semi-algebraic invariants for polynomial dynamical systems (PDF)

Jiang Liu , State Key Lab. of Comp. Sci., Institute of Software, Chinese Academy of Sciences, China
Naijun Zhan , State Key Lab. of Comp. Sci., Institute of Software, Chinese Academy of Sciences, China
Hengjun Zhao , State Key Lab. of Comp. Sci., Institute of Software, Chinese Academy of Sciences, No. 4 South Fourth Street, Zhong Guan Cun, Beijing, 100190, China
pp. 97-106

Synthesis of optimal switching logic for hybrid systems (Abstract)

S. Jha , EECS Dept., UC Berkeley, Berkeley, CA, USA
S. A. Seshia , EECS Dept., UC Berkeley, Berkeley, CA, USA
pp. 107-116

Precise control flow reconstruction using Boolean logic (Abstract)

T. Reinbacher , Embedded Comput. Syst. Group, Vienna Univ. of Technol., Vienna, Austria
J. Brauer , Embedded Software Lab., RWTH Aachen Univ., Aachen, Germany
pp. 117-126

Automated addition of fault recovery to cyber-physical component-based models (Abstract)

B. Bonakdarpour , Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
Yiyan Lin , Dept. of Comput. Sci. & Eng., Michigan State Univ., East Lansing, MI, USA
S. S. Kulkarni , Dept. of Comput. Sci. & Eng., Michigan State Univ., East Lansing, MI, USA
pp. 127-136

Safety-assured development of the GPCA infusion pump software (PDF)

BaekGyu Kim , Computer and Information Science Dept., University of Pennsylvania, Philadelphia, USA
Anaheed Ayoub , Computer and Information Science Dept., University of Pennsylvania, Philadelphia, USA
Oleg Sokolsky , Computer and Information Science Dept., University of Pennsylvania, Philadelphia, USA
Insup Lee , Computer and Information Science Dept., University of Pennsylvania, Philadelphia, USA
Paul Jones , OSEL, Center for Devices and Radiological Health, U.S. Food and Drug Administration, Silver Spring, Maryland, USA
Yi Zhang , OSEL, Center for Devices and Radiological Health, U.S. Food and Drug Administration, Silver Spring, Maryland, USA
Raoul Jetley , OSEL, Center for Devices and Radiological Health, U.S. Food and Drug Administration, Silver Spring, Maryland, USA
pp. 155-164

Relating average and discounted costs for quantitative analysis of timed systems (Abstract)

R. Alur , Univ. of Pennsylvania, Philadelphia, PA, USA
A. Trivedi , Univ. of Pennsylvania, Philadelphia, PA, USA
pp. 165-174

Reliability-Aware Frame Packing for the static segment of FlexRay (Abstract)

B. Tanasa , Dept. of Comput. & Inf. Sci., Linkoping Univ. Sweden, Linkoping, Sweden
U. D. Bordoloi , Dept. of Comput. & Inf. Sci., Linkoping Univ. Sweden, Linkoping, Sweden
P. Eles , Dept. of Comput. & Inf. Sci., Linkoping Univ. Sweden, Linkoping, Sweden
Zebo Peng , Dept. of Comput. & Inf. Sci., Linkoping Univ. Sweden, Linkoping, Sweden
pp. 175-184

Multi-level hierarchical scheduling in Ethernet switches (Abstract)

R. Santos , IEETA, Univ. of Aveiro, Aveiro, Portugal
M. Behnam , MRTC, Malardalen Univ., Västerås, Sweden
T. Nolte , MRTC, Malardalen Univ., Västerås, Sweden
P. Pedreiras , IEETA, Univ. of Aveiro, Aveiro, Portugal
L. Almeida , Univ. of Porto, Porto, Portugal
pp. 185-194

Hard-real-time scheduling of data-dependent tasks in embedded streaming applications (Abstract)

M. Bamakhrama , Leiden Inst. of Adv. Comput. Sci., Leiden Univ., Leiden, Netherlands
T. Stefanov , Leiden Inst. of Adv. Comput. Sci., Leiden Univ., Leiden, Netherlands
pp. 195-204

Software certification - coding, code, and coders (PDF)

Klaus Havelund , Laboratory for Reliable Software (LaRS), Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Drive, Pasadena, 91109-8099, USA
Gerard J. Holzmann , Laboratory for Reliable Software (LaRS), Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Drive, Pasadena, 91109-8099, USA
pp. 205-210

New challenges in certification for aircraft software (Abstract)

J. Rushby , Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
pp. 211-218

Software certification experience in the Canadian nuclear industry: Lessons for the future (Abstract)

A. Wassyng , McMaster Centre for Software Certification, McMaster Univ., Hamilton, ON, Canada
M. Lawford , McMaster Centre for Software Certification, McMaster Univ., Hamilton, ON, Canada
T. Maibaum , McMaster Centre for Software Certification, McMaster Univ., Hamilton, ON, Canada
pp. 219-226

Challenges in the regulatory approval of medical cyber-physical systems (Abstract)

O. Sokolsky , Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
Insup Lee , Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
M. Heimdahl , Dept. of Comput. Sci., Univ. of Minnesota, Minneapolis, MN, USA
pp. 227-232

Demand bound server: Generalized resource reservation for hard real-time systems (Abstract)

P. Kumar , Comput. Eng. & Networks Lab., ETH Zurich, Zurich, Switzerland
Jian-Jia Chen , Dept. of Inf., Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
L. Thiele , Comput. Eng. & Networks Lab., ETH Zurich, Zurich, Switzerland
pp. 233-242

Real-time communication analysis for networks with two-stage arbitration (Abstract)

J. Diemer , Inst. of Comput. & Network Eng., Tech. Univ. Braunschweig, Braunschweig, Germany
J. Rox , Inst. of Comput. & Network Eng., Tech. Univ. Braunschweig, Braunschweig, Germany
M. Negrean , Inst. of Comput. & Network Eng., Tech. Univ. Braunschweig, Braunschweig, Germany
S. Stein , Inst. of Comput. & Network Eng., Tech. Univ. Braunschweig, Braunschweig, Germany
R. Ernst , Inst. of Comput. & Network Eng., Tech. Univ. Braunschweig, Braunschweig, Germany
pp. 243-252

Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems (PDF)

Taeju Park , Department of Computer Science, KAIST, Daejeon, South Korea
Soontae Kim , Department of Computer Science, KAIST, Daejeon, South Korea
pp. 253-262

Cross-layer analysis, testing and verification of automotive control software (Abstract)

M. Broy , Dip Goswami, Tech. Univ. Munich, Munich, Germany
S. Chakraborty , Dip Goswami, Tech. Univ. Munich, Munich, Germany
S. Ramesh , Gen. Motors R&D, India Sci. Labs., India
M. Satpathy , Gen. Motors R&D, India Sci. Labs., India
S. Resmerita , Univ. of Salzburg, Salzburg, Austria
W. Pree , Univ. of Salzburg, Salzburg, Austria
pp. 263-272

Formal verification of hybrid systems (Abstract)

R. Alur , Univ. of Pennsylvania, Philadelphia, PA, USA
pp. 273-278

Model-checking behavioral programs (Abstract)

D. Harel , Weizmann Inst. of Sci., Rehovot, Israel
R. Lampert , Weizmann Inst. of Sci., Rehovot, Israel
A. Marron , Weizmann Inst. of Sci., Rehovot, Israel
G. Weiss , Ben Gurion Univ. of the Negev, Beer-Sheva, Israel
pp. 279-288

ARMor: Fully verified software fault isolation (PDF)

Lu Zhao , University of Utah, USA
Guodong Li , Fujitsu Laboratories of America, USA
Bjorn De Sutter , Ghent University, Belgium
John Regehr , University of Utah, USA
pp. 289-298

Performance-aware scheduler synthesis for control systems (Abstract)

R. Majumdar , MPI-SWS, UCLA, Los Angeles, CA, USA
I. Saha , UCLA, Los Angeles, CA, USA
M. Zamani , UCLA, Los Angeles, CA, USA
pp. 299-308

Synchronous control of reconfiguration in fractal component-based systems - A case study (PDF)

Tayeb Bouhadiba , LIG/INRIA Grenoble, France
Quentin Sabah , LIG/INRIA/STMicroelectronics, France
Gwenael Delaval , LIG/Univ. Grenoble, France
Eric Rutten , LIG/INRIA Grenoble, France
pp. 309-318

Symbolic simulation on complicated loops for WCET Path Analysis (PDF)

Duc-Hiep Chu , National University of Singapore, Singapore
Joxan Jaffar , National University of Singapore, Singapore
pp. 319-328

A synergetic approach to accurate analysis of cache-related preemption delay (Abstract)

J. C. Kleinsorge , Inf. 12, Tech. Univ. Dortmund, Dortmund, Germany
H. Falk , Inst. of Embedded Syst./Real-time Syst., Ulm Univ., Ulm, Germany
P. Marwedel , Inf. 12, Tech. Univ. Dortmund, Dortmund, Germany
pp. 329-338

ExLRU: A unified write buffer cache management for flash memory (PDF)

Liang Shi , Department of Computer Science, City University of Hong Kong, Kowloon, Hong Kong
Jianhua Li , Department of Computer Science, City University of Hong Kong, Kowloon, Hong Kong
Chun Jason Xue , Department of Computer Science, City University of Hong Kong, Kowloon, Hong Kong
Chengmo Yang , Department of Electrical & Computer Engineering, University of Delaware, USA
Xuehai Zhou , Department of Computer Science, University of Science and Technology of China, Hefei, China
pp. 339-348

Timing and schedulability analysis for distributed automotive control applications (Abstract)

S. Chakraborty , Tech. Univ. Munich, Munich, Germany
M. Di Natale , Scuola Superiore Sant'Anna, Pisa, Italy
H. Falk , Tech. Univ. Dortmund, Dortmund, Germany
M. Lukasiewycz , TUM CREATE, Singapore, Singapore
F. Slomka , Univ. of Ulm, Ulm, Germany
pp. 349-350

Time-predictable and composable architectures for dependable embedded systems (Abstract)

S. Bensalem , Verimag, Univ. Joseph Fourier, Grenoble, France
K. Goossens , Eindhoven Univ. of Technol., Eindhoven, Netherlands
C. M. Kirsch , Univ. of Salzburg, Salzburg, Austria
R. Obermaisser , Univ. of Siegen, Siegen, Germany
E. A. Lee , Univ. of California, Berkeley, CA, USA
J. Sifakis , CNRS-Verimag, France
pp. 351-352
86 ms
(Ver 3.3 (11022016))