SIGBED Review, Volume 8, 2011

Volume 8, Number 1, March 2011

• Marco Panunzio, Tullio Vardanega:
  Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions. 6-13
  
• Miao Song, Shangping Ren:
  Coordination operators and their composition under the actor-role-coordinator (ARC) model. 14-21
  
• Björn Andersson:
  A preliminary idea for an 8-competitive, log₂ DMAX + log₂ log₂ 1/U asymptotic-space, interface generation algorithm for two-level hierarchical scheduling of constrained-deadline sporadic tasks on a uniprocessor. 22-29
  
• Jungwoo Yang, Hyungseok Kim, Sangwon Park, Changki Hong, Insik Shin:
  Implementation of compositional scheduling framework on virtualization. 30-37
  
• Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, Insup Lee:
  Improving resource utilization for compositional scheduling using DPRM interfaces. 38-45
  
• Farhang Nemati, Moris Behnam, Thomas Nolte:
  Sharing resources among independently-developed systems on multi-cores. 46-53
  
• Luca Santinelli, Liliana Cucu-Grosjean:
  Toward probabilistic real-time calculus. 54-61
  
• Linh T. X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, Oleg Sokolsky:
  CARTS: a tool for compositional analysis of real-time systems. 62-63
  
• Julio L. Medina, Álvaro Garcia Cuesta:
  From composable design models to schedulability analysis with UML and the UML profile for MARTE. 64-68
  
• Rui Santos, Paulo Pedreiras, Moris Behnam, Thomas Nolte, Luís Almeida:
  Hierarchical server-based traffic scheduling in ethernet switches. 68-69
  
• Nicola Serreli, Giuseppe Lipari, Enrico Bini:
  A tool for component-based schedulability analysis of distributed real-time pipelines. 70-72
  

Volume 8, Number 2, June 2011

• Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li:
  Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. 7-10
  
• Alessandro Colombo, Domitilla Del Vecchio:
  Enforcing safety of cyberphysical systems using flatness and abstraction. 11-14
  
• Emeka Eyisi, Xenofon D. Koutsoukos:
  Passivity-based self-triggered control: a case study on the trajectory tracking control of a robotic manipulator over wireless network. 15-18
  
• Sailesh Kandula, Tridib Mukherjee, Sandeep K. S. Gupta:
  Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective. 19-22
  
• Nina Mühleis, Michael Glaß, Liyuan Zhang, Jürgen Teich:
  A co-simulation approach for control performance analysis during design space exploration of cyber-physical systems. 23-26
  
• Kenneth C. Rovers, Jan Kuper, Gerard J. M. Smit:
  The problem with time in mixed continuous/discrete time modelling. 27-30
  
• Neda Saeedloei, Gopal Gupta:
  A logic-based modeling and verification of CPS. 31-34
  
• Andreas Savvides, Ioannis Ch. Paschalidis, Michael C. Caramanis:
  Cyber-physical systems for next generation intelligent buildings. 35-38
  
• Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron Ames, Alexandre Chapoutot:
  A core language for executable models of cyber physical systems: work in progress report. 39-43
  
• Zhenkai Zhang, Joseph Porter, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits:
  High confidence embedded software design: a quadrotor helicopter case study. 44-47
  

Volume 8, Number 3, September 2011

• Tomasz Dudziak, Jörg Herter:
  Cache analysis in presence of pointer-based data structures. 7-10
  
• Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean:
  A new way about using statistical analysis of worst-case execution times. 11-14
  
• Yin Hang, Hans Hansson:
  Timing analysis for a composable mode switch. 15-18
  
• Gurulingesh Raravi, Björn Andersson, Konstantinos Bletsas:
  Provably good task assignment on heterogeneous multiprocessor platforms for a restricted case but with a stronger adversary. 19-22
  
• João Craveiro, José Rufino, Frank Singhoff:
  Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems. 23-27
  
• Frédéric Fauberteau, Serge Midonnet, Manar Qamhieh:
  Partitioned scheduling of parallel real-time tasks on multiprocessor systems. 28-31
  
• Eduardo Quiñones, Jaume Abella, Francisco J. Cazorla, Mateo Valero:
  Exploiting intra-task slack time of load operations for DVFS in hard real-time multi-core systems. 32-35
  
• Geoffrey Nelissen, Shelby Funk, Joël Goossens, Dragomir Milojevic:
  Swapping to reduce preemptions and migrations in EKG. 36-39
  
• Rodrigo M. Santos, Javier Orozco, Sergio F. Ochoa:
  A real-time analysis approach in opportunistic networks. 40-43
  
• Thomas Ferrandiz, Fabrice Frances, Christian Fraboul:
  Using Network Calculus to compute end-to-end delays in SpaceWire networks. 44-47
  
• Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin:
  Tracing event chains for holistic response-time analysis of component-based distributed real-time systems. 48-51
  

Volume 8, Number 4, December 2011

• Lucia Lo Bello:
  The case for ethernet in automotive communications. 7-15
  
• Luis Lino Ferreira, Luís Nogueira:
  On the use of code mobility mechanisms in real-time systems. 16-21
  
• Marcelo M. Sobral, Leandro Buss Becker:
  Evaluating the benefits and feasibility of coordinated medium access in MANETS. 22-29
  
• Ji-Eun Jung, Byunghun Song, Sooyeol Park:
  The possibility of wireless sensor networks for commercial vehicle load monitoring. 30-34
  
• Koen Holtman, Peter van der Stok:
  Real-time routing and retry strategies for low-latency 802.15.4 control networks. 35-42
  
• Claro Noda, Shashi Prabh, Mário Alves, Carlo Alberto Boano, Thiemo Voigt:
  Quantifying the channel quality for interference-aware wireless sensor networks. 43-48
  
• Xiaoting Li, Jean-Luc Scharbarg, Frédéric Ridouard, Christian Fraboul:
  Existing offset assignments are near optimal for an industrial AFDX network. 49-54
  

• Sérgio D. Penna:
  Networking in modern avionics: challenges and opportunities. 55-58
  

Last update Thu May 23 19:27:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page