External Links

    Journal: SIGBED Review

    Volume 8, Issue 4

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

    Volume 8, Issue 3

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

    Volume 8, Issue 2

    7 -- 10Lei 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
    11 -- 14Alessandro Colombo, Domitilla Del Vecchio. Enforcing safety of cyberphysical systems using flatness and abstraction
    15 -- 18Emeka Eyisi, Xenofon D. Koutsoukos. Passivity-based self-triggered control: a case study on the trajectory tracking control of a robotic manipulator over wireless network
    19 -- 22Sailesh Kandula, Tridib Mukherjee, Sandeep K. S. Gupta. Toward autonomous vehicle safety verification from mobile cyber-physical systems perspective
    23 -- 26Nina 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
    27 -- 30Kenneth C. Rovers, Jan Kuper, Gerard J. M. Smit. The problem with time in mixed continuous/discrete time modelling
    31 -- 34Neda Saeedloei, Gopal Gupta. A logic-based modeling and verification of CPS
    35 -- 38Andreas Savvides, Ioannis Ch. Paschalidis, Michael C. Caramanis. Cyber-physical systems for next generation intelligent buildings
    39 -- 43Walid 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
    44 -- 47Zhenkai Zhang, Joseph Porter, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits. High confidence embedded software design: a quadrotor helicopter case study

    Volume 8, Issue 1

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