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
Contents
Distributed and Parallel Embedded Systems (DIPES 2010)
Opening and Keynote
Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design.
Rolf Ernst
5-6
Specification and Modeling
Rialto 2.0: A Language for Heterogeneous Computations.
Johan Lilius, Andreas Dahlin, Lionel Morel
7-18
Scenario-Based Modeling in Industrial Information Systems.
Ricardo Jorge Machado, João M. Fernandes, João Paulo Barros, Luís Gomes
19-30
An Entirely Model-Based Framework for Hardware Design and Simulation.
Safouan Taha, Ansgar Radermacher, Sébastien Gérard
31-42
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
43-54
Fault Tolerance
Task Migration for Fault-Tolerant FlexRay Networks.
Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller 0003, Yuan Zhi
55-65
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems.
Luís Nogueira, Luís Miguel Pinho, Jorge Coelho
66-77
Verification and Validation
Wolfgang Müller 0003, Alexander Bol, Alexander Krupp, Ola Lundkvist
78-89
Model Checking of Concurrent Algorithms: From Java to C.
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
90-101
Sufyan Samara, Yuhong Zhao, Franz J. Rammig
102-113
Efficient Mutation-Analysis Coverage for Constrained Random Verification.
Tao Xie, Wolfgang Müller 0003, Florian Letombe
114-124
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
125-136
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors.
Roshan G. Ragel, Jude Angelo Ambrose, Jorgen Peddersen, Sri Parameswaran
137-144
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.
Markus Becker, Henning Zabel, Wolfgang Müller 0003
145-156
Steffen Kollmann, Victor Pollex, Frank Slomka
157-168
Distributed Architectures and Design Support
Dependency-Driven Distribution of Synchronous Programs.
Daniel Baudisch, Jens Brandt, Klaus Schneider
169-180
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC.
Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, Ina Podolski
181-192
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems.
Frédéric Fauberteau, Serge Midonnet, Laurent George 0001
193-204
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems.
Claudius Stern, Philipp Adelt, Matthias Schmitz, Lisa Kleinjohann, Bernd Kleinjohann
205-216
Biologically-Inspired Collaborative Computing (BICC 2010)
Ants and Adaptive Systems
Model Checking the Ant Colony Optimisation.
Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth
221-232
Novelty-Aware Attack Recognition - Intrusion Detection with Organic Computing Techniques.
Dominik Fisch, Ferdinand Kastl, Bernhard Sick
242-253
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms.
Wenjing Zhao, Jiangjun Tang, Sameer Alam, Axel Bender, Hussein A. Abbass
254-265
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
266-277
Combining Software and Hardware LCS for Lightweight On-Chip Learning.
Andreas Bernauer, Johannes Zeppenfeld, Oliver Bringmann, Andreas Herkersdorf, Wolfgang Rosenstiel
278-289
Collaborating and Learning Predators on a Pursuit Scenario.
Nugroho Fredivianus, Urban Richter, Hartmut Schmeck
290-301
SelSta - A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking.
Bojan Jakimovski, Michael Kotke, Martin Hörenz, Erik Maehle
302-313