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 |
