Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, ... in Information and Communication Technology)

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