Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems

by   Aritra Hazra, et al.

Component-based design paradigm is of paramount importance due to prolific growth in the complexity of modern-day systems. Since the components are developed primarily by multi-party vendors and often assembled to realize the overall system, it is an onus of the designer to certify both the functional and non-functional requirements of such systems. Several of the earlier works concentrated on formally analyzing the behavioral correctness, safety, security, reliability and robustness of such compositional systems. However, the assurance for quality measures of such systems is also considered as an important parameter for their acceptance. Formalization of quality measures is still at an immature state and often dictated by the user satisfaction. This paper presents a novel compositional framework for reliable quality analysis of component-based systems from the formal quality specifications of its constituent components. The proposed framework enables elegant and generic computation methods for quality attributes of various component-based system structures. In addition to this, we provide a formal query-driven quality assessment and design exploration framework which enables the designer to explore various component structures and operating setups and finally converge into better acceptable systems. A detailed case-study is presented over a component-based system structure to show the efficacy and practicality of our proposed framework.


page 1

page 2

page 3

page 4


Quality Assurance for AI-based Systems: Overview and Challenges

The number and importance of AI-based systems in all domains is growing....

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems

Formal analysis of functional and non-functional requirements is crucial...

Validation-Driven Development

Formal methods play a fundamental role in asserting the correctness of r...

A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems

Maintaining an acceptable level of quality of service in modern complex ...

Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences

The predominant knowledge-based approach to automated model construction...

Compositionality in Model-Based Testing

Model-based testing (MBT) promises a scalable solution to testing large ...

Please sign up or login with your details

Forgot password? Click here to reset