Networks Of Mobile Arbitrary Devices (NOMADs) Miroslaw Malek Humboldt-University Berlin, Germany

NOMADs

 Eight billion processors in 2001 (140 M of them in “real“ computers, so the focus should be on embedded systems)  “Featuremania“ vs. easily-distinguishable quality  Components + “glue“  Scalability, composability, local/remote processing The World of NOMADs:

for Dependability  Need for “composability“ with respect to properties such as  dependability  timeliness  security  mobility  A generic concept of composability  clear definition  composability as property of a system architecture in order to “map“ architecture‘s property to properties of its elements Components and Architectures

 ensures properties of systems built following the rules of the architecture  makes system design easier  architecture makes it impossible to build system without certain properties  simpler verification because of safety properties  shifts aspects from system design to architecture design  allows considering any property Composability...

Message Scheduled System (MSS) mss- scheduler timer task mss- scheduler timer task message message- interface node broadcast-communication (e.g., CAN-bus) Case Study:

Our Interests  Design, Synthesis und Analysis of NOMADs (we can demonstrate transatlantic experiments and the feasibility of the quality-of-service guarantees for web computing systems based on commercial off-the-shelf components)  End-to-End Availability and Real Time  Life Cycles (esp. Deployment, (Re)Configuration and Online Replacement)  Scalability and Composability  Middleware Solutions for Responsiveness, Pervasive und Autonomic Computing

Our interests on the proposed tree Joint Program of Activities Jointly Executed Research Integrating Activities Excellence Spreading Activities Dependability Technologies Central Topics Global Issues Rigorous design (fault prevention) Verification and validation (fault rem oval) Fault tolerance System evaluation (fault forecasting) Open information infrastructures Mobile computing and wireless communications Critical infrastructure interdependencies Proactive computing Dependability basic concepts Dependability policy Cognitive ergonomics Embedded systems