ویراساینس.
سند علمی

A Quantitative Risk-based Model for Reasoning over Critical System Properties

Martin S. Feather

چکیده

The workshop description lists security, safety, survivability, fault-tolerant, and real-time as included among the critical properties that may be required of high assurance systems. Each of these is an active area of ongoing research. It is a daunting challenge to develop systems that satisfy several of them at once, yet there is a pressing need to do so for many high assurance systems. This position paper suggests the use of a quantitative riskbased model to help in such situations. The aim is to support reasoning and decision making that spans many of these critical properties. The potential benefits include prioritization of the challenges that high assurance system development efforts face, ability to identify solutions to match the challenges, identification of the areas of weakness where further research is warranted, and improved understanding of the strengths and weaknesses of a particular system.

اسناد مشابه

  • Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars

    سند علمی۲۰۰۹RULERodrigo Machado, Reiko Heckel, Leila Ribeiro

    Aspect-orientation is a relatively new paradigm that introduces abstractions to modularize the implementation of system-wide policies. It is based on a composition operation, called aspect weaving, that implicitly modifies a base system by performing related changes within the sy

  • Secrecy-Preserving Reasoning Over Entailment Systems: Theory and Applications

    سند علمی۲۰۱۴George Voutsadakis, Giora Slutzki, Vasant Honavar

    Privacy, copyright, security and other concerns make it essential for many distributed web applications to support selective sharing of information while, at the same time, protecting sensitive knowledge. Secrecypreserving reasoning refers to the answering of queries against a kn

  • Critical System Properties : Survey and Taxonomy 1

    سند علمی۱۹۹۴John Rushby

    Computer systems are increasingly employed in circumstances where their failure (or even their correct operation, if they are built to flawed requirements) can have serious consequences. There is a surprising diversity of opinion concerning the properties that such “critical syst

  • Formalizing UML Software Models of Safety Critical Systems

    سند علمی۲۰۱۰Sophine Clachar, Emanuel S. Grant

    The Unified Modeling Language (UML) is the de facto standard for designing models of software systems in both industry and academia. UML has many advantages, and is often the tool of choice when conveying information between various stakeholders. UML’s main disadvantage is that i

  • INTEGRATING REMOTE SENSING WITH GIS FOR URBAN FIRE RISK MODELLING: A MULTI-AGENT SYSTEM FOR DYNAMIC RESOURCE REDISTRIBUTION *©Sunil BHASKARAN, *Bruce FORSTER, **Nandan PARAMESH, ***Trevor NEAL

    سند علمی۲۰۰۱Sunil BHASKARAN, Bruce FORSTER, Nandan PARAMESH, Trevor NEAL

    Limited dynamic resources (fire fighting staff and fire equipment) have to be allocated on the basis of spatio-temporal factors, which may influence fire hazard and vulnerability (risk) in urban environments. On the one hand there is a need to develop a model that inputs spatio-t

  • Risk management of complex critical systems

    سند علمی۲۰۰۵IJCISAndrew Koubatis, Jorge Yerena Schonberger

    It is crucial to examine the changing panorama of vulnerabilities and criticalities in our increasingly interconnected world. Understanding the meaning of complexity and its implications allows us to see the interconnectedness of the world for enhanced risk management in technica