Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy

2011 ◽  
pp. 228-243 ◽  
Author(s):  
Joachim Klein ◽  
Sascha Klüppelholz ◽  
Andries Stam ◽  
Christel Baier
Keyword(s):  
Formal Verification ◽  
Hierarchical Modeling ◽  
Industrial Case Study

A Hierarchical Modeling Scheme With Non Functional Requirements

2010 ◽  
Author(s):  
Prabhu Shankar ◽  
Beshoy Morkos ◽  
Joshua D. Summers
Keyword(s):  
Conceptual Design ◽  
Hierarchical Modeling ◽  
Design Parameters ◽  
Design Decision ◽  
Functional Requirements ◽  
Industrial Case Study ◽  
Design Information ◽  
Working Principle ◽  
Multiple Domains

This paper presents a sequence of multi domain matrix based modeling scheme, that includes non functional design requirements, to capture conceptual design information. The current matrix based modeling schemes are congruent to the steps followed in typical design processes but are limited to functional requirements. An industrial case study is analyzed to understand how and where the non functional requirements contribute to the design. It is observed from the case study that the non functional requirements drive the design decision process and constrains the way the product functionality is realized. Based on the observations made in the case study, a sequence of multiple domains is proposed: functional requirements to functions, functions to working principle, working principle to non functional requirements, non functional requirements to components, components to design parameters, design parameters to test measures and test measures to tests. This sequence is realized in a matrix based hierarchical modeling scheme, to capture the conceptual design information.

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