networks of mobile arbitrary devices (nomads) miroslaw malek humboldt-university berlin, germany...
TRANSCRIPT
Networks Of Mobile Arbitrary Devices (NOMADs)
Miroslaw Malek
Humboldt-University Berlin, Germany
NOMADs
SensorsNetw orks
User
Servers/W orkstations
m obile Devices
Actuators
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-schedulertimer
task
tasktask
mss-schedulertimer
task
tasktaskmessage
message-interface
node 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 treeJoint Program of Activities
Jointly Executed Research IntegratingActivities
ExcellenceSpreadingActivities
DependabilityTechnologies
CentralTopics
GlobalIssues
Rigorous design(fault prevention)
Verification andvalidation(fault rem oval)
Fault tolerance
System evaluation(fault forecasting)
Openinformationinfrastructures
Mobilecomputing andwirelesscommunications
Criticalinfrastructureinterdependencies
Proactivecomputing
Dependabilitybasicconcepts
Dependabilitypolicy
Cognitiveergonomics
Embeddedsystems