Software Runtime

Transcription

1 Hausi A. Müller Computer Science Faculty of Engineering University of Victoria Engineering Autonomic Systems (EASy) Software Runtime Our research projects 2 1

2 + Instrumented + Interconnected Intelligent 3 A SAS can alter its behaviour at runtime in response to its perception of its environment and its own state in the form of self adaptation. SAS abilities Provide Elasticity Assess its own behaviour Observe its context or environment Adapt without shut down Magee, Kramer: Dynamic Structure in Software Architectures, SIGSOFT FSE, pp (1996) Oreizy, et al.: An Architecture Based Approach to Self Adaptive Software, IEEE Intelligent Systems, pp (1999 Giese, Brun, Di Marzo Serugendo, Gacek, Kienle, Müller, Pezzè, Shaw: Engineering self adaptive4and self managing systems, LNCS 5527:47 69 (2009) 2

3 5 From satisfaction of requirements through traditional, top down engineering The system shall do this but it may do this as long as it does this. To satisfaction of requirements by regulation of complex, decentralized systems 6 3

4 The internal mechanisms of humans continuously work together to maintain essential variables within physiological context and limits the n dimensional viability zone The goal of human self managing behavior is directly linked to survivability If the external or internal environment pushes the system outside its physiological equilibrium zone, the system will work towards returning to the equilibrium zone n dimensional viability zone equilibrium Aubin, Bayen, Saint Pierre: Viability Theory: New Directions, Springer (2011) 7 Requirements@runtime Models@runtime Monitoring@runtime Analysis@runtime Self Adaptation@runtime CM@runtime V&V@runtime Assurance@runtime Profound impact on SE and CS Rethink software design and evolution for highly adaptive software systems Feedback loops and control theory are key Baresi, Ghezzi: The disappearing boundary between development time and run time. 8 In: FSE/SDP Workshop on Future of Software Engineering Research (FoSER 2010), pp (2010) 4

5 Conduct fundamental research on situation aware self adaptive software intensive systems to optimize their dynamic capabilities Context Management Feedback Control Runtime V&V 9 Environmental uncertainty Behavioral uncertainty Context information Coutaz, Crowley, Dobson, Garlan: Context is key, CACM 48(3) (2005) Whittle et al.: RELAX: A language to address uncertainty in self adaptive systems requirements, Requirements Engineering 15(2): (2010) Inverardi, Mori: Feature oriented evolutions for context aware adaptive systems. In: Proc. IWPSE EVOL, pp , (2010) 10 5

6 Context representation Modeling of relevant context Context management strategies Adaptation of context models at runtime Context management Adaptive context management strategies Gathering, provisioning Context reasoning 11 Analyze Monitor Regulate objectives maintain equilibrium Plan Adapt Müller, Pezzè, Shaw: Visibility of control in adaptive systems, Proc. Second Int. Workshop on Ultra Large Scale Software Intensive Systems (ULSSIS 2008), pp (2008) 12 6

7 V&V ensures that software satisfies requirements and quality attributes Runtime V&V ensures proper system operation during adaptation Certifiable V&V methods are critical for smart systems Dahm: Technology Horizons: A Vision for Air Force Science & Technology During TR USAF (2010) Villegas, Müller, et al.: A Framework for Evaluating Quality Driven Self Adaptive Software Systems, In: Proc. 6th 13 ACM/IEEE Software Engineering for Adaptive and Self Managing Systems (SEAMS 2011), pp (2011) V&V Context Monitors Monitor Analyze Regulate objectives maintain equilibrium V&V Analysis Plan Plan Validator Adapt Tamura, Villegas, Müller, et al.: Towards practical runtime verification and validation of self adaptive software systems. In: de Lemos, Giese, Müller, Shaw (Eds.), Software Engineering for SAS, Springer (2012) 14 7

8 study certifiable V&V methods and tools 15 Industrial projects Müller, Mylopoulos: Design and Evolution of Autonomic Application Software, IBM/NSERC CRD ( ) Müller, Kontogiannis, Mylopoulos, Wong: Logging, Monitoring and Diagnosis Systems for Enterprise Software Applications (LMD), CA/NSERC CRD ( ) Conferences and workshops SEAMS: Int. Symp. on Software Engineering for Adaptive and Self Managing Systems ( ) SEfAS: Software Eng. for SAS, Dagstuhl (2008, 2010) EASy: Engineering Autonomic Systems, Shonan Meeting (2012) Courses Müller: Self Adaptive & Self Managing Systems, Grad Course (2008, 2010) 16 8

9 SAVI Smart Applications on Virtual Infrastructure NSERC Strategic Network All students, Sudhakar Ganti SmarterContext Smart Personal Web Norha Villegas, IBM CAS YaKit Smart Messaging System Ron Desmarais, Przemek Lach Smart Resource Management Ron Desmarais, Sowmya B., Venkatesh S., Ulrike Stege SDDS Smart Services Dynamic discovery, dynamic security assurance Atousa Pahlevan, Alex Thomo Smart Phone Applications Sahar Ebrahimi, Ishita Jain, Qian Yang 17 Optimize Theme 1 Smart Applications Theme 2 Extended Cloud Computing Theme 3 Smart Converged Edge Theme 4 Integrated Wireless/Optical Access Theme 5 Application Platform Testbed Optimize 18 9

10 User driven context management framework Context models at three different levels of abstraction Context monitoring and reasoning engine Personal web sphere model Personal web case study IBM CAS Project of the Year 2011 Villegas, Müller, et al.: A dynamic context management infrastructure for supporting user driven web integration in the personal web, Proc. 21st CASCON, pp (2011) 19 Keynote Speakers: Raffaello D'Andrea, ETH Zürich Co Founder of Kiva Systems acquired by Amazon for $775M Franco Zambonelli, Uni. of Modena & Reggio Emilia, Italy 20 10