Powered by
2015 IEEE 23rd International Requirements Engineering Conference (RE),
August 24-28, 2015,
Ottawa, ON, Canada
Demos and Posters
Wed, Aug 26, 16:00 - 18:00, FSS 4007 (Chair: Maya Daneva; Sepideh Ghanavati)
SACRE: A Tool for Dealing with Uncertainty in Contextual Requirements at Runtime
Edith Zavala,
Xavier Franch, Jordi Marco, Alessia Knauss, and Daniela Damian
(Universitat Politècnica de Catalunya, Spain; University of Victoria, Canada)
Self-adaptive systems are capable of dealing with uncertainty at runtime handling complex issues as resource variability, changing user needs, and system intrusions or faults. If the requirements depend on context, runtime uncertainty will affect the execution of these contextual requirements. This work presents SACRE, a proof-of-concept implementation of an existing approach, ACon, developed by researchers of the Univ. of Victoria (Canada) in collaboration with the UPC (Spain). ACon uses a feedback loop to detect contextual requirements affected by uncertainty and data mining techniques to determine the best operationalization of contexts on top of sensed data. The implementation is placed in the domain of smart vehicles and the contextual requirements provide functionality for drowsy drivers.
@InProceedings{RE15p278,
author = {Edith Zavala and Xavier Franch and Jordi Marco and Alessia Knauss and Daniela Damian},
title = {SACRE: A Tool for Dealing with Uncertainty in Contextual Requirements at Runtime},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {278--279},
doi = {},
year = {2015},
}
Video
ReqPat: Efficient Documentation of High-Quality Requirements using Controlled Natural Language
Markus Fockel and
Jörg Holtmann
(Fraunhofer IPT, Germany)
The growing complexity of today's software intensive systems results in an increased size of requirements specifications, which are typically documented by means of natural language (NL). Large NL requirements specifications are prone to contain defects (e.g., contradictions), and the inherent
ambiguity of NL impedes automatic techniques to support the requirements engineer. In order to cope with this problem, we conceived a requirements documentation approach implemented in the tool ReqPat. Using a controlled NL, it supports an efficient requirements documentation, an automatic requirements
validation, and an automatic transition to models--while still keeping the requirements understandable for all stakeholders.
@InProceedings{RE15p280,
author = {Markus Fockel and Jörg Holtmann},
title = {ReqPat: Efficient Documentation of High-Quality Requirements using Controlled Natural Language},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {280--281},
doi = {},
year = {2015},
}
Video
Holistic Security Requirements Analysis: An Attacker's Perspective
Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, and Kristian Beckers
(University of Trento, Italy; City University London, UK; TU München, Germany)
The ever-growing complexity of systems makes their protection more challenging, as a single vulnerability or exposure of any component of the system can lead to serious security breaches. This problem is exacerbated by the fact that the system development community has not kept up with advances in attack knowledge. In this demo paper, we propose a holistic attack analysis approach to identify and tackle both atomic and multistage attacks, taking into account not only software attacks but also attacks that are targeted at people and hardware. To bridge the knowledge gap between attackers and defenders, we systematically analyze and refine the malicious desires of attackers (i.e., anti-goals), and leverage a comprehensive attack pattern repository (CAPEC) to operationalize attacker goals into concrete attack actions. Based on the results of our attack anal- ysis, appropriate security controls can be selected to effectively tackle potential attacks.
@InProceedings{RE15p282,
author = {Tong Li and Elda Paja and John Mylopoulos and Jennifer Horkoff and Kristian Beckers},
title = {Holistic Security Requirements Analysis: An Attacker's Perspective},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {282--283},
doi = {},
year = {2015},
}
Breeze: A Modeling Tool for Designing, Analyzing, and Improving Software Architecture
Luxi Chen, Linpeng Huang
, Hao Zhong
, Chen Li, and Xiwen Wu
(Shanghai Jiao Tong University, China)
One of the key challenges in the software engineering lies in requirement engineering. As an important technique for modeling and analyzing requirements, software architecture has been intensively studied in recent years. Although various modeling tools have been proposed in both academy and industry, these tools typically provide limited support for analyzing nonfunctional requirements at architecture level. To address this problem, in this tool demo, we present a tool, called Breeze, that models, analyzes, and improves software architecture, with an emphasis on its non-functional requirements. In particular, Breeze has three key modules: (1) a modeling module that facilitates the modeling for software systems, (2) an analysis module that verifies non-functional requirements (e.g. safety, reliability and correctness) at the architecture level, and (3) a reconfiguration module that allows users to repair defects or to further improve architectures.
@InProceedings{RE15p284,
author = {Luxi Chen and Linpeng Huang and Hao Zhong and Chen Li and Xiwen Wu},
title = {Breeze: A Modeling Tool for Designing, Analyzing, and Improving Software Architecture},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {284--285},
doi = {},
year = {2015},
}
Video
Info
StakeCloud Tool: From Cloud Consumers' Search Queries to New Service Requirements
Irina Todoran Koitz and Martin Glinz
(University of Zurich, Switzerland)
Requirements elicitation is indispensable for delivering successful services. Nevertheless, cloud service providers mostly rely on ad-hoc approaches, as there are no dedicated elicitation methods for cloud services. To address this problem, we developed the StakeCloud approach, which helps cloud providers elicit requirements for future cloud services. StakeCloud builds and analyzes fuzzy Galois lattices based on consumers’ advanced search queries for cloud services. Our StakeCloud Tool automatically builds the lattice from the given search queries. It provides the requirements analyst with extensive clustering and analysis capabilities as well as means for comparing different newly generated classes of services. These allow identifying the threshold for achieving the largest populations of satisfied consumers with a minimum set of features implemented. Further, our tool enables eliciting real requirements from global consumers unobtrusively.
@InProceedings{RE15p286,
author = {Irina Todoran Koitz and Martin Glinz},
title = {StakeCloud Tool: From Cloud Consumers' Search Queries to New Service Requirements},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {286--287},
doi = {},
year = {2015},
}
Video
An Enhanced Requirements Gathering Interface for Open Source Software Development Environments
Jaison Kuriakose and Jeffrey Parsons
(Memorial University, Canada)
In this paper, we propose an enhancement to requirements gathering interface used in open source software (OSS) development environments. Specifically we propose embedding currently used interface with reusable requirement patterns. We propose this enhancement based on the result we obtained from an experiment on the availability of requirement patterns during requirements generation in OSS development.
@InProceedings{RE15p288,
author = {Jaison Kuriakose and Jeffrey Parsons},
title = {An Enhanced Requirements Gathering Interface for Open Source Software Development Environments},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {288--289},
doi = {},
year = {2015},
}
Supporting Quantitative Assessment of Requirements in Goal Orientation
Robert Darimont and
Christophe Ponsard
(Respect-IT, Belgium; CETIC, Belgium)
Goal-Orientation provides a rich framework for reasoning about systems during the Requirements Engineering (RE) phase. While critical properties like safety or security can require formal semantics, performing quantitative reasoning on semi-formal models in a much more lightweight approach reveals to be sufficient in many projects.
Most of the time, existing RE tools only target specific quantification scenarios or do not provide easy mechanisms for implementing them. In order to demonstrate the ability to provide mechanisms that are both generic and powerful, we developed an extension of the Objectiver tool in three directions: (1) internal reasoning capabilities on AND-OR goal/obstacles structures, (2) close integration with an external spreadsheet application and (3) model export for building assessment tools using model-driven engineering techniques. We also demonstrate how our approach can cope with a variety of industrial scenarios requiring some form of quantification such as risk analysis, selection of design alternatives, effort estimation, and assessment of customer satisfaction.
@InProceedings{RE15p290,
author = {Robert Darimont and Christophe Ponsard},
title = {Supporting Quantitative Assessment of Requirements in Goal Orientation},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {290--291},
doi = {},
year = {2015},
}
Video
Web Tool for Goal Modelling and Statechart Derivation
João Pimentel, Jéssyka Vilela, and Jaelson Castro
(Federal University of Pernambuco, Brazil)
Creating and maintaining visual models is a time-consuming step in software engineering processes. In order to support the crea-tion of some of these models, we have developed the Goal to Ar-chitecture tool (GATO). This web tool handles the creation and edition of goal models, as well as the derivation of statecharts. The particular variation of goal modelling supported by this tool contains four views: requirements view, design view, delegation view, and behavioural view.
@InProceedings{RE15p292,
author = {João Pimentel and Jéssyka Vilela and Jaelson Castro},
title = {Web Tool for Goal Modelling and Statechart Derivation},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {292--293},
doi = {},
year = {2015},
}
Video
Challenges of Requirements Engineering in AUTOSAR Ecosystems
Mozhan Soltani and
Eric Knauss
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden)
Abstract—AUTOSAR has changed significantly how software is developed in the automotive sector. As a central standard, AUTOSAR enables reuse of software components as well as their interoperability. For AUTOSAR compliant ECU development, car manufacturers source Electronic Control Units (ECUs) from Tier-1 suppliers, but ask those Tier-1 suppliers to install AUTOSAR compliant basic software from a certified AUTOSAR-Tier-2 supplier. In this setup (to which we refer as the AUTOSAR ecosystem), the OEM has a direct business relationship with the Tier-1, but only an indirect relationship to the AUTOSAR-Tier-2 supplier, which leads to complex flows of requirements and related information between the organizations involved. In this extended abstract, we summarize preliminary results of a qualitative investigation of Requirements Engineering challenges in the AUTOSAR ecosystem. In particular, we interviewed 7 project managers from an AUTOSAR-Tier-2 supplier, and triangulated our results with 6 additional interviews with subjects from two Tier-1 suppliers and one OEM. We found that most of the requirements towards the AUTOSAR-Tier-2 supplier can be directly mapped to standard AUTOSAR components. However, a significant amount of requirements were new requirements and specific to the OEM or even a project. The well-known requirements engineering challenges we found to surface in the AUTOSAR ecosystem were mainly connected to these non-standard requirements. Standard and non-standard requirements are usually mixed, which makes it hard to fully leverage the potential benefits of reuse within the AUTOSAR standard. We argue that the holistic ecosystem perspective allows exploration of new strategies for mitigating this challenge.
@InProceedings{RE15p294,
author = {Mozhan Soltani and Eric Knauss},
title = {Challenges of Requirements Engineering in AUTOSAR Ecosystems},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {294--295},
doi = {},
year = {2015},
}
Video
proc time: 0.28