Reference : A Rule-based Approach for Evolution of AADL Models based on Changes in Functional Req...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/29021
A Rule-based Approach for Evolution of AADL Models based on Changes in Functional Requirements
English
Göknil, Arda mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Kurtev, Ivan mailto []
van den Berg, Klaas mailto []
Nov-2016
The workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA) at the 10th European Conference on Software Architecture (ECSA)
Yes
The workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA) at the 10th European Conference on Software Architecture (ECSA)
from 28-11-2016 to 02-12-2016
Copenhagen
Denmark
[en] Software Architecture ; Change Management ; AADL ; Maude
[en] The increasing complexity of software systems makes change management costly and time consuming. To ensure the cost-effective system longevity and endurance, it is crucial to apply change management in the early stages of software development. In this paper, we introduce a rule-based approach to make software architecture evolving based on counter examples provided by a model checker for violated, changing functional requirements. The approach works on software architecture in AADL and is based on verifying functional requirements using Maude model checker. Our goal is to provide guidelines to the architect about potential changes. Using an industrial example, we show how our approach helps in determining changes to produce a new version of the architecture.
http://hdl.handle.net/10993/29021
10.1145/2993412.3004846

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Goknil_Workshop_2016.pdfAuthor postprint483.84 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.