An industrial case study on variability handling in large enterprise software systems

2015 ◽  
Vol 60 ◽  
pp. 16-31 ◽  
Author(s):  
Matthias Galster ◽  
Paris Avgeriou
Keyword(s):  
Software Systems ◽  
Enterprise Software ◽  
Industrial Case Study ◽  
Large Enterprise

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

2013 ◽  
pp. 108-125
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Software ◽  
Combinatorial Design ◽  
Software Systems ◽  
Development Effort ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configurable System ◽  
Parameter Values

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

2011 ◽  
Vol 2 (2) ◽  
pp. 22-41
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Software ◽  
Combinatorial Design ◽  
Software Systems ◽  
Development Effort ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configurable System ◽  
Parameter Values

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

scholarly journals On systematically building a controlled natural language for functional requirements

2021 ◽  
Vol 26 (4) ◽  
Author(s):  
Alvaro Veizaga ◽  
Mauricio Alferez ◽  
Damiano Torre ◽  
Mehrdad Sabetzadeh ◽  
Lionel Briand
Keyword(s):  
Information System ◽  
Natural Language ◽  
Qualitative Methodology ◽  
Case Study Research ◽  
Empirical Evaluation ◽  
Functional Requirements ◽  
Industrial Case Study ◽  
Requirements Specifications ◽  
Financial Domain

AbstractNatural language (NL) is pervasive in software requirements specifications (SRSs). However, despite its popularity and widespread use, NL is highly prone to quality issues such as vagueness, ambiguity, and incompleteness. Controlled natural languages (CNLs) have been proposed as a way to prevent quality problems in requirements documents, while maintaining the flexibility to write and communicate requirements in an intuitive and universally understood manner. In collaboration with an industrial partner from the financial domain, we systematically develop and evaluate a CNL, named Rimay, intended at helping analysts write functional requirements. We rely on Grounded Theory for building Rimay and follow well-known guidelines for conducting and reporting industrial case study research. Our main contributions are: (1) a qualitative methodology to systematically define a CNL for functional requirements; this methodology is intended to be general for use across information-system domains, (2) a CNL grammar to represent functional requirements; this grammar is derived from our experience in the financial domain, but should be applicable, possibly with adaptations, to other information-system domains, and (3) an empirical evaluation of our CNL (Rimay) through an industrial case study. Our contributions draw on 15 representative SRSs, collectively containing 3215 NL requirements statements from the financial domain. Our evaluation shows that Rimay is expressive enough to capture, on average, 88% (405 out of 460) of the NL requirements statements in four previously unseen SRSs from the financial domain.

scholarly journals Investigation and Improvement of Standard External Lightning Protection System: Industrial Case Study

Energies ◽  
2021 ◽  
Vol 14 (14) ◽  
pp. 4118
Author(s):  
I Made Yulistya Negara ◽  
Daniar Fahmi ◽  
Dimas Anton Asfani ◽  
IGN Satriyadi Hernanda ◽  
Rendi Bagus Pratama ◽  
...  
Keyword(s):  
Petrochemical Industry ◽  
Protection System ◽  
Lightning Protection ◽  
Industrial Case Study ◽  
Grounding System ◽  
Electromagnetic Transient ◽  
Petrochemical Company ◽  
Program Software ◽  
Ground Potential

In this study, the lightning protection system and grounding system of one plant of the petrochemical industry were investigated, evaluated, and improved. The methods used in this study were rolling sphere and angle protection methods. The grounding system of the building under study was modeled and simulated using ATP/EMTP (Alternative Transient Program/Electromagnetic Transient Program) software. The results show that the external lightning protection system of the prilling tower studied does not adhere to IEC 62305 and IEC 1024-1-1 standards. Moreover, the grounding configuration of the DCS building was not appropriate for protecting sensitive equipment inside. Lightning causes an enormous potential difference between lightning ground rods in the grounding system. Additionally, disabling the existing surge protective device (SPD) causes an increase in the magnitude of Ground Potential Rise at the DCS building. Improvement of the lightning protection system of the prilling tower and DCS building on Plant 1 of this petrochemical company as well as some other recommendations for improvements are proposed. This paper also shows evidence that external lightning protection, internal lightning protection, and the grounding system need to be connected to make an exemplary lightning protection system.

Sign in / Sign up

Export Citation Format

Share Document