Filters








954,548 Hits in 4.6 sec

Risk-driven security testing using risk analysis with threat modeling approach

Maragathavalli Palanivel, Kanmani Selvadurai
2014 SpringerPlus  
Risk-driven security testing uses risk analysis results in test case identification, selection and assessment to prioritize and optimize the testing process.  ...  For experimentation, the system models namely LMS, ATM, OBS, OSS and MTRS are considered. The performance of proposed system is analyzed using Test Suite Reduction Rate (TSRR) and FSM coverage.  ...  The result from the risk assessment is used for test case generation and prioritization. It is again subjected to risk assessment and the significant test cases are executed.  ... 
doi:10.1186/2193-1801-3-754 pmid:25674480 pmcid:PMC4320241 fatcat:5cur65i6zngk5foqlydqwa2zse

Towards Data-Driven Reliability Modeling for Cyber-Physical Production Systems

Jonas Friederich, Sanja Lazarova-Molnar
2021 Procedia Computer Science  
In this paper, we elaborate on the details of our proposed framework for data-driven reliability assessment of cyberphysical production systems.  ...  In this paper, we elaborate on the details of our proposed framework for data-driven reliability assessment of cyberphysical production systems.  ...  This case study will be used to develop and test methodologies that contribute to the overall vision of data-driven reliability modeling.  ... 
doi:10.1016/j.procs.2021.03.073 fatcat:vbxw4gsogfajdaffbms5s63sxi

Software Fault Injection: A Practical Perspective [chapter]

Lena Feinbube, Lukas Pirl, Andreas Polze
2018 Dependability Engineering  
Software fault injection (SFI) is an acknowledged method for assessing the dependability of software systems.  ...  We present a well-defined development methodology incorporating SFI-fault injection driven development (FIDD)-which begins by systematically constructing a dependability and failure cause model, from which  ...  Acknowledgements The authors would like to thank all participants of the student contest at HPI, during the winter semester 2016/17.  ... 
doi:10.5772/intechopen.70427 fatcat:ptbcam3cbnaividlqmtvottkoy

Author index

2013 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)  
Paolieri, Marco International standardization of Open Systems Dependability du Bousquet, Lydie Single-Trace Fault Localization in Embedded Software Eberhardinger, Benedikt Model-driven Synthesis of Monitoring  ...  Standard Reliability Growth Models on Automotive Systems Nishi, Yasuharu An extended notation of FTA for risk assessment of software-intensive medical devices.  ... 
doi:10.1109/issrew.2013.6688827 fatcat:fezdd55oujclxoj5orb4am3iw4

Author index

2013 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)  
Paolieri, Marco International standardization of Open Systems Dependability du Bousquet, Lydie Single-Trace Fault Localization in Embedded Software Eberhardinger, Benedikt Model-driven Synthesis of Monitoring  ...  Standard Reliability Growth Models on Automotive Systems Nishi, Yasuharu An extended notation of FTA for risk assessment of software-intensive medical devices.  ... 
doi:10.1109/issre.2013.6698874 fatcat:vrmqtanuwzhghe52pq3n6yc3fm

An approach to automatic process deviation detection in a time-critical clinical process

Sen Yang, Aleksandra Sarcevic, Richard A. Farneth, Shuhong Chen, Omar Z. Ahmed, Ivan Marsic, Randall S. Burd
2018 Journal of Biomedical Informatics  
Our findings show the importance of assessing detected deviations for repairing a knowledge-driven model that best represents "work as done." Graphical abstract  ...  Twenty-four randomly selected activity traces were compared with a knowledge-driven model of trauma resuscitation workflow using a phase-based conformance checking algorithm for detecting true and false  ...  Knowledge-Driven Model of the Trauma Resuscitation Workflow We limited the scope of our model to assessment activities because diagnosis and treatment during trauma resuscitation depend on the information  ... 
doi:10.1016/j.jbi.2018.07.022 pmid:30071317 pmcid:PMC6167602 fatcat:vjdezdqon5ejxevnywysfbxbcy

Model-driven automated software FMEA

Neal Snooke, Chris Price
2011 2011 Proceedings - Annual Reliability and Maintainability Symposium  
intended for safety critical embedded systems, and also for model-driven software developments.  ...  Model-driven development (MDD) is a software development philosophy which encourages the development of models of the software to be produced, for example using a language such as executable UML.  ...  Generating software FMEA from models Let us say that the system is specified in executable UML with a specific set of models. USE CASES are used to describe the purpose of the system.  ... 
doi:10.1109/rams.2011.5754453 fatcat:mqnniejdf5fd7poxmxp6o7fvky

Argument-based assessment of predictive uncertainty of data-driven environmental models

Benedikt Knüsel, Christoph Baumberger, Marius Zumwald, David N. Bresch, Reto Knutti
2020 Environmental Modelling & Software  
A framework for assessing predictive 149 uncertainties of data-driven models should thus reflect this purpose-dependence of the representational 150 character of the model. 151 Hence, existing frameworks  ...  for uncertainty assessments seem inadequate as conceptual tools for a 152 discussion of the predictive uncertainty of data-driven models.  ...  Conflict of Interest The authors declare no conflicts of interest.  ... 
doi:10.1016/j.envsoft.2020.104754 fatcat:6j5c55mjkjbkhfwihlpzxf6kte

Investigating the Converter-Driven Stability of an Offshore HVDC System

Matthias Quester, Fisnik Loku, Otmane El Azzati, Leonel Noris, Yongtao Yang, Albert Moser
2021 Energies  
The proposed method is applied to assess an offshore HVDC system's converter-driven stability, using impedance measurements of laboratory converters and a wind turbine converter controller replica.  ...  Considering that the converter models and system data are often confidential and cannot be exchanged in real systems, this paper proposes an enhanced impedance measurement method suitable for black-box  ...  While the offshore test case demonstrates a stable system for all grid configurations, the converter-driven stability also depends on the control systems of the converters.  ... 
doi:10.3390/en14082341 fatcat:alzuzjb5ffeupmct5cui6db25e

Cyber Resilience Meta-Modelling: The Railway Communication Case Study

Emanuele Bellini, Stefano Marrone, Fiammetta Marulli
2021 Electronics  
To this end, the present paper aims at providing an operational formalisation for cyber resilience starting from the Cyber Resilience Ontology presented in a previous work using model-driven principles  ...  In this respect, an application case based on critical transportation communications systems, namely the railway communication system, is provided to prove the feasibility of the proposed approach and  ...  R3 The same situation as R2 is for the "depends on from" dependency. In this case, the depending use case plays the role of the including one.  ... 
doi:10.3390/electronics10050583 doaj:b03542a919384ba0a492f1985f941a87 fatcat:by5elwdjpfg2bgeaaogxwtzkc4

Requirements traceability in model-driven development: Applying model and transformation conformance

João Paulo A. Almeida, Maria-Eugenia Iacob, Pascal van Eck
2007 Information Systems Frontiers  
Our framework is a basis for understanding requirements traceability in model-driven development, as well as for the design of tools that support requirements traceability in model-driven development processes  ...  We propose a notion of conformance between application models which reduces the effort needed for assessment activities.  ...  Acknowledgements This work is part of the Freeband A-MUSE project (http://a-muse.freeband.nl), which is spon-  ... 
doi:10.1007/s10796-007-9038-3 fatcat:tvr72pqp4jfpxbzqie42txu7gu

Polynomial Response Surfaces for Probabilistic Risk Assessment and Risk Control via Robust Design [chapter]

Sergey Oladyshkin, Wolfgang Nowak
2012 Novel Approaches and Their Applications in Risk Assessment  
Efficient probabilistic risk assessment The data-driven polynomial chaos expansion provides a simple but powerful tool for stochastic modeling and, in this case study, for the probabilistic risk assessment  ...  The solution V c of the system (7) depends on the selection of collocation points.  ... 
doi:10.5772/38170 fatcat:ji7x3vttkvb4hcxtkmycblibkm

Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems

Jose Luis de la Vara, Alejandra Ruiz, Huáscar Espinoza
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
Although models have been used for assurance of safety-critical systems for many years, e.g. to specify safety cases, it has only been recently when the full potential of Model-Driven Engineering has started  ...  Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems.  ...  Use of Models for Assurance of Safety-Critical Systems in Practice The use of models, understood as graphical representations with a specific and constrained structure, in assurance activities for safety-critical  ... 
doi:10.5220/0006733906320641 dblp:conf/modelsward/Vara0E18 fatcat:4cafnwsfardv7kulj7jcju42cq

Managing User Capabilities in Information Systems Life Cycle: Conceptual Modeling

Harekrishna Misra
2016 International journal of information science and management  
At times, IS is used for managing broader enterprise level issues like implementing e-business, e-commerce.  ...  The framework is implemented through Unified Modelling Language (UML) based approach. A case discusses the utility of this approach.DOR: 98.1000/1726-8125.2017.15.39.0.1.77.103  ...  In this case this "activity diagram" is used for capturing the entire process of assessing organizational capabilities (OUC) which is assessed through the framework as sequenced in Figure 3 , Table 3  ... 
doaj:46b7f4a9b53f4f8693aa1869fb3607a2 fatcat:5lbog7viq5h3rmju6wvb2xh64e

A model driven approach for assessing survivability requirements of critical infrastructures

Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini
2017 Journal of High Speed Networks  
We consider models as first class citizens in the assessment of requirements for critical systems. Then, we propose a Survivability Assessment Model (SAM), that can be formally verified.  ...  Guaranteeing essential services means to ensure survivability with an adequate Quality of Service (QoS). This paper proposes a model-driven approach for the assessment of survivability requirements.  ...  [8] propose on a model-driven approach that allows deriving a system state machine from use case diagrams.  ... 
doi:10.3233/jhs-170564 fatcat:to47vrbtyvh5lki2mhajnsus7u
« Previous Showing results 1 — 15 out of 954,548 results