Towards verification of component compositions incorporating variability

Date

2015-11-05

Author

Kaya, Muhammed Çağrı
Suloglu, Selma
Doğru, Ali Hikmet

Metadata

Show full item record

Item Usage Stats

139
views

0
downloads

A new approach to formally verify component compositions incorporating variability is proposed which eases variability-intensive component-oriented system development by reducing the complexity of verification. A step by step model transformation approach from XCOSEML to Featured Transition System (FTS) is used which automates generation of FTS models, namely required feature model of the variable component composition and its fPromela specification. XCOSEML is a domain specific language that establishes a variability specification and system configuration environment for Component Oriented Software Engineering Modeling Language (COSEML). Component compositions in XCOSEML are supported with variability specifications, which define collaborating components. Due to the necessity to check consistency of all possible compositions, verification is a costly and complex task in such variable-intensive compositions. A formal and easy model to formally verify these types of systems emerges as a critical need. Our experimentation indicated successful verification through the proposed approach.

URI

https://sdpsnet.org/sdps/documents/sdps-2015/SDPS-2015-Proceedings.pdf
https://hdl.handle.net/11511/87211

Conference Name

The 20th International Conference on Transformative Science and Engineering, Business and Social Innovation, 2015

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Multi-objective decision making using fuzzy discrete event systems: A mobile robot example Boutalis, Yiannis; Schmidt, Klaus Verner (2010-09-29) In this paper, we propose an approach for the multi-objective control of sampled data systems that can be modeled as fuzzy discrete event systems (FDES). In our work, the choice of a fuzzy system representation is justified by the assumption of a controller realization that depends on various potentially imprecise sensor measurements. Our approach consists of three basic steps that are performed in each sampling instant. First, the current fuzzy state of the system is determined by a sensor evaluation. Seco...
A Bayesian Approach to Learning Scoring Systems Ertekin Bolelli, Şeyda (2015-12-01) We present a Bayesian method for building scoring systems, which are linear models with coefficients that have very few significant digits. Usually the construction of scoring systems involve manual efforthumans invent the full scoring system without using data, or they choose how logistic regression coefficients should be scaled and rounded to produce a scoring system. These kinds of heuristics lead to suboptimal solutions. Our approach is different in that humans need only specify the prior over what the ...
New Formulation and Implementation of Vibrational Self-Consistent Field Theory Hansen, Mikkel B.; Sparta, Manuel; Seidler, Peter; Toffolı, Danıele; Christiansen, Ove (2010-01-01) A new implementation of the vibrational self-consistent field (VSCF) method is presented on the basis of a second quantization formulation. A so-called active terms algorithm is shown to be a significant improvement over a standard implementation reducing the computational effort by one order in the number of degrees of freedom. Various types of screening provide even further reductions in computational scaling and absolute CPU time. VSCF calculations on large polyaromatic hydrocarbon model systems are pres...
Investigation of effect of design and operating parameters on acoustophoretic particle separation via 3D device-level simulations Sahin, Mehmet Akif; ÇETİN, BARBAROS; Özer, Mehmet Bülent (Springer Science and Business Media LLC, 2019-12-16) In the present study, a 3D device-level numerical model is implemented via finite element method to assess the effects of design and operating parameters on the separation performance of a microscale acoustofluidic device. Elastodynamic equations together with electromechanical coupling at the piezoelectric actuators for the stress field within the solid parts, Helmholtz equation for the acoustic field within fluid, and Navier-Stokes equations for the fluid flow are coupled for the simulations. Once the zer...
Adaptive Control Algorithm for Linear Systems with Matched and Unmatched Uncertainties Yayla, Metehan; Kutay, Ali Türker (2016-12-14) In this paper, a new uncertainty identification method is introduced for both matched and unmatched uncertainties in an uncertain dynamical system. Online identifications of matched and unmatched uncertainties that can be linearly parameterized are ensured without requiring persistent excitation (PE) condition. Furthermore, constant weight matrices that parameterizes the unstructured uncertainties are guaranteed to stay bounded without PE. Findings are implemented on a hybrid adaptive control design, and gl...

Citation Formats

M. Ç. Kaya, S. Suloglu, and A. H. Doğru, “Towards verification of component compositions incorporating variability,” Fort Worth, Texas; United States Of America, 2015, p. 202, Accessed: 00, 2021. [Online]. Available: https://sdpsnet.org/sdps/documents/sdps-2015/SDPS-2015-Proceedings.pdf.