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

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

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

On under-determined dynamical systems (Abstract)

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

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

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

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

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

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

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

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
79 ms
(Ver 3.3 (11022016))