Search results
1 – 10 of 10Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi and Akira Fukuda
This study aims to describe the behavior of blocks in the system under consideration using systems modeling language (SysML) state machine diagrams. In this paper, formalization…
Abstract
Purpose
This study aims to describe the behavior of blocks in the system under consideration using systems modeling language (SysML) state machine diagrams. In this paper, formalization and model checking for SysML state machine diagrams have been investigated.
Design/methodology/approach
The work by Zhang and Liu (2010) proposed a formalization of SysML state machine diagrams in which the diagrams were translated into CSP# processes that could be verified by the state-of-the-art model checker PAT. In this paper, several modifications have been made and new rules have been added to the translation described in that work.
Findings
First, three translation rules were modified, which apparently are inappropriately defined according to the SysML definition of state machine diagrams. Next, we add new translation rules for two components of the diagrams – junction and choice pseudostates – which have not been dealt with previously. Further, we are implementing the automatic translation system on a web-based model-driven development tool, which reflects on our translation rules.
Originality/value
As the contribution of this work, more reasonable verification results for more general SysML state machine diagrams can be achieved.
Details
Keywords
Thomas Ruin, Eric Levrat, Benoît Iung and Antoine Despujols
The purpose of this paper is to develop a methodology for supporting complex maintenance programs quantification (CMPQ) for industrial systems. The methodology is based on a…
Abstract
Purpose
The purpose of this paper is to develop a methodology for supporting complex maintenance programs quantification (CMPQ) for industrial systems. The methodology is based on a generic formalization of static and behavioral expert knowledge both on the target system and on the maintenance one. The formalization is carried out first by means of system modelling language (SysML) diagrams to model knowledge concepts and second by the transformation of these concepts into Altarica data flow (ADF) language for developing stochastic simulation.
Design/methodology/approach
An industrial case study (ARE system) proposed by the electricite de France (EDF) company is used initially to show a real problem statement on CMPQ. It allows highlighting key scientific issues considered as the basis for methodology development. Main issues are related to static and dynamic knowledge formalization justifying the choice of SysML and ADF languages. The added value of this methodology is finally shown on the same case study serving as benchmark.
Findings
This paper demonstrates the suitability of using of SysML language for modelling the CMPQ knowledge and then of ADF language in building executable model implementing simulation as needed for assessing key performance indicators of CMPQ. ADF is based on formal mode automaton. Mapping rules are developed to ensure correspondence between the concepts of these two languages.
Research limitations/implications
Additional industrial validations of the methodology should be performed to really evaluate its benefits.
Practical implications
This work was made possible thanks to a partnership with the EDF Company (French energy supplier). The results are therefore directly usable at practical industrial levels.
Originality/value
The CMPQ methodology proposed is fully generic leading to offering a library of atomic ADF components (COTS) which can be instantiated to develop executable model with regards to each specific application. It allows to favor reusability and makes easier the model development above all for a user who knows nothing about the language.
Details
Keywords
Hind Lafquih, Saad Lissane Elhaq, Issam Krimi and Mouna Berquedich
According to United Nations reports, the worldwide population is expected to reach around 9.6 billion by 2050. This forecasting emphasizes the role of phosphate-based fertilizers…
Abstract
Purpose
According to United Nations reports, the worldwide population is expected to reach around 9.6 billion by 2050. This forecasting emphasizes the role of phosphate-based fertilizers for developing sustainable agriculture and ensures the demand all over the planet. From this perspective, phosphate companies are racing to improve their industrial performance and guarantee the quality, reliability and integrity of information efficiently. The purpose of this paper is to propose a traceability system framework that ensures product quality tracing and real-time operations monitoring for open-pit mines.
Design/methodology/approach
The authors develop a hybrid approach that integrates Business Process Model and Notation techniques with System Modeling Language to formalize several use cases and scenarios to model quality traceability processes related to open-pit mines. This framework also embeds an optimization module based on mathematical modeling approaches to optimize stockpiles’ movement and respect the distinction between different qualities.
Findings
This paper explains a successful implementation of a quality traceability tool for an African mining company. The research team was able to understand and scale down the problem faced by the managers. Further, the study is focused on improving quality tracing over time and automatizing the current compliance processes related to the mine extraction activities. The proposed tool is proved highly effective in reducing the time of tracing quality claims by 46% compared with the manual procedure. Second, the implementation of this tool reduced fuel costs by 34% and CO2 emissions by 10%.
Originality/value
The originality of the contributions lies in four aspects: (1) adapting quality traceability concept for the mining industry; (2) assessing the current trends of traceability systems considering the mining industry context; (3) hybridizing business processes re-engineering, quality system and optimization modeling; and (4) using a real case study of a phosphate company to evaluate the framework.
Details
Keywords
This study aims to solve the problem that the traditional hierarchically performed hazard origin and propagation studies (HiP-HOPS) cannot make dynamic model for the complex…
Abstract
Purpose
This study aims to solve the problem that the traditional hierarchically performed hazard origin and propagation studies (HiP-HOPS) cannot make dynamic model for the complex system such as integrated modular avionics (IMA) system.
Design/methodology/approach
A new combination method that combines HiP-HOPS with architecture analysis and design language (AADL) is proposed.
Findings
The combination method potentially reduces the amount of rework required for safety analysis and modelling of a modified design.
Research limitations/implications
Modelling the IMA system with the combination method can just make qualitative analysis but cannot make quantitative analysis.
Practical implications
The static model depicts the fault propagation among the components while the dynamic model describes the composite fault with AADL for IMA system.
Originality/value
The results of the case study show that the proposed method not only keeps model consistency but also makes safety analysis and modelling for IMA system efficiently.
Details
Keywords
Igor Yurievich Kotciuba, Alexey Nikolaevich Shikov and Yuri Voitekhovsky
The purpose of this study is to make the implementation of a recommended Web service that allows one to formalize the search for a suitable coworking according to individual…
Abstract
Purpose
The purpose of this study is to make the implementation of a recommended Web service that allows one to formalize the search for a suitable coworking according to individual preferences as a decision-making task, as well as find a coworking area in an optimized setting for both the individual employee and those who carry out collective professional activities from a large number of alternatives in a shorter time.
Design/methodology/approach
In the implemented system of each place category in coworking areas, a search will be carried out according to formalized parameters and with an individual approach. To find the set of the required services of the coworking zone, the target functions of maximizing the priority of the place and minimizing the cost are determined, between which the user can set the ratio. As a constraint, the general fund of financial expenses for the time to reach the zone from different locations is used. The results of problem formalization are presented in the form of a mathematical model.
Findings
The use of a problem-oriented solution can significantly reduce the laboriousness of finding a suitable workspace.
Originality/value
The development of coworking zone practices contributes to the development of a professional infrastructure of the city and minimizes the cost of equipping each enterprise with additional tools, as well as manages labor resources and tracks trends of both professional and novice workers’ needs.
Details
Keywords
Ying Zhao, Wei Chen, Mehrdad Arashpour, Zhuzhang Yang, Chengxin Shao and Chao Li
Prefabricated construction is often hindered by scheduling delays. This paper aims to propose a schedule delay prediction model system, which can provide the key information for…
Abstract
Purpose
Prefabricated construction is often hindered by scheduling delays. This paper aims to propose a schedule delay prediction model system, which can provide the key information for controlling the delay effects of risk-related factors on scheduling in prefabricated construction.
Design/methodology/approach
This paper combines SD (System Dynamics) and BP (Back Propagation) neural network to predict risk related delays. The SD-based prediction model focuses on dynamically presenting the interrelated impacts of risk events and activities along with workflow. While BP neural network model is proposed to evaluate the delay effect for a single risk event disrupting a single job, which is the necessary input parameter of SD-based model.
Findings
The established model system is validated through a structural test, an extreme condition test, a sensitivity test, and an error test, and shows an excellent performance on aspect of reliability and accuracy. Furthermore, 5 scenarios of case application during 3 different projects located in separate cities prove the prediction model system can be applied in a wide range.
Originality/value
This paper contributes to academic research on combination of SD and BP neural network at the operational level prediction, and a practical prediction tool supporting managers to take decision-making in a timely manner against delays.
Details
Keywords
Frank Koenig, Pauline Anne Found, Maneesh Kumar and Nicholas Rich
The aim of this paper is to develop a contribution to knowledge that adds to the empirical evidence of predictive condition-based maintenance by demonstrating how the availability…
Abstract
Purpose
The aim of this paper is to develop a contribution to knowledge that adds to the empirical evidence of predictive condition-based maintenance by demonstrating how the availability and reliability of current assets can be improved without costly capital investment, resulting in overall system performance improvements
Design/methodology/approach
The empirical, experimental approach, technical action research (TAR), was designed to study a major Middle Eastern airport baggage handling operation. A predictive condition-based maintenance prototype station was installed to monitor the condition of a highly complex system of static and moving assets.
Findings
The research provides evidence that the performance frontier for airport baggage handling systems can be improved using automated dynamic monitoring of the vibration and digital image data on baggage trays as they pass a service station. The introduction of low-end innovation, which combines advanced technology and low-cost hardware, reduced asset failures in this complex, high-speed operating environment.
Originality/value
The originality derives from the application of existing hardware with the combination of edge and cloud computing software through architectural innovation, resulting in adaptations to an existing baggage handling system within the context of a time-critical logistics system.
Details
Keywords
Kwame Owusu Kwateng, Benjamin Fokuoh and Francis Kamewor Tetteh
For the supply chain to be responsive in the age of globalization, the firm needs to adopt strategies to enable them to meet the changing market needs. Thus, it is essential to…
Abstract
Purpose
For the supply chain to be responsive in the age of globalization, the firm needs to adopt strategies to enable them to meet the changing market needs. Thus, it is essential to adopt automatic replenishment programmes such as vendor-managed inventory (VMI). This study sought to examine the relationship between VMI and operational performance (OP) and the moderation roles of leadership and digitization in the mining sector.
Design/methodology/approach
A quantitative approach was used, including primary data collected from industry players in the mining sector in Ghana. A total of 97 industry players were included in the study. Data gathered was analysed using SPSS and LISREL (8.5).
Findings
The results indicate that VMI significantly affects OP. However, both digitization and leadership failed to moderate the relationship between VMI and OP.
Practical implications
The study offers mining companies an understanding of VMI applications in their industry. The knowledge will stimulate and improve inventory management practices in the mining industry.
Originality/value
This study is among the first few attempts to understand VMI in the mining industry, especially in the Sub-Saharan Africa context. It presents a detailed understanding of VMI and opportunities for future research.
Details
Keywords
Pachayappan Murugaiyan and Venkatesakumar Ramakrishnan
Little attention has been paid to restructuring existing massive amounts of literature data such that evidence-based meaningful inferences and networks be drawn therefrom. This…
Abstract
Purpose
Little attention has been paid to restructuring existing massive amounts of literature data such that evidence-based meaningful inferences and networks be drawn therefrom. This paper aims to structure extant literature data into a network and demonstrate by graph visualization and manipulation tool “Gephi” how to obtain an evidence-based literature review.
Design/methodology/approach
The main objective of this paper is to propose a methodology to structure existing literature data into a network. This network is examined through certain graph theory metrics to uncover evidence-based research insights arising from existing huge amounts of literature data. From the list metrics, this study considers degree centrality, closeness centrality and betweenness centrality to comprehend the information available in the literature pool.
Findings
There is a significant amount of literature on any given research problem. Approaching this massive volume of literature data to find an appropriate research problem is a complicated process. The proposed methodology and metrics enable the extraction of appropriate and relevant information from huge quantities of literature data. The methodology is validated by three different scenarios of review questions, and results are reported.
Research limitations/implications
The proposed methodology comprises of more manual hours to structure literature data.
Practical implications
This paper enables researchers in any domain to systematically extract and visualize meaningful and evidence-based insights from existing literature.
Originality/value
The procedure for converting literature data into a network representation is not documented in the existing literature. The paper lays down the procedure to structure literature data into a network.
Details