Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools
E Ruijters, M Stoelinga - Computer science review, 2015 - Elsevier
Fault tree analysis (FTA) is a very prominent method to analyze the risks related to safety
and economically critical assets, like power plants, airplanes, data centers and web shops …
and economically critical assets, like power plants, airplanes, data centers and web shops …
Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and Simulation
Simulation has become, in many application areas, a sine qua non. Most recently, COVID-
19 has underlined the importance of simulation studies and limitations in current practices …
19 has underlined the importance of simulation studies and limitations in current practices …
Case studies and organisational sustainability modelling presented by cloud computing business framework
Abstract In this paper, Cloud Computing Business Framework (CCBF) is proposed to help
organisations achieve good Cloud design, deployment, migration, and services. Although …
organisations achieve good Cloud design, deployment, migration, and services. Although …
A proposed framework for cloud computing adoption
VIC Chang - International Journal of Organizational and Collective …, 2016 - igi-global.com
This paper presents a review related to Cloud Computing focusing on Cloud business
requirements. From the review the author recommends a number of methods managing …
requirements. From the review the author recommends a number of methods managing …
Exploiting product forms solution techniques in multiformalism modeling
Multiformalism modeling has shown to be a valuable technique to cope with the complexity
of the constraints that apply to specifications of computer-based systems state of the art …
of the constraints that apply to specifications of computer-based systems state of the art …
Solution workflows for model-based analysis of complex systems
The development and analysis of increasingly complex systems require the intensive use of
models and of sophisticated approaches to systems modeling. This paper focuses on …
models and of sophisticated approaches to systems modeling. This paper focuses on …
Element based semantics in multi formalism performance models
M Iacono, M Gribaudo - 2010 IEEE International Symposium on …, 2010 - ieeexplore.ieee.org
The design and the requirements of modern computer-based systems have reached a
complexity level that calls for the use of models for the verification of non functional …
complexity level that calls for the use of models for the verification of non functional …
Defining formalisms for performance evaluation with SIMTHESys
Tools for the analysis and modeling of complex systems must be able to support the
extensibility of formalisms, reusability of models and customization of formalism …
extensibility of formalisms, reusability of models and customization of formalism …
An introduction to multiformalism modeling
M Gribaudo, M Iacono - Theory and Application of Multi-Formalism …, 2014 - igi-global.com
The fundamental need for models in every field of design stems from the absolute and
essential necessity for complexity domination. The prediction and verification competence is …
essential necessity for complexity domination. The prediction and verification competence is …
Performance evaluation of the CM-5 interconnection network
M Lin, R Tsang, DHC Du, AE Klietz… - Digest of Papers …, 1993 - ieeexplore.ieee.org
The authors present performance characteristics of the CM-5 (Connection Machine-5) data
network with respect to bandwidth and latency. They present the maximum effective network …
network with respect to bandwidth and latency. They present the maximum effective network …