scholarly journals A configurable and executable model of Spark Streaming on Apache YARN

2020 ◽  
Vol 11 (2) ◽  
pp. 185
Author(s):  
Jia Chun Lin ◽  
Ming Chang Lee ◽  
Ingrid Chieh Yu ◽  
Einar Broch Johnsen
Keyword(s):  
Executable Model

Creating an Executable Model of a Computer System

1996 ◽  
pp. 119-151
Author(s):  
Derrick Morris ◽  
David Evans ◽  
Peter Green ◽  
Colin Theaker
Keyword(s):  
Computer System ◽  
Executable Model

A Modeling Method of Equipment Systems Based on UPDM

2014 ◽  
Vol 571-572 ◽  
pp. 490-496
Author(s):  
Wen Bo Jing ◽  
Yong Ming Gao ◽  
Xue Bo Zhang
Keyword(s):  
Internal Structure ◽  
Systems Engineering ◽  
Large Scale ◽  
System Modeling ◽  
Modeling Method ◽  
Systems Modeling ◽  
Executable Model

For large-scale equipment systems whose elements and internal structure are complex, traditional systems engineering methods can’t meet the requirements of the system modeling. In this paper, a kind of modeling method based on UPDM is developed to solve the complexity of equipment systems. This paper proceeds as follow. Firstly, analyze the mission of equipment systems; secondly, using a variety of views product describes the equipment systems; then, validate the systems structure by generating an executable model. Finally, an experiment about equipment systems modeling of space weaponry indicates the modeling method based on UPDM is effective.

scholarly journals A ready-to-use dose-response model of Campylobacter jejuni implemented in the FSKX-standard

2021 ◽  
Vol 2 ◽  
Author(s):  
Esther M. Sundermann ◽  
Maarten Nauta ◽  
Arno Swart
Keyword(s):  
Campylobacter Jejuni ◽  
Dose Response ◽  
Risk Assessments ◽  
Response Model ◽  
Response Models ◽  
Model Parameter ◽  
Parameter Values ◽  
Executable Model

Dose-response models are an important part of quantitative microbiological risk assessments. In this paper, we present a transparent and ready-to-use version of a published dose-response model that estimates the probability of infection and illness after the consumption of a meal that is contaminated with the pathogen Campylobacter jejuni. To this end, model and metadata are implemented in the fskx-standard. The model parameter values are based on data from a set of different studies on the infectivity and pathogenicity of Campylobacter jejuni. Both, challenge studies and outbreaks are considered, users can decide which of these is most suitable for their purpose. We present examples of results for typical ingested doses and demonstrate the utility of our ready-to-use model re-implementation by supplying an executable model embedded in this manuscript.

Complex maintenance programs quantification (CMPQ) to better control production systems

2014 ◽  
Vol 25 (4) ◽  
pp. 491-509 ◽  
Author(s):  
Thomas Ruin ◽  
Eric Levrat ◽  
Benoît Iung ◽  
Antoine Despujols
Keyword(s):  
Expert Knowledge ◽  
Model Development ◽  
Added Value ◽  
Target System ◽  
System Modelling ◽  
Real Problem ◽  
Industrial Case Study ◽  
Content Type ◽  
Executable Model

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.

Sign in / Sign up

Export Citation Format

Share Document