Abstract

Non-functional aspects such as timing constraints, availability, and fault tolerance are critical in the design and implementation of distributed real-time systems. As a result, it is becoming crucial to model and analyze non-functional requirements at the early stages of the software development life cycle. The widespread interest in dependability modeling and analysis techniques at the requirements phase provides the major motivation for this research. This paper presents a novel approach to describe and validate high-level availability requirements using the Use Case Maps (UCM) language of the ITU-T User Requirements Notation standard. The proposed approach relies on a mapping of availability architectural tactics to UCM models. The resulting extensions are described using a metamodel and are implemented within the jUCMNav tool. Early assessment and characterization of the means to achieve availability are then performed using a matrix representation allowing for feature-based availability composition and reasoning. We demonstrate the applicability of our approach through a case study of lawful intercept and ACL-based forwarding features on IP routers.

-- DanielAmyot - 16 Mar 2014

Discussion

FormForVirtualLibrary edit

Title Describing and assessing availability requirements in the early stages of system development
Authors J. Hassine
Type Journal
Conference/Journal Title Software & Systems Modeling
Volume/Number TBD
Editors
Publisher Springer
Month September
Year 2013
Pages TBD
DOI 10.1007/s10270-013-0382-0
Keywords Non-functional requirements, Availability, URN, Use Case Maps, Availability analysis, Architectural tactics, jUCMNav

Topic revision: r1 - 16 Mar 2014, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback