This book constitutes the refereed proceedings of the 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and the 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010, held as part of the 21st World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. The 18 revised full papers presented at DIPES were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on specification and modeling; fault tolerance; verification and validation; code-generation, simulation and timing analysis; and distributed architectures and design support. The 8 revised full papers presented at BICC were carefully reviewed and selected from numerous submissions. They deal with organic computing, autonomic computing, self-organizing systems, pervasive computing and related areas.
Author(s): Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf
Edition: 1st Edition.
Publisher: Springer
Year: 2010
Language: English
Pages: 332
IFIP Advances in Information and Communication Technology 329......Page 1
Distributed, Parallel and Biologically Inspired Systems: 7th IFIPTC 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......Page 3
IFIP World Computer Congress 2010 (WCC 2010)......Page 5
Preface......Page 6
Organization......Page 7
Table of Contents......Page 10
Distributed and Parallel Embedded Systems (DIPES 2010)......Page 14
Preface......Page 16
Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design......Page 17
Introduction......Page 19
Related Work......Page 20
Syntax of the Language......Page 21
Example......Page 23
Dynamic State of a Rialto Program......Page 24
Semantics of Statements......Page 25
Policies and Examples of Models of Computation......Page 28
Conclusion and Future Work......Page 29
References......Page 30
Introduction......Page 31
Text-Based Descriptions......Page 33
Rules......Page 35
Behavioral Snapshots......Page 37
Specification with Colored Petri Nets......Page 39
Conclusions and Future Work......Page 41
References......Page 42
Introduction......Page 43
Hardware Resource Model......Page 44
Hardware Modeling Methodology......Page 46
Hardware Simulation......Page 51
Case Study......Page 53
References......Page 54
Introduction......Page 55
Overview the fUML Execution Model......Page 57
On the Actual Java Specification of the Execution Model......Page 58
Related Works......Page 61
Introducing an Explicit Scheduler in the fUML Execution Model......Page 63
Conclusion......Page 65
References......Page 66
Introduction......Page 67
Related Work......Page 68
FlexRay......Page 69
Overview......Page 70
Exclusive Usage of Dynamic Segment......Page 72
Usage of Static and Dynamic Segments......Page 73
Experimental Results......Page 75
Conclusion and Outlook......Page 76
References......Page 77
Introduction......Page 78
System Model......Page 79
Towards a Flexible and Adaptive Replication Control......Page 80
Coordinated Activation of Passive Backup Replicas......Page 82
Evaluation......Page 84
References......Page 87
Introduction......Page 90
Classification Tree Method......Page 91
Functional Verification......Page 92
Formalization of Requirements......Page 93
Transformation of Class Diagrams......Page 95
Definition of Test Scenarios......Page 96
Testbench Generation......Page 98
Experimental Results......Page 99
Conclusions and Outlook......Page 100
References......Page 101
Introduction......Page 102
Thread Models in Java and C......Page 104
Locks......Page 105
Possible Implementation Refinements for pThreads......Page 107
Experiments......Page 108
Example Programs......Page 109
Verification Results......Page 110
References......Page 112
Introduction......Page 114
Distributed Reconfigurable System on Chip with Adaptable OS Services......Page 115
Application Scenario......Page 117
Model Checking Paradigm......Page 118
Integrate Online Model Checking into Distributed RSoC with Adaptable OS Services......Page 120
Communication between the MC and SES's......Page 121
Recovery Process......Page 122
Related Work......Page 123
References......Page 124
Introduction......Page 126
Related Work......Page 128
The Simulation Flow and Its Cost......Page 129
Dynamic Distribution Adjustment for More Efficient Coverage......Page 131
Results......Page 133
Conclusion......Page 134
References......Page 135
Introduction......Page 137
Overview of the Proposed Approach......Page 139
Mapping UML to VHDL......Page 141
Mapping Rules......Page 142
Case Study......Page 143
Related Works......Page 145
References......Page 147
Introduction......Page 149
Related Work......Page 151
Software Generation......Page 152
Hardware Generation for Synthesis......Page 153
Customized ASIPs......Page 154
Conclusion......Page 155
References......Page 156
Introduction......Page 157
Related Work......Page 158
RTOS Simulation Environment......Page 160
Dynamic Binary Translation......Page 161
Inter-task Communication and I/O......Page 162
Synchronization and Task Preemption......Page 163
Experimental Results......Page 164
Conclusion......Page 166
References......Page 167
Introduction......Page 169
Related Work and Contribution......Page 170
Maximum Event Streams......Page 171
Minimum Event Streams......Page 172
Real-Time Analysis......Page 173
Improved Maximum Event Density......Page 175
Experiments and Results......Page 177
Conclusion......Page 179
References......Page 180
Introduction......Page 181
Synchronous Guarded Actions......Page 183
Partitioning System Descriptions into Components......Page 184
Communication Infrastructure......Page 188
Summary......Page 190
References......Page 191
Introduction......Page 193
Related Work......Page 194
The OSSS Methodology for Modelling Parallel SW......Page 196
Multi-core Scheduling with Shared Resources......Page 198
Experiments......Page 200
Conclusion and Future Work......Page 202
References......Page 203
Introduction......Page 205
Terminology......Page 206
Allowance Concept......Page 207
Allowance Computed from WCRT......Page 208
Allowance Computed from Sensitivity Analysis......Page 209
Allowance-Fit-Decreasing......Page 210
Partitioned Scheduling Algorithm......Page 211
Simulation Results......Page 212
References......Page 215
Introduction......Page 217
Reconfiguration Architecture......Page 219
Automatic Structure Determination......Page 221
Reconfiguration Process......Page 223
Realization of the Demonstrator......Page 224
Related Work......Page 225
Conclusion and Future Work......Page 227
References......Page 228
Biologically-Inspired Collaborative Computing (BICC 2010)......Page 0
Preface......Page 229
Introduction......Page 230
Background......Page 231
Probabilistic Model Checking......Page 232
Modelling......Page 233
Verification......Page 237
Analysis and Discussion......Page 238
Related Work......Page 239
References......Page 240
Introduction......Page 242
Related Work......Page 244
The Proposed Algorithm......Page 246
Methods......Page 247
Discussion......Page 248
References......Page 249
Introduction......Page 251
Theoretical and Methodological Foundations......Page 252
Representation of Classification Knowledge......Page 253
Knowledge Acquisition Using Sample Data......Page 254
Knowledge Adaptation Based on Novelty-Awareness......Page 257
Experiments......Page 259
References......Page 261
Introduction......Page 263
First Come First Served......Page 265
Constrained Position Shifting......Page 266
MEBRA – Multiobjective Evolutionary Based Risk Assessment......Page 267
ALSS Representation......Page 268
ALSS Evaluation......Page 269
ALSS Mining......Page 270
Results......Page 271
References......Page 273
Introduction......Page 275
Background......Page 276
Command and Control......Page 277
Resource Hierarchy......Page 278
Organization Principles......Page 279
Automated Planning......Page 280
System Reference Model......Page 281
Describing the Abstract Generic Scenario......Page 282
Abstract State Machine Representation......Page 284
References......Page 285
Introduction......Page 287
Related Work......Page 288
Methodology......Page 289
Experimental Setup......Page 290
Multiplexer......Page 292
Task Allocation......Page 294
Component Parameterization......Page 295
References......Page 297
Motivation......Page 299
Learning Classifier Systems in MASs......Page 300
Grid World......Page 301
Predators......Page 302
Fair Moves......Page 303
Common Rule Base......Page 304
The Algorithm......Page 305
Methodology......Page 306
Results and Comparisons......Page 308
Conclusion and Outlook......Page 309
References......Page 310
Introduction......Page 311
S2-HuRo (Self-Stabilizing Humanoid Robot)......Page 312
SelSta Approach Details......Page 313
Experimental Test Setup......Page 317
Results from Experiments......Page 318
References......Page 321
Author Index......Page 323
