4. SIES 2009: Lausanne, Switzerland

IEEE Fourth International Symposium on Industrial Embedded Systems - SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8 - 10, 2009. IEEE 2009, ISBN 978-1-4244-4110-5

Network Analysis and Modeling

Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Statistical analysis of Controller Area Network message response times. 1-10
Björn Andersson, Eduardo Tovar:
The utilization bound of non-preemptive rate-monotonic scheduling in Controller Area Networks is 25%. 11-18
Thomas Ferrandiz, Fabrice Frances, Christian Fraboul:
A method of computation for worst-case delay analysis on SpaceWire networks. 19-27
Marek Miskowicz:
On the unequal bandwidth share in LonWorks control networks. 28-36

Design Methods and Real Time

Prateep Roy, Arben Çela, Yskandar Hamam:
On the relation of FIM and Controllability Gramian. 37-41
Peter Roessler, Martin Zauner:
Evaluation of an Esterel-based hardware/software co-design flow. 42-45
Khaled Rahmouni, Patrice Gerin, Sebastien Chabanet, Paul Pianu, Frédéric Pétrot:
Modelling and architecture exploration of a medium voltage protection device. 46-49
Manish Kumar, Jonghun Yoo, Seongsoo Hong:
Enhancing AUTOSAR methodology to a cotsbased development process via mapping to V-Model. 50-53
Anders Sejer Tranberg-Hansen, Jan Madsen:
Exploration of a digital audio processing platform using a compositional system level performance estimation framework. 54-57
Marek Paska:
Generative programming with support for formal verification. 58-61
Nadege Pontisso, Philippe Quéinnec, Gérard Padiou:
Temporal data matching in component based real time systems. 62-65
Michal Sojka, Zdenek Hanzálek:
Modular architecture for real-time contract-based framework. 66-69
Matthias Ivers, Rolf Ernst:
Dependency-aware stochastic analysis of chained execution times. 70-73

SoC Platforms

Kai Huang, Iuliana Bacivarov, Jun Liu, Wolfgang Haid:
A modular fast simulation framework for stream-oriented MPSoC. 74-81
Yung-Yuan Chen, Chung-Hsien Hsu, Kuen-Long Leu:
SoC-level risk assessment using FMEA approach in system design with SystemC. 82-89
Harald Paulitsch, Christian Paukovits, Christian El Salloum:
Fault isolation with intermediate checks of end-to-end checksums in the Time-Triggered System-on-Chip Architecture. 90-99
Ahmed Abousamra, Rami G. Melhem, Daniel Mossé:
Minimizing expected energy consumption for streaming applications with linear dependencies on chip multiprocessors. 100-109

Wireless Health

Myung-kyung Suh, Kyujoong Lee, Ani Nahapetian, Majid Sarrafzadeh:
Interval training guidance system with music and wireless group exercise motivations. 110-119
Edmund Y. W. Seto, Annarita Giani, Victor Shia, Curtis Wang, Posu Yan, Allen Y. Yang, Michael Jerrett, Ruzena Bajcsy:
A wireless body sensor network for the prevention and management of asthma. 120-123
Nikhil Raveendranathan, Vitali Loseu, Eric Guenterberg, Roberta Giannantonio, Raffaele Gravina, Marco Sgroi, Roozbeh Jafari:
Implementation of virtual sensors in body sensor networks with the SPINE framework. 124-127
Giancarlo Fortino, Antonio Guerrieri, Fabio Luigi Bellifemine, Roberta Giannantonio:
SPINE2: developing BSN applications on heterogeneous sensor nodes. 128-131
Mari Zakrzewski, Sakari Junnila, Antti Vehkaoja, Harri Kailanto, Antti-Matti Vainio, Irek Defée, Jukka Lekkala, Jukka Vanhala, Jari Hyttinen:
Utilization of wireless sensor network for health monitoring in home environment. 132-135

Networking and Communication

Feng Chen, Thomas Talanis, Reinhard German, Falko Dressler:
Real-time enabled IEEE 802.15.4 sensor networks in industrial automation. 136-139
Chuzo Ninagawa, Tomotaka Sato:
Transmission reserve table buffer for CSMA type control networks of embedded systems. 140-143
Nuno Pereira, Björn Andersson, Eduardo Tovar, Paulo Carvalho:
Improving the reliability of WiDom in a single broadcast domain. 144-147
Kuen-Long Leu, Chin-Long Wey, Jwu-E Chen, Yung-Yuan Chen:
Robustness investigation of the FlexRay system. 148-151

Embedded Software

Marius Bozga, Mohamad Jaber, Joseph Sifakis:
Source-to-source architecture transformation for performance optimization in BIP. 152-160
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich:
Refining assembly code static analysis for the Intel MCS-51 microcontroller. 161-170
Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova:
Programmable temporal isolation through variable-bandwidth servers. 171-180
Antonio Monzon, José L. Fernández-Sánchez:
Deadlock risk assessment in architectural models of real-time systems. 181-190

Network Design and Optimization

Jörg Sommer, Elias A. Doumith, Quentin Duval:
On link harness optimization of embedded Ethernet networks. 191-200
Ahlem Mifdaoui, Fabrice Frances, Christian Fraboul:
Centralized vs distributed communication scheme on Switched Ethernet for embedded military applications. 201-210

Reconfigurable Platforms and Industrial Control

Michael Gora, Abhranil Maiti, Patrick Schaumont:
A flexible design flow for software IP binding in commodity FPGA. 211-218
Ricardo de Castro, Rui Esteves Araujo, Hugo Oliveira:
Control in Multi-Motor Electric Vehicle with a FPGA platform. 219-227
Riccardo Caponetto, Giovanni Dongola, Antonio Gallo, Maria Gabriella Xibilia:
FPGA based soft sensor for the estimation of the kerosene freezing point. 228-236
Philippe Stellwag, Alexander Ditter, Wolfgang Schröder-Preikschat:
A wait-free queue for multiple enqueuers and multiple dequeuers using local preferences and pragmatic extensions. 237-248

Control and Designs

Vanderlei Bonato, Eduardo Marques:
RoboArch: A component-based tool proposal for developing hardware architecture for mobile robots. 249-252
Jian Wang, Yubai Li, Qicong Peng, Taiqiu Tan:
A dynamic priority arbiter for Network-on-Chip. 253-256
Gianpaolo Macario, Marco Torchiano, Massimo Violante:
An in-vehicle infotainment software architecture based on google android. 257-260
Guillaume Ducard, Raffaello D'Andrea:
Autonomous quadrotor flight using a vision system and accommodating frames misalignment. 261-264