IFIP TC6 Open Digital Library

DIPES 2010: Brisbane, Queensland, Australia

Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf

Springer, IFIP Advances in Information and Communication Technology 329, ISBN: 978-3-642-15233-7


Distributed and Parallel Embedded Systems (DIPES 2010)


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 Jorge Machado, João M. Fernandes, João Paulo 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, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard


Fault Tolerance

Task Migration for Fault-Tolerant FlexRay Networks.

Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller 0003, 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.

Wolfgang Müller 0003, 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, Wolfgang Müller 0003, 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 Eduardo Pereira, Jean-François Pétin, Eric Levrat


RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors.

Roshan G. Ragel, Jude Angelo Ambrose, Jorgen Peddersen, Sri Parameswaran


A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.

Markus Becker, Henning Zabel, Wolfgang Müller 0003


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 0001


An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems.

Claudius Stern, Philipp Adelt, Matthias Schmitz, Lisa Kleinjohann, Bernd Kleinjohann


Biologically-Inspired Collaborative Computing (BICC 2010)


Peter Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis


Ants and Adaptive Systems

Model Checking the Ant Colony Optimisation.

Lucio Mauro Duarte, Luciana 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 J. 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