Distributed and Parallel Embedded Systems (DIPES 2010) |
Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann |
Opening and Keynote |
Safety, Efficiency and Autonomy-Mastering Conflicting Trends in Embedded Systems Design / Rolf Ernst |
Specification and Modeling |
Rialto 2.0: A Language for Heterogeneous Computations / Johan Lilius ; Andreas Dahlin ; Lionel Morel |
Scenario-Based Modeling in Industrial Information Systems / Ricardo J. Machado ; João M. Fernandes ; João P. Barros ; LuÃs Gomes |
An Entirely Model-Based Framework for Hardware Design and Simulation / Safouan Taha ; Ansgar Radermacher ; Sébastien Gérard |
Extending the Standard Execution Model of UML for Real-Time Systems / Abderraouf Benyahia ; Arnaud Cuccuru ; François Terrier ; Frédéric Boulanger |
Fault Tolerance |
Task Migration for Fault-Tolerant FlexRay Networks / Kay Klobedanz ; Gilles B. Defo ; Henning Zabel ; Wolfgang Mueller ; Yuan Zhi |
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems / LuÃs Nogueira ; LuÃs Miguel Pinho ; Jorge Coelho |
Verification and Validation |
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems / Alexander Bol ; Alexander Krupp ; Ola Lundkvist |
Model Checking of Concurrent Algorithms: From Java to C / Cyrille Artho ; Masami Hagiya ; Watcharin Leungwattanakit ; Yoshinori Tanabe ; Mitsuharu Yamamoto |
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services / Sufyan Samara ; Yuhong Zhao ; Franz J. Rammig |
Efficient Mutation-Analysis Coverage for Constrained Random Verification / Tao Xie ; Florian Letombe |
Code-Generation, Simulation and Timing Analysis |
Generating VHDL Source Code from UML Models of Embedded Systems / Tomás G. Moreira ; Marco A. Wehrmeister ; Carlos E. Pereira ; Jean-François Pétin ; Eric Levrat |
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors / Roshan Ragel ; Angelo Ambrose ; Jorgen Peddersen ; Sri Parameswaran |
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement / Markus Becker |
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems / Steffen Kollmann ; Victor Pollex ; Frank Slomka |
Distributed Architectures and Design Support |
Dependency-Driven Distribution of Synchronous Programs / Daniel Baudisch ; Jens Brandt ; Klaus Schneider |
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC / Philipp A. Hartmann ; Kim Grüttner ; Achim Rettberg ; Ina Podolski |
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems / Frédéric Fauberteau ; Serge Midonnet ; Laurent George |
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems / Claudius Stern ; Philipp Adelt ; Matthias Schmitz |
Biologically-Inspired Collaborative Computing (BICC 2010) |
Ants and Adaptive Systems / Peter Lindsay ; Mike Hinchey ; Jon Timmis |
Model Checking the Ant Colony Optimisation / Lucio Mauro Duarte ; Luciano Foss ; Flávio Rech Wagner ; Tales Heimfarth |
Feature Selection for Classification Using an Ant System Approach / Nadia Abd-Alsabour |
Novelty-Aware Attack Recognition-Intrusion Detection with Organic Computing Techniques / Dominik Fisch ; Ferdinand Kastl ; Bernhard Sick |
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms / Wenjing Zhao ; Jiangjun Tang ; Sameer Alam ; Axel Bender ; Hussein A. Abbass |
Learning Classifier Systems and Collaborative Systems |
A Collaborative Decision Support Model for Marine Safety and Security Operations / Uwe Glässer ; Piper Jackson ; Ali Khalili Araghi ; Hans Wehn ; Hamed Yaghoubi Shahir |
Combining Software and Hardware LCS for Lightweight On-Chip Learning / Andreas Bernauer ; Johannes Zeppenfeld ; Oliver Bringmann ; Andreas Herkersdorf ; Wolfgang Rosenstiel |
Collaborating and Learning Predators on a Pursuit Scenario / Nugroho Fredivianus ; Urban Richter ; Hartmut Schmeck |
SelSta-A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking / Bojan Jakimovski ; Michael Kotke ; Martin Hörenz ; Erik Maehle |
Author Index |
Distributed and Parallel Embedded Systems (DIPES 2010) |
Preface / Marilyn Wolf ; Bernd Kleinjohann ; Lisa Kleinjohann |
Opening and Keynote |