Quantitative Model-Based Safety Analysis: A Case Study

2011 ◽  
Vol 29 (1) ◽  
pp. 5-16
Author(s):  
Matthias Güdemann ◽  
Frank Ortmeier
Keyword(s):  
Safety Analysis ◽  
Quantitative Model ◽  
Model Based

scholarly journals Method Based on SEFT-to-Petri for Safety Analysis of Software

2018 ◽  
Vol 179 ◽  
pp. 03030
Author(s):  
Xu Sai-sai ◽  
Chen Jing ◽  
Sun Yu-ning ◽  
Gao Xin-rui ◽  
Wang Bo-han ◽  
...  
Keyword(s):  
Systems Engineering ◽  
Petri Net ◽  
Functional Model ◽  
Logic Gates ◽  
Safety Analysis ◽  
State Machine ◽  
System Software ◽  
Model Based ◽  
Model Based Systems Engineering

System safety is a vital non-functional requirement whose satisfaction is essential for system software. However, modern aerospace system software is more and more complicated, which results in a high complexity of analyzing system faults. With the increased acceptance of Model-based Systems Engineering as a new method for systems engineering, Model-based Safety Analysis is also proposed to formalize the task of safety analysis and automate the safety calculations. Our work is grounded on State/Event Fault Tree to analyze system faults and build functional model. Firstly, we can translate SEFT to state machine based on SysML with fault syntactic messages and match elements together with translating logic gates; after which, transforming state machine into Petri Net model by means of rigorous semantic relations to extract preliminary analytical model is deduced theoretically in this paper; finally, we can derive analyses of causes and results of faults from Petri Net model by adopting a set of mathematical and statistical analysis. Practically, we have also validated our work by a case study of an aeronautic control system to support this paper.

Quantitative Model-Based Image Analysis of NuMa Distribution Links Nuclear Organization with Cell Phenotype

2001 ◽  
Vol 7 (S2) ◽  
pp. 578-579
Author(s):  
David W. Knowles ◽  
Sophie A. Lelièvre ◽  
Carlos Ortiz de Solόrzano ◽  
Stephen J. Lockett ◽  
Mina J. Bissell ◽  
...  
Keyword(s):  
Image Analysis ◽  
Mammary Epithelial Cells ◽  
Nuclear Organization ◽  
Critical Role ◽  
Quantitative Model ◽  
Mammary Epithelial ◽  
Cell Phenotype ◽  
Proliferating Cells ◽  
Mitotic Apparatus ◽  
Model Based

The extracellular matrix (ECM) plays a critical role in directing cell behaviour and morphogenesis by regulating gene expression and nuclear organization. Using non-malignant (S1) human mammary epithelial cells (HMECs), it was previously shown that ECM-induced morphogenesis is accompanied by the redistribution of nuclear mitotic apparatus (NuMA) protein from a diffuse pattern in proliferating cells, to a multi-focal pattern as HMECs growth arrested and completed morphogenesis . A process taking 10 to 14 days.To further investigate the link between NuMA distribution and the growth stage of HMECs, we have investigated the distribution of NuMA in non-malignant S1 cells and their malignant, T4, counter-part using a novel model-based image analysis technique. This technique, based on a multi-scale Gaussian blur analysis (Figure 1), quantifies the size of punctate features in an image. Cells were cultured in the presence and absence of a reconstituted basement membrane (rBM) and imaged in 3D using confocal microscopy, for fluorescently labeled monoclonal antibodies to NuMA (fαNuMA) and fluorescently labeled total DNA.

scholarly journals A Combined Approach for Model-Based PV Power Plant Failure Detection and Diagnostic

Energies ◽  
2021 ◽  
Vol 14 (5) ◽  
pp. 1261
Author(s):  
Christopher Gradwohl ◽  
Vesna Dimitrievska ◽  
Federico Pittino ◽  
Wolfgang Muehleisen ◽  
András Montvay ◽  
...  
Keyword(s):  
Power Plants ◽  
Large Scale ◽  
Failure Detection ◽  
Energy Yield ◽  
Combined Approach ◽  
Levelized Cost Of Electricity ◽  
Term Operation ◽  
Model Based

Photovoltaic (PV) technology allows large-scale investments in a renewable power-generating system at a competitive levelized cost of electricity (LCOE) and with a low environmental impact. Large-scale PV installations operate in a highly competitive market environment where even small performance losses have a high impact on profit margins. Therefore, operation at maximum performance is the key for long-term profitability. This can be achieved by advanced performance monitoring and instant or gradual failure detection methodologies. We present in this paper a combined approach on model-based fault detection by means of physical and statistical models and failure diagnosis based on physics of failure. Both approaches contribute to optimized PV plant operation and maintenance based on typically available supervisory control and data acquisition (SCADA) data. The failure detection and diagnosis capabilities were demonstrated in a case study based on six years of SCADA data from a PV plant in Slovenia. In this case study, underperforming values of the inverters of the PV plant were reliably detected and possible root causes were identified. Our work has led us to conclude that the combined approach can contribute to an efficient and long-term operation of photovoltaic power plants with a maximum energy yield and can be applied to the monitoring of photovoltaic plants.

scholarly journals MODEL-BASED DESIGN OF AM COMPONENTS TO ENABLE DECENTRALIZED DIGITAL MANUFACTURING SYSTEMS

2021 ◽  
Vol 1 ◽  
pp. 2127-2136
Author(s):  
Olivia Borgue ◽  
John Stavridis ◽  
Tomas Vannucci ◽  
Panagiotis Stavropoulos ◽  
Harry Bikas ◽  
...  
Keyword(s):  
Additive Manufacturing ◽  
Manufacturing Systems ◽  
Production Systems ◽  
Data Generation ◽  
Production Networks ◽  
Model Based ◽  
Manufacturing Technologies ◽  
Am Processes ◽  
Final Consumer

AbstractAdditive manufacturing (AM) is a versatile technology that could add flexibility in manufacturing processes, whether implemented alone or along other technologies. This technology enables on-demand production and decentralized production networks, as production facilities can be located around the world to manufacture products closer to the final consumer (decentralized manufacturing). However, the wide adoption of additive manufacturing technologies is hindered by the lack of experience on its implementation, the lack of repeatability among different manufacturers and a lack of integrated production systems. The later, hinders the traceability and quality assurance of printed components and limits the understanding and data generation of the AM processes and parameters. In this article, a design strategy is proposed to integrate the different phases of the development process into a model-based design platform for decentralized manufacturing. This platform is aimed at facilitating data traceability and product repeatability among different AM machines. The strategy is illustrated with a case study where a car steering knuckle is manufactured in three different facilities in Sweden and Italy.

Sign in / Sign up

Export Citation Format

Share Document