ASCENS at end of Year 1

552 views

Published on

Presentation by Ascens at the Awareness Inter-Project Day, Bologna 2012

Published in: Technology, Business
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
552
On SlideShare
0
From Embeds
0
Number of Embeds
22
Actions
Shares
0
Downloads
2
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

ASCENS at end of Year 1

  1. 1. ASCENSAutonomic Service Component EnsemblesMartin Wirsing and Matthias HölzlLMU Munich, GermanyAWARENESS Inter-Project WorkshopBologna, 23-24 January, 2012 Future Emerging Technologies www.ascens-ist.eu
  2. 2. Ensembles  Massive numbers of nodes  Extremely heterogeneous  Complex interactions between nodes  Complex interactions with humans or other systems  Operating in open and non-deterministic environments  Dynamic adaptation to  new requirements  technologies and  environmental conditions Seite 2 Martin Wirsing 2
  3. 3. Approach Service Component Ensemble (SCE) Engineering Emergence reliable, predictable, self-adaptive, balances efficient execution and Design and runtime control flexible behaviour via of intended and dynamic self-expression emergent behaviours, static and dynamic Service Component (SC) support from self-aware, adaptive formal methods secure and safe based on knowledge Seite 3 Martin Wirsing
  4. 4. Approach Service Component Ensemble (SCE) Case Studies Science Clouds Engineering Emergence Swarm Robotics Collaborating E-Vehicles Tool Integr. Platform Engineering SCEL SCE Language (SCEL) Knowledge Correctness Self-Awareness of SCs and SCEs Adaptation & Foundational Models Self-Expression Seite 4 Martin Wirsing
  5. 5. Aim of ASCENS Build a coherent and integrated suite of models and techniques for constructing Autonomic Service-Component Ensembles Seite 5 Martin Wirsing
  6. 6. Summary of Results Year 1  Languages SCEL V1.0, BIP, KnowLang for modeling, analyzing and specifying knowledge in ensembles  System model GEM for adaptive and self-aware ensembles  SOTA approach for specifying and analyzing adaptation requirements  Verification techniques for qualitative and quantitative properties of systems in uncertain environments  Application requirements and system needs for case studies  Robot ensembles, science cloud, collaborative e-vehicles  Dissemination  Website with blog  50 publications  2 summer schools (co-organized)  ASCENS results taught in > 15 courses and tutorials Seite 6 Martin Wirsing 6
  7. 7. Confidence and Reliability: Difficulties  Ensembles are  infinite state systems with varying members and environments  concurrent systems suffering the state space explosion problem  Uncertain environment and changing requirements  Heterostatic ensembles (Klopf ~1975)  maximize performance instead of simple goal satisfaction  Confidence vs. confidentiality  Confidence in reliability of a syteme = subjective reliabiity of the system  Confidentiality = notion of information security Seite 7 Martin Wirsing 7
  8. 8. Confidence and Reliability Ideas:A Formal Methods Approach  Specify confidentiality and reliability requirements  in a (continuous/discrete time stochastic) temporal logic  Validate and verify requirements for SC ensembles  A posteriori verification  Compositional techniques for  specific properties (e.g. deadlock)  specific architectures (e.g. controllers, from synchronous to asynchronous communication, …)  Correctness by supervised construction  Correctness preserving architectural principles for system construction and adaptation  Runtime monitoring of global/emergent properties  Predictive model analysis (at design and runtime) Seite 8 Martin Wirsing 8
  9. 9. Confidence and Reliability  Advice from other projects  Trust models for measuring confidence and reliability  Measures for confidence of/in (self-) aware components  Designing emergence  Challenges for measuring confidence  Monitoring global and emergent properties  Specifying and controlling adaptation  Combining formal reasoning techniques with models of trust  „Pervasive formal methods“ for enhancing confidence  Interaction of global and local confidence Seite 9 Martin Wirsing 9

×