Formal methods for the re-engineering of computing systems: a comparison

Liu, X.; Yang, H.; Zedan, Hussein

doi:10.1109/cmpsac.1997.625024

Cited by 14 publications

(37 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Liu et al list a number of evaluation criteria and compare a great number of methods. Among others, the authors bring in the additional criterion of applicability in re‐engineering, particularly in reverse engineering and restructuring.…”

Section: Identification Of the Criteriamentioning

confidence: 99%

Evaluating the suitability of state‐based formal methods for industrial deployment

2018

View full text Add to dashboard Cite

After a number of success stories in safety-critical domains, we are starting to witness applications of formal methods in contemporary systems and software engineering. However, one thing that is still missing is the evaluation criteria that help software practitioners choose the right formal method for the problem at hand. In this paper, we present the criteria for evaluating and comparing different formal methods. The criteria were chosen through a literature review, discussions with experts from academia and practitioners from industry, and decade-long personal experience with the application of formal methods in industrial and academic projects. The criteria were then evaluated on several model-oriented state-based formal methods. Our research shows that besides technical grounds (eg, modeling capabilities and supported development phases), formal methods should also be evaluated from social and industrial perspectives. We also found out that it is not possible to generate a matrix that renders the selection of the right formal method an automatic process. However, we can generate several pointers, which make this selection process a lot less cumbersome.

show abstract

Section: Identification Of the Criteriamentioning

confidence: 99%

Evaluating the suitability of state‐based formal methods for industrial deployment

2018

View full text Add to dashboard Cite

show abstract

“…The application of these approaches in addressing the feature interaction problem can be classified into Logic Based, State/Model-Based, Algebraic, and Structural approaches. This classification is based on classifications proposed in Liu et al [50], Turner et al [79], and Kryvyi and Matveyeva [47].…”

Section: Formal Approachesmentioning

confidence: 99%

Feature interaction: the security threat from within software systems

Nhlabatsi¹,

Laney²,

Nuseibeh³

2008

Prog. Inform.

View full text Add to dashboard Cite

Security engineering is about protecting assets from harm. The feature interaction problem occurs when the composition of features leads to undesirable system behaviours. Usually, this problem manifests itself as conflicting actions of features on a shared context. Security requirements may be violated by feature interactions creating security vulnerabilities which can potentially be exploited by attackers. In this paper, we discuss the feature interaction problem and some of its possible implications for security requirements. The paper concludes that (1) the detection of the violation of security requirements by feature interactions is not different from other types of requirements-what differs is the impact of such violation; and (2) feature interaction detection approaches can be used as a means for vulnerability analysis.

show abstract

“…This is because the maintainer in most cases is not directly involved in the system development, as responding to change requires system understanding and change identification before performing the change [2]. The use of formal methods is crucial as it enhances system understanding to the point of unfolding undetected propagating changes [3].…”

Section: Introductionmentioning

confidence: 99%

Extended Implementation of Change Impact Analysis Model-Based Framework to Enhance Predicting the Effect of a Change of Service in a Grid Environment

Ekabua

2013

AJSEA

View full text Add to dashboard Cite

Continuous monitoring of changes to utility services and products in a distributed information system is an interesting issue in software engineering. These changes affect the semantics and structural complexity of the system, as a change to one part will in most cases, result in changes to other parts. Therefore, in design and redesign for customization, predicting this change presents a significant challenge. Changes are intended to fix faults, improve or update products and services. Lack of validated, widely accepted, and adopted tools for planning, estimating, and performing maintenance contributes to the problem. One effective way of assessing changeability effect is to assess the impact of changes through a well validated model and framework. This research paper is an extended report on the implementation of a change propagation framework, together with it's associated change impact analysis factor adaptation model, and a fault and failure assumption model to predict the effect of a change of a service in a grid environment. While implementing the framework, data was collected for three hypothetical years, thus helping to predict the next two (2) years consecutively. Significant results corresponding to the impact analysis factor were obtained showing the viable practicality of the use of Bayesian statistics (as against unreported regression method) satisfying best-fit prediction. We conclude that, the higher the number of dependent services on a faulty service requiring a change, the higher the impact due to fault propagation.

show abstract

Formal methods for the re-engineering of computing systems: a comparison

Cited by 14 publications

References 21 publications

Evaluating the suitability of state‐based formal methods for industrial deployment

Evaluating the suitability of state‐based formal methods for industrial deployment

Feature interaction: the security threat from within software systems

Extended Implementation of Change Impact Analysis Model-Based Framework to Enhance Predicting the Effect of a Change of Service in a Grid Environment

Contact Info

Product

Resources

About