2. SIES 2007: Lisbon, Portugal
IEEE Second International Symposium on Industrial Embedded Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007. IEEE 2007
Invited Speakers
- Ian Phillips: When less means more; and more, the-same?
- Richard Zurawski: Embedded Systems in Industrial Applications - Challenges and Trends.
Real-time scheduling
- Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen: Synchronization for an optimal real-time scheduling algorithm on multiprocessors. 9-16
- Dieter Zöbel, Christian Weyand: Augmenting sensitivity analysis for embedded applications by program level derivation of process parameters. 17-24
- Fadia Nemer, Hugues Cassé, Pascal Sainrat, Ali Awada: Improving the Worst-Case Execution Time Accuracy by Inter-Task Instruction Cache Analysis. 25-32
Real-time and low-power protocols
- Ahlem Mifdaoui, Fabrice Frances, Christian Fraboul: Real-time characteristics of Switched Ethernet for "1553B"-Embedded Applications: Simulation and Analysis. 33-40
- Björn Nilsson, Lars Bengtsson, Per-Arne Wiberg, Bertil Svensson: Protocols for Active RFID - The Energy Consumption Aspect. 41-48
Dependable Embedded Systems
- Sethu Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi: A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. 63-70
- Gert Jervan, Helena Kruus, Elmet Orasson, Raimund Ubar: Optimization of Memory-Constrained Hybrid BIST for Testing Core-Based Systems. 71-77
- Falk Salewski, Stefan Kowalewski: The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations. 78-85
Embedded System Design
- Md. Mafijul Islam, Per Stenström: Energy and Performance Trade-offs between Instruction Reuse and Trivial Computations for Embedded Applications. 86-93
- Heiko Hübert, Benno Stabernack, Kai-Immo Wels: Performance and Memory Profiling for Embedded System Design. 94-101
- Christo Angelov, Jesper Berthing: A Timed Multitasking Architecture for Distributed Embedded Systems. 102-109
- Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström: Shared Data Analysis for Multi-Tasking Real-Time System Testing. 110-117
- Safouan Taha, Ansgar Radermacher, Sebastien Gerard, Jean-Luc Dekeyser: An Open Framework for Detailed Hardware Modeling. 118-125
Hardware/software co-design
- Martin Holzer, Bastian Knerr, Markus Rupp: Design Space Exploration with Evolutionary Multi-Objective Optimisation. 126-133
- Bastian Knerr, Martin Holzer, Markus Rupp: Novel Genome Coding of Genetic Algorithms for the System Partitioning Problem. 134-141
Robotics
- Zi-Yuan Chen, Yu-Cheng Chen, Yin-Tien Wang: Image-based Control of an Autonomous Robot with Omnidirectional Vision. 142-147
- Vanderlei Bonato, Rafael Peron, Denis F. Wolf, José A. M. de Holanda, Eduardo Marques, João M. P. Cardoso: An FPGA Implementation for a Kalman Filter with Application to Mobile Robotics. 148-155
Industrial networks
- Mario Collotta, Lucia Lo Bello, Orazio Mirabella: Deadline-Aware Scheduling Policies for Bluetooth Networks in Industrial Communications. 156-163
- Fredrik Linnarsson, Peng Cheng, Bengt Oelmann: Analysis of the IEEE 802.15.4 Standard for a Wireless Closed Loop Control System for Heavy Duty Cranes. 164-169
- Sven Dominka, Frank Schiller, Sebastian Kain, Eduard Bröcker: Modification of Field Bus Telegrams for Hybrid Commissioning; Merge-Tool for PROFIBUS. 170-177
Computing Configuration
- Stephan Kubisch, Claas Cornelius, Ronald Hecht, Dirk Timmermann: Mapping a Pipelined Data Path onto a Network-on-Chip. 178-185
- Nadia Nedjah, Luiza de Macedo Mourelle: A System-on-Chip Implementation for Modular Exponentiation Using the Sliding-Window Method with Variable-Length Partitioning. 186-193
- Zhuo Ruan, Yuzhang Han, Hongbo Cai, Shengzhen Jin, Jianguo Han: A Dynamically Partial-reconfigurable FPGA-based Architecture for Data Processing on Space Solar Telescope. 194-199
Special Session on Automotive Embedded Systems
- Thomas M. Galla, Dietmar Schreiner, Wolfgang Forster, Christof Kutschera, Karl M. Göschka, Martin Horauer: Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm. 200-208
- Bastian Schlich, Falk Salewski, Stefan Kowalewski: Applying Model Checking to an Automotive Microcontroller Application. 209-216
- Joachim Hillebrand, Mehrnoush Rahmani, Richard Bogenberger, Eckehard G. Steinbach: Coexistence of Time-Triggered and Event-Triggered Traffic in Switched Full-Duplex Ethernet Networks. 217-224
- Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet: Adequacy between AUTOSAR OS specification and real-time scheduling theory. 225-233
- Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati: A multiform time approach to real-time system modeling; Application to an automotive system. 234-241
Special Session on Behavioural Models for Embedded systems
- Simon Tjell: Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. 242-249
- Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat: A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. 250-257
- Óscar R. Ribeiro, João M. Fernandes: Translating Synchronous Petri Nets into PROMELA for Verifying Behavioural Properties. 266-273
- Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra: Process State Machines for Behavioral Modeling of Embedded Systems. 274-281
Industry practice
- Martin Svéda, Vladimír Oplustil: Experience with integration and certification of COTS based embedded system into advanced avionics system. 282-287
- Wang Jing, Shengbing Zhang, Zhang Meng: Testing of a 32-bit High Performance Embedded Microprocessor. 288-292
- Hui Xue Zhao, Laurent George, Serge Midonnet, Stephan Tassart, Ivan Bourmeyster: Minimizing Latency and Data Memory Requirement for Real-time Chain-Structured Synchronous Dataflow. 293-301
- Azzouz Benzekri, Kamal Meghriche, Larbi Refoufi: PC-Based Automation of a Multi-Mode Control for an Irrigation System. 310-315
Work-in-Progress
- Mario Collotta, Orazio Mirabella, Lucia Lo Bello: Comparison between RT scheduling techniques for Bluetooth Networks in DPCSs. 320-323
- Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy: Faster floating-point square root for integer processors. 324-327
- Alexandre Lewicki, Javier del Prado Pavon, Jacky Talayssat, Eric Dekneuvel, Gilles Jacquemod: High Level Modeling of a Bluetooth over Ultra Wide Band Device. 328-332
- Vasco Santos, Paulo Bartolomeu, José Alberto Fonseca, Alexandre Mota: B-Live - A Home Automation System for Disabled and Elderly People. 333-336
- Julian Viejo, Alejandro Millán, Manuel J. Bellido, Jorge Juan, Paulino Ruiz-de-Clavijo, David Guerrero, Enrique Ostúa, A. Munoz: Design of a FFT/IFFT module as an IP core suitable for embedded systems. 337-340
- Hugo Ortiz, Antonio Casimiro, Paulo Veríssimo: Architecture and Implementation of an Embedded Wormhole. 341-344
- José A. de Holanda, Jecel Assumpcao, Denis F. Wolf, Eduardo Marques, João M. P. Cardoso: On Adapting Power Estimation Models for Embedded Soft-Core Processors. 345-348
- Martin Horauer, Oliver Praprotnik, Martin Zauner, Roland Holler, Paul Milbredt: A Test Tool for FlexRay-based Embedded Systems. 349-352
- Julian Broy, Klaus D. Müller-Glaser: The impact of time-triggered communication in automotive embedded systems. 353-356
- Abhisek Ukil, Adrian Barlocher: Implementation of Discrete Wavelet Transform for Embedded Applications using TMS320VC5510. 357-360
- Soledad Escolar, Jesús Carretero, Florin Isaila, Félix García Carballeira: A driver model based on Linux for TinyOS. 361-364
- Jecel Assumpcao, Denis F. Wolf, Eduardo Marques: Towards a Hardware Accelerated Obstacle Avoidance System for Mobile Robots using Monocular Vision. 365-368
- V. Bostan, C. Ilas, R. Magureanu: Single Chip Control of a Three Level Converter for High Voltage Unity Power Factor Applications. 369-372
- Marian Adamski: Logic synthesis of reconfigurable controllers. 373-376
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team