Table of Contents

• Statistical analysis of Controller Area Network message response timesHaibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli. 1-10 [doi]
• The utilization bound of non-preemptive rate-monotonic scheduling in Controller Area Networks is 25 Björn Andersson, Eduardo Tovar. 11-18 [doi]
• A method of computation for worst-case delay analysis on SpaceWire networksThomas Ferrandiz, Fabrice Frances, Christian Fraboul. 19-27 [doi]
• On the unequal bandwidth share in LonWorks control networksMarek Miskowicz. 28-36 [doi]
• On the relation of FIM and Controllability GramianPrateep Roy, Arben Çela, Yskandar Hamam. 37-41 [doi]
• Evaluation of an Esterel-based hardware/software co-design flowPeter Roessler, Martin Zauner. 42-45 [doi]
• Modelling and architecture exploration of a medium voltage protection deviceKhaled Rahmouni, Patrice Gerin, Sebastien Chabanet, Paul Pianu, Frédéric Pétrot. 46-49 [doi]
• Enhancing AUTOSAR methodology to a cotsbased development process via mapping to V-ModelManish Kumar, Jonghun Yoo, Seongsoo Hong. 50-53 [doi]
• Exploration of a digital audio processing platform using a compositional system level performance estimation frameworkAnders Sejer Tranberg-Hansen, Jan Madsen. 54-57 [doi]
• Temporal data matching in component based real time systemsNadege Pontisso, Philippe Quéinnec, Gérard Padiou. 62-65 [doi]
• Modular architecture for real-time contract-based frameworkMichal Sojka, Zdenek Hanzálek. 66-69 [doi]
• Dependency-aware stochastic analysis of chained execution timesMatthias Ivers, Rolf Ernst. 70-73 [doi]
• A modular fast simulation framework for stream-oriented MPSoCKai Huang, Iuliana Bacivarov, Jun Liu, Wolfgang Haid. 74-81 [doi]
• SoC-level risk assessment using FMEA approach in system design with SystemCYung-Yuan Chen, Chung-Hsien Hsu, Kuen-Long Leu. 82-89 [doi]
• Fault isolation with intermediate checks of end-to-end checksums in the Time-Triggered System-on-Chip ArchitectureHarald Paulitsch, Christian Paukovits, Christian El Salloum. 90-99 [doi]
• Minimizing expected energy consumption for streaming applications with linear dependencies on chip multiprocessorsAhmed Abousamra, Rami G. Melhem, Daniel Mossé. 100-109 [doi]
• Interval training guidance system with music and wireless group exercise motivationsMyung-kyung Suh, Kyujoong Lee, Ani Nahapetian, Majid Sarrafzadeh. 110-119 [doi]
• A wireless body sensor network for the prevention and management of asthmaEdmund Y. W. Seto, Annarita Giani, Victor Shia, Curtis Wang, Posu Yan, Allen Y. Yang, Michael Jerrett, Ruzena Bajcsy. 120-123 [doi]
• Implementation of virtual sensors in body sensor networks with the SPINE frameworkNikhil Raveendranathan, Vitali Loseu, Eric Guenterberg, Roberta Giannantonio, Raffaele Gravina, Marco Sgroi, Roozbeh Jafari. 124-127 [doi]
• SPINE2: developing BSN applications on heterogeneous sensor nodesGiancarlo Fortino, Antonio Guerrieri, Fabio Luigi Bellifemine, Roberta Giannantonio. 128-131 [doi]
• Utilization of wireless sensor network for health monitoring in home environmentMari Zakrzewski, Sakari Junnila, Antti Vehkaoja, Harri Kailanto, Antti-Matti Vainio, Irek Defée, Jukka Lekkala, Jukka Vanhala, Jari Hyttinen. 132-135 [doi]
• Real-time enabled IEEE 802.15.4 sensor networks in industrial automationFeng Chen, Thomas Talanis, Reinhard German, Falko Dressler. 136-139 [doi]
• Transmission reserve table buffer for CSMA type control networks of embedded systemsChuzo Ninagawa, Tomotaka Sato. 140-143 [doi]
• Improving the reliability of WiDom in a single broadcast domainNuno Pereira, Björn Andersson, Eduardo Tovar, Paulo Carvalho. 144-147 [doi]
• Robustness investigation of the FlexRay systemKuen-Long Leu, Chin-Long Wey, Jwu-E Chen, Yung-Yuan Chen. 148-151 [doi]
• Source-to-source architecture transformation for performance optimization in BIPMarius Bozga, Mohamad Jaber, Joseph Sifakis. 152-160 [doi]
• Refining assembly code static analysis for the Intel MCS-51 microcontrollerThomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich. 161-170 [doi]
• Programmable temporal isolation through variable-bandwidth serversSilviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova. 171-180 [doi]
• Deadlock risk assessment in architectural models of real-time systemsAntonio Monzon, José L. Fernández-Sánchez. 181-190 [doi]
• On link harness optimization of embedded Ethernet networksJörg Sommer, Elias A. Doumith, Quentin Duval. 191-200 [doi]
• Centralized vs distributed communication scheme on Switched Ethernet for embedded military applicationsAhlem Mifdaoui, Fabrice Frances, Christian Fraboul. 201-210 [doi]
• A flexible design flow for software IP binding in commodity FPGAMichael Gora, Abhranil Maiti, Patrick Schaumont. 211-218 [doi]
• FPGA based soft sensor for the estimation of the kerosene freezing pointRiccardo Caponetto, Giovanni Dongola, Antonio Gallo, Maria Gabriella Xibilia. 228-236 [doi]
• A wait-free queue for multiple enqueuers and multiple dequeuers using local preferences and pragmatic extensionsPhilippe Stellwag, Alexander Ditter, Wolfgang Schröder-Preikschat. 237-248 [doi]
• RoboArch: A component-based tool proposal for developing hardware architecture for mobile robotsVanderlei Bonato, Eduardo Marques. 249-252 [doi]
• A dynamic priority arbiter for Network-on-ChipJian Wang, Yubai Li, Qicong Peng, Taiqiu Tan. 253-256 [doi]
• An in-vehicle infotainment software architecture based on google androidGianpaolo Macario, Marco Torchiano, Massimo Violante. 257-260 [doi]
• Autonomous quadrotor flight using a vision system and accommodating frames misalignmentGuillaume Ducard, Raffaello D Andrea. 261-264 [doi]