NDLI: Adaptive model learning for continual verification of non-functional properties

Please wait, while we are loading the content...

Extreme big data processing in large-scale graph analytics and billion-scale social simulation

Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation

Speeding up processing data from millions of smart meters

Efficient optimization of software performance models via parameter-space pruning

The taming of the shrew: increasing performance by automatic parameter tuning for java garbage collectors

Engineering resource management middleware for optimizing the performance of clouds processing mapreduce jobs with deadlines

Understanding, modelling, and improving the performance of web applications in multicore virtualised environments

LIMBO: a tool for modeling variable load intensities

System performance analyses through object-oriented fault and coupling prisms

Application performance management using learning, optimization, and control

Software contention aware queueing network model of three-tier web systems

Modelling database lock-contention in architecture-level performance simulation

On the limits of modeling generational garbage collector performance

Automated analysis of performance and energy consumption for cloud applications

Exploring synergies between bottleneck analysis and performance antipatterns

Constructing performance model of JMS middleware platform

A power-measurement methodology for large-scale, high-performance computing

A meta-controller method for improving run-time self-architecting in SOA systems

An evaluation of zookeeper for high availability in system S

LibReDE: a library for resource demand estimation

Run-time performance optimization of a BigData query language

Efficient and accurate stack trace sampling in the Java hotspot virtual machine

Benchmarking graph-processing platforms: a vision

An experimental methodology to evaluate energy efficiency and performance in an enterprise virtualized environment

Adaptive model learning for continual verification of non-functional properties

Agile middleware for scheduling: meeting competing performance requirements of diverse tasks

Scalable hybrid stream and hadoop network analysis system

Server efficiency rating tool (SERT) 1.0.2: an overview

Model-driven engineering in practice: integrated performance decision support for process-centric business impact analysis

PowerPerfCenter: a power and performance prediction tool for multi-tier applications

Real-time multi-cloud management needs application awareness

Performance queries for architecture-level performance models

SPECjbb2013 1.0: an overview

Continuous validation of load test suites

Adaptive model learning for continual verification of non-functional properties

Content Provider	ACM Digital Library
Author	Rafiq, Yasmin Calinescu, Radu Johnson, Kenneth Bakır, Mehmet Emin
Abstract	A growing number of business and safety-critical services are delivered by computer systems designed to reconfigure in response to changes in workloads, requirements and internal state. In recent work, we showed how a formal technique called continual verification can be used to ensure that such systems continue to satisfy their reliability and performance requirements as they evolve, and we presented the challenges associated with the new technique. In this paper, we address important instances of two of these challenges, namely the maintenance of up-to-date reliability models and the adoption of continual verification in engineering practice. To address the first challenge, we introduce a new method for learning the parameters of the reliability models from observations of the system behaviour. This method is capable of adapting to variations in the frequency of the available system observations, yielding faster and more accurate learning than existing solutions. To tackle the second challenge, we present a new software engineering tool that enables developers to use our adaptive learning and continual verification in the area of service-based systems, without a formal verification background and with minimal effort.
Starting Page	87
Ending Page	98
Page Count	12
File Format	PDF
ISBN	9781450327336
DOI	10.1145/2568088.2568094
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-03-22
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Discrete-time markov models On-line model learning Runtime quantitative verification Service-based systems
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time

Continual verification of non-functional properties in cloud-based systems ∗ invited paper.

Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models

Mitigating the obsolescence of quality specifications models in service-based systems

Lotus@Runtime: a tool for runtime monitoring and verification of self-adaptive systems

Reasoning on Non-Functional Requirements for Integrated Services

Y.: Developing self-verifying service-based systems (2013)

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

Model-based Runtime Verification Framework for Selfoptimizing Systems (2006)

Adaptive model learning for continual verification of non-functional properties

Similar Documents

Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time

Continual verification of non-functional properties in cloud-based systems ∗ invited paper.

Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models

Mitigating the obsolescence of quality specifications models in service-based systems

Lotus@Runtime: a tool for runtime monitoring and verification of self-adaptive systems

Reasoning on Non-Functional Requirements for Integrated Services

Y.: Developing self-verifying service-based systems (2013)

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

Model-based Runtime Verification Framework for Selfoptimizing Systems (2006)

Adaptive model learning for continual verification of non-functional properties