Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Mike Hinchey

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernd Kleinjohann

    1. University of Paderborn / C-Lab, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Lisa Kleinjohann

    1. University of Paderborn / C-Lab, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Peter A. Lindsay

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Franz J. Rammig

    1. Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Jon Timmis

    1. Department of Computer Science and Department of Electronics, University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Marilyn Wolf

    1. Georgia Institute of Technology, Atlanta, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 329)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Download chapter PDF

  2. Distributed and Parallel Embedded Systems (DIPES 2010)

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Preface

      • Marilyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann
      Pages 3-3

  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
Back to top

Other volumes

  1. Distributed, Parallel and Biologically Inspired Systems

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation