1st International Workshop on Run-time mOdels for Self-managing Systems and Applications
In conjunction with Fourth International Conference on Performance Evaluation Methodologies and Tools
Go to the registration system
- The workshop deadline has been extended to July 24, 2009.
- The authors of the best selected papers will be invited to submit an extended version of their work to a book under Springer Birkhauser's "Autonomic Systems" series.
- The workshop papers will be published together with regular papers in the conference proceedings and will be included in the ACM Digital Library
Important DatesDeadline for Workshop paper submissions:
Notification of acceptance: August 1, 2009
Camera-ready version and copyright form (hard): August 15, 2009
Workshop day: October 19, 2009
ObjectivesPerformance models have a central role in the design, capacity planning, and management of computing systems. Models may be used at design-time to support capacity planning of the physical infrastructure and to analyze the effects and trade-offs of different architectural choices, anticipating the discovery of potential bottlenecks which may degrade system performance.
Models may also be used at run-time to assess the compliance of the running system with respect to the design-time model and to measure the real system performance parameters in order to fill the gap between design-time and run-time.
Models at run-time can also assess the compliance of service level agreements and trigger the run-time re-conﬁguration of autonomic systems. The goal of this workshop is to bring together researchers and practitioners, who investigate concepts, models and tools for the run-time management of computing systems to analyze autonomic systems transients and describe their behavior at very fine grained time scales.
Topics include but are not limited to:
- Run-time monitoring and tools, models parameters estimation
- Control theory models, system identification methods and tools for autonomic systems
- Burstiness analyses and system transients modeling
- QoS management and dynamic reconfiguration of autonomic systems
- Fault tolerance assurance and availability assessment in evolving run-time systems
Researchers and practitioners, both from the Academia and from the Industry, working in the areas of performance evaluation, control theory, system identification, and QoS management of autonomic systems.
Accepted papers and Technical program
Session I: Workshop opening
- Welcome from the ROSSA chairs
- Keynote Speech: Paola Inverardi. Run-time Models in Adaptive Service Infrastructures.
Session II: Analytical Performance Models.
- Jerry Rolia, Giuliano Casale, Diwakar Krishnamurthy, Stephen Dawson and Stephan Kraft. Predictive Modeling of SAP ERP Applications: Challenges and Solutions.
15.30-16.00. Coffee Break
Session III: Run-time Parameters Estimation.
- Fabian Brosig, Samuel Kounev and Klaus Krogmann. Automated Extraction of Palladio Component Models from Running Enterprise Java Applications.
- Dinesh Kumar, Asser Tantawi and Li Zhang. Real-Time Performance Modeling for Adaptive Software Systems.
Session IV: Black-box Models and Frameworks for Run-time Autonomic Management.
- Charles Poussot Vassal, Mara Tanelli and Marco Lovera. Dynamic Trade-off Analysis of QoS and Energy Saving in Admission Control for Web Service Systems.
- Nicola Calcavecchia and Elisabetta Di Nitto. Incorporating prediction models in the SelfLet framework: a plugin approach.
Paola Inverardi. Run-time Models in Adaptive Service InfrastructuresSoftware in the near ubiquitous future will need to cope with variability, as software systems get deployed on an increasingly large diversity of computing platforms and operates in different execution environments. Heterogeneity of the underlying communication and computing infrastructure, mobility inducing changes to the execution environments and therefore changes to the availability of resources and continuously evolving requirements require software systems to be adaptable according to the context changes. Software systems should also be reliable and meet the user's performance requirements and needs. Moreover, due to its pervasiveness, software systems must be dependable. Supporting the validation of these self-adaptive systemes to ensure dependability requires a complete rethinking of the software life cycle. The traditional division among static analysis and dynamic analysis is blurred by the need to validate dynamic systems adaptation. Models play a key role in the validation of dependable systems, dynamic adaptation calls for the use of such models at run time. In this talk I will describe the approach we have undertaken in recent projects to address the challenge of assessing dependability for adaptive software systems.
Paola Inverardi is a Professor at the Computer Science Department at University of L'Aquila. Her research interests are in the field of the application of formal techniques to the development of software systems. These include software specification and verification of concurrent and distributed systems, deduction systems, and Software Architectures. Current research interests mainly concentrate in the field of software architectures specifically addressing the verification and analysis of software architecture properties, both behavioral and quantitative. On this topics Paola collaborates with several national and international companies. Recently Paola is working also on the design and development of mobile resource aware applications.
Workshop Publication and Submission InstructionsThe workshop papers will be published together with regular papers in the conference proceedings and will be included in the ACM Digital Library. The following types of submission are solicited:
- Long paper submissions, describing substantial contributions of novel ongoing work. Long papers should be at most 10 pages long.
- Short paper submissions, describing work in progress. These papers should be at most 6 pages long.
- The first page should include the title, author's name(s), affiliation, mailing address, e-mail, the abstract of the paper and up to five keywords.
- Papers should be submitted in the ACM conference proceedings format: Suitable templates can be retrieved from the ACM Web site.
- Papers should be submitted exclusively as PDF files through easychair.
Dipartimento di Elettronica e Informazione
Politecnico di Milano
T.J. Watson Research Center
Hawthorne, NY, USA