Embedding Verification Concerns in Self-Adaptive System Code

Jahan, Sharmin; Marshall, Allen; Gamble, Rose F.

doi:10.1109/saso.2017.21

Cited by 2 publications

(6 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [11], we verified that the MMTS code (without adaptation) satisfies these requirements and derived the verification concerns using the process outlined in Section 3.1. As an outcome of the verification process, we extract impact multipliers for use in the risk comparison calculations.…”

Section: Case Studymentioning

confidence: 95%

“…This meta-data indicates state variables, conditions, functions, methods, and components that play a role in the original verification process. Verification concerns may be derived from component interfaces (provides/requires) [9], the pre-and postconditions of Hoare triples to express safety and progress requirements [11], and state variables within test scenarios, such as those used for security control implementation and assessment [16].…”

Section: Verification Concernsmentioning

confidence: 99%

“…Therefore, properties, such as J above, are also captured as verification concerns. In the case study described in Section 5, we have proven the requirements against Java code and extracted the verification concerns from those proofs, as detailed in [11].…”

Section: Verification Concernsmentioning

confidence: 99%

“…Components are generally examined independently for compliance and, then, as part of the larger system architecture through their interfaces. Within the components are the state variables, functions, and dependencies that the verification process must also examine, in the form of lemma proofs [11]. Thus, the VFlow should represent the proper granularity of the architecture description that best fits the verification process perspective and flow.…”

Section: Organizing the Verification Workflowmentioning

confidence: 99%

“…To evaluate our risk comparison methodology, we apply it to a case study that we have developed previously, called the Multi-Mode Traveler System [11]. The case study involves a system on which we impose multiple self-adaptive plans.…”

Section: Case Studymentioning

confidence: 99%

See 4 more Smart Citations

Assessing the Risk of an Adaptation using Prior Compliance Verification

Marshall

Jahan

Gamble

2018

Proceedings of the 51st Hawaii International Conference on System Sciences

Self Cite

View full text Add to dashboard Cite

Autonomous systems must respond to large amounts of streaming information. They also must comply with critical properties to maintain behavior guarantees. Compliance is especially important when a system selfadapts to perform a repair, improve performance, or modify decisions. There remain significant challenges assessing the risk of adaptations that are dynamically configured at runtime with respect to critical property compliance. Assuming compliance verification was performed for the originally deployed system, the proof process holds valuable meta-data about the variables and conditions that impact reusing the proof on the adapted system. We express this meta-data as a verification workflow using Colored Petri Nets. As dynamic adaptations are configured, the Petri Nets produce alert tokens suggesting the potential proof reuse impact of an adaptation. Alert tokens hold risk values for use in a utility function to determine the least risky adaptations. We illustrate the modeling and risk assessment using a case study.

show abstract

Section: Case Studymentioning

confidence: 95%

Section: Verification Concernsmentioning

confidence: 99%

Section: Verification Concernsmentioning

confidence: 99%

Section: Organizing the Verification Workflowmentioning

confidence: 99%

Section: Case Studymentioning

confidence: 99%

See 3 more Smart Citations

Assessing the Risk of an Adaptation using Prior Compliance Verification

Marshall

Jahan

Gamble

2018

Proceedings of the 51st Hawaii International Conference on System Sciences

Self Cite

View full text Add to dashboard Cite

show abstract

Self-Adaptive Systems: A Systematic Literature Review Across Categories and Domains

Wong¹,

Wagner²

2021

Preprint

View full text Add to dashboard Cite

Championed by IBM's vision of autonomic computing paper in 2003, the autonomic computing research field has seen increased research activity over the last 20 years. Several conferences (SEAMS, SASO, ICAC) and workshops (SISSY) have been established and have contributed to the autonomic computing knowledge base in search of a new kind of system -a self-adaptive system (SAS). These systems are characterized by being context-aware and can act on that awareness. The actions carried out could be on the system or on the context (or environment). The underlying goal of a SAS is the sustained achievement of its goals despite changes in its environment. Despite a number of literature reviews on specific aspects of SASs ranging from their requirements to quality attributes, we lack a systematic understanding of the current state of the art. This paper contributes a systematic literature review into self-adaptive systems using the dblp computer science bibliography as a database. We filtered the records systematically in successive steps to arrive at 293 relevant papers. Each paper was critically analyzed and categorized into an attribute matrix. This matrix consisted of five categories, with each category having multiple attributes. The attributes of each paper, along with the summary of its contents formed the basis of the literature review that spanned 30 years . We characterize the maturation process of the research area from theoretical papers over practical implementations to more holistic and generic approaches, frameworks, and exemplars, applied to areas such as networking, web services, and robotics, with much of the recent work focusing on IoT and IaaS.

show abstract

Embedding Verification Concerns in Self-Adaptive System Code

Cited by 2 publications

References 19 publications

Assessing the Risk of an Adaptation using Prior Compliance Verification

Assessing the Risk of an Adaptation using Prior Compliance Verification

Self-Adaptive Systems: A Systematic Literature Review Across Categories and Domains

Contact Info

Product

Resources

About