Applying formal methods to PCEP: an industrial case study from modeling to test generation

2011 ◽  
Vol 22 (5) ◽  
pp. 343-361 ◽  
Author(s):  
Iksoon Hwang ◽  
Ana R. Cavalli ◽  
Mounir Lallali ◽  
Dominique Verchere
Keyword(s):  
Formal Methods ◽  
Test Generation ◽  
Industrial Case Study

scholarly journals Application of Two Test Generation Tools to an Industrial Case Study

2006 ◽  
pp. 134-148 ◽  
Author(s):  
Ana Cavalli ◽  
Stéphane Maag ◽  
Wissam Mallouli ◽  
Mikael Marche ◽  
Yves-Marie Quemener
Keyword(s):  
Test Generation ◽  
Industrial Case Study

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.

Milling Curves Influence in Ring Rolling Processes

2014 ◽  
Vol 622-623 ◽  
pp. 956-963 ◽  
Author(s):  
Luca Giorleo ◽  
Elisabetta Ceretti ◽  
Claudio Giardini
Keyword(s):  
Numerical Approach ◽  
The Other ◽  
Ring Rolling ◽  
Roll Speed ◽  
Forming Process ◽  
Industrial Case Study ◽  
Industrial Environment ◽  
Ring Shape ◽  
Deformation Processes

Ring Rolling is a complex hot forming process used for the production of shaped rings, seamless and axis symmetrical workpieces. The main advantage of workpieces produced by ring rolling, compared to other technological processes, is given by the size and orientation of grains, especially on the worked surface which give to the final product excellent mechanical properties. In this process different rolls (Idle, Axial, Guide and Driver) are involved in generating the desired ring shape. Since each roll is characterized by a speed law that can be set independently by the speed law imposed to the other rolls, an optimization is more critical compared with other deformation processes. Usually, in industrial environment, a milling curve is introduced in order to correlate the Idle and Axial roll displacement, however it must be underlined that different milling curves lead to different loads and energy for ring realization. In this work an industrial case study was modeled by a numerical approach: different milling curves characterized by different Idle and Axial roll speed laws (linearly decreasing, constant, linearly increasing) were designed and simulated. The results were compared in order to identify the best milling curve that guarantees a good quality ring (higher diameter, lower fishtail) with lower loads and energy required for manufacturing.

Sign in / Sign up

Export Citation Format

Share Document