Full Text Documents

Search


Table of Contents
Distributed, Parallel and Biologically Inspired Systems
Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
Front Matter

Distributed and Parallel Embedded Systems (DIPES 2010)


Distributed, Parallel and Biologically Inspired Systems : Preface
Marylyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann
3

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 J. Machado, João M. Fernandes, João P. 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 Mueller, 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


Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
Wolfgang Mueller, 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
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services
Sufyan Samara, Yuhong Zhao, Franz J. Rammig
102-113
Efficient Mutation-Analysis Coverage for Constrained Random Verification
Tao Xie, Wolfgang Mueller, Florian Letombe
114-124

Code-Generation, Simulation and Timing Analysis


Generating VHDL source code from UML models of embedded systems
Tomas 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 Ragel, Angelo Ambrose, Jorgen Peddersen, Sri Parameswaran
137-144
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
Markus Becker, Henning Zabel, Wolfgang Mueller
145-156
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems
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
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)


Biologically-Inspired Collaborative Computing (BICC 2010) : Preface
Peter A. Lindsay, Franz J. Rammig, Jon Timmis
219

Ants and Adaptive Systems


Model Checking the Ant Colony Optimisation
Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth
221-232
Feature Selection for Classification Using an Ant System Approach
Nadia Abd-Alsabour
233-241
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 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