Distributed, Parallel and Biologically Inspired Systems

1. Front Matter

   PDF

2. Distributed and Parallel Embedded Systems (DIPES 2010)

   1. Front Matter

      Pages 1-1

      PDF

   2. Preface

      • Marilyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann

      Pages 3-3

3. Opening and Keynote

   1. Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design

      • Rolf Ernst

      Pages 5-6

4. Specification and Modeling

   1. Rialto 2.0: A Language for Heterogeneous Computations

      • Johan Lilius, Andreas Dahlin, Lionel Morel

      Pages 7-18

   2. Scenario-Based Modeling in Industrial Information Systems

      • Ricardo J. Machado, João M. Fernandes, João P. Barros, Luís Gomes

      Pages 19-30

   3. An Entirely Model-Based Framework for Hardware Design and Simulation

      • Safouan Taha, Ansgar Radermacher, Sébastien Gérard

      Pages 31-42

   4. 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

      Pages 43-54

5. Fault Tolerance

   1. Task Migration for Fault-Tolerant FlexRay Networks

      • Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Mueller, Yuan Zhi

      Pages 55-65

   2. Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems

      • Luís Nogueira, Luís Miguel Pinho, Jorge Coelho

      Pages 66-77

6. Verification and Validation

   1. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems

      • Wolfgang Mueller, Alexander Bol, Alexander Krupp, Ola Lundkvist

      Pages 78-89

   2. Model Checking of Concurrent Algorithms: From Java to C

      • Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto

      Pages 90-101

   3. Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services

      • Sufyan Samara, Yuhong Zhao, Franz J. Rammig

      Pages 102-113

   4. Efficient Mutation-Analysis Coverage for Constrained Random Verification

      • Tao Xie, Wolfgang Mueller, Florian Letombe

      Pages 114-124

7. Code-Generation, Simulation and Timing Analysis

   1. 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

      Pages 125-136

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

      • Roshan Ragel, Angelo Ambrose, Jorgen Peddersen, Sri Parameswaran

      Pages 137-144

   3. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement

      • Markus Becker, Henning Zabel, Wolfgang Mueller

      Pages 145-156

   4. Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems

      • Steffen Kollmann, Victor Pollex, Frank Slomka

      Pages 157-168

8. Distributed Architectures and Design Support

   1. Dependency-Driven Distribution of Synchronous Programs

      • Daniel Baudisch, Jens Brandt, Klaus Schneider

      Pages 169-180

   2. Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC

      • Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, Ina Podolski

      Pages 181-192

st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20–23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to dependability and fault tolerance. rd The second part of the book contains the proceedings of BICC 2010, the 3 IFIP Conference on Biologically-Inspired Collaborative Computing. The conference is concerned with emerging techniques from research areas such as organic computing, autonomic computing and self-adaptive systems, where inspiraton for techniques - rives from exhibited behaviour in nature and biology. Such techniques require the use of research developed by the DIPES community in supporting collaboration over multiple systems. We hope that the combination of the two proceedings will add value for the reader and advance our related work.

• Organic Computing
• biologically inspired
• design
• modeling
• self-organizing system
• simulation
• validation
• verification

• Lero - the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland

  Mike Hinchey

• University of Paderborn / C-Lab, Paderborn, Germany

  Bernd Kleinjohann, Lisa Kleinjohann

• School of ITEE, University of Queensland, St.Lucia, Australia

  Peter A. Lindsay

• Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

  Franz J. Rammig

• Department of Computer Science and Department of Electronics, University of York, York, UK

  Jon Timmis

• Georgia Institute of Technology, Atlanta, USA

  Marilyn Wolf

Policies and ethics