• No results found

[PDF] Top 20 Conservative Claims about the Probability of Perfection of Software-based Systems

Has 10000 "Conservative Claims about the Probability of Perfection of Software-based Systems" found on our website. Below are the top 20 most common "Conservative Claims about the Probability of Perfection of Software-based Systems".

Conservative Claims about the Probability of Perfection of Software-based Systems

Conservative Claims about the Probability of Perfection of Software-based Systems

... the probability of perfection of software- based systems which are sufficiently simple that they are “possibly ...the software of interest will never fail in a specific operating ... See full document

12

Conservative Claims for the Probability of Perfection of a Software-based System Using Operational Experience of Previous Similar Systems

Conservative Claims for the Probability of Perfection of a Software-based System Using Operational Experience of Previous Similar Systems

... why claims of probability of non- perfection (pnp) may sometimes be useful in reasoning about the reliability of software-based systems for safety-critical ... See full document

40

On the probability of perfection of Software-Based systems

On the probability of perfection of Software-Based systems

... subjective probability of perfection using extensive failure-free working of the single software in question, which could be used not only on its own ...of perfection hints at the different ... See full document

188

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems

Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems

... Notice how the reasoning required here contrasts with that involved in the analysis of section 2.3. Here the expert believes there is probability mass at the origin, and so is expressing a belief about ... See full document

22

Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles

Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles

... demand-based systems (such as protection systems) to derive a confidence bound for a specific operational ...operation. Based on this analysis the paper examines what bound can be claimed for ... See full document

21

The use of multilegged arguments to increase confidence in safety claims for software-based systems: A study based on a BBN analysis of an idealized example

The use of multilegged arguments to increase confidence in safety claims for software-based systems: A study based on a BBN analysis of an idealized example

... a probability (that the claim is true). This probability, in turn, will be interpreted as the usual Bayesian subjective strength of belief in the claim, held by an individual whom we shall refer to as ‘the ... See full document

44

Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of “not worse than independence”

Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of “not worse than independence”

... Of course, it would help to have empirical evidence of the levels of dependence between diverse software-based channels in some real-life systems. Unfortunately, such evidence is very thin on the ... See full document

28

A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train

A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train

... The departure from the safe operational envelope is known as a demand on the protection system. Demands typically arise from different failures within the physical process and control systems. For example, in the ... See full document

23

Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of "not worse than independence"

Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of "not worse than independence"

... two software-based channels are “diverse” as a result of having been developed independently of one another (indeed, their designs may have been forced to be diverse by imposing diverse development ... See full document

19

Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1-out-of-2 software-based system in which one channel is "possibly perfect"

Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1-out-of-2 software-based system in which one channel is "possibly perfect"

... C, plays a similar role. We therefore considered a refinement in which the assessor is prepared, in addition, to provide for each parameter an upper bound which he believes the parameter cannot exceed. This second bound, ... See full document

26

Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1-out-of-2 software-based system in which one channel is “possibly perfect”

Conservative reasoning about epistemic uncertainty for the probability of failure on demand of a 1-out-of-2 software-based system in which one channel is “possibly perfect”

... pfd claims must be made about both channels (because each is too complex for a claim of “possibly perfect”): clearly many systems are of this kind ...real systems (e.g. some protection ... See full document

23

The body : the illusion of perfection

The body : the illusion of perfection

... development. Erikson proposed that ‘the expansiveness of civilization, together with its stratification and specialization, force children to base their ego models on shifting, sectional and contradictory prototypes’ ... See full document

62

Feasibility study on component based software architecture for large scale software systems

Feasibility study on component based software architecture for large scale software systems

... a software element that conforms to a software model and can be independently deployed and composed without modification according to a composition ...business systems. The main goal of the component ... See full document

5

PICTURE DAY PERFECTION

PICTURE DAY PERFECTION

... thinks about his terrible appearance, and he smiles—because he secretly wants his picture to be the worst ever taken! But just as he smiles, the photo is snapped and his plan is ruined—the photo looks ... See full document

18

Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection.

Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection.

... knowledge about the effectiveness of the development and verification methods used, one can derive a distribution for the failure rate of the program or, better, a probability of failure over the mission ... See full document

11

Probability of ruin in discrete insurance risk model with dependent Pareto claims

Probability of ruin in discrete insurance risk model with dependent Pareto claims

... larger probability of ruin and faster conver- gence (the difference in ruin probabilities between u = n and u = n + 1 is smaller than 10 −8 ...ruin probability. According to Set 4, one can see that as the ... See full document

26

Perfection for 30,000 dollars

Perfection for 30,000 dollars

... Then one day, about a month later, I ran into her at a party and she looked stunning. The puffi- ness had settled, the fire under the skin had gone out. Even her lips looked like they belonged on her face. They ... See full document

5

Continuum wise expansive diffeomorphisms and conservative systems

Continuum wise expansive diffeomorphisms and conservative systems

... · on the tangent bundle TM. In dynamical systems, expansivity is a useful notion to study of the stability. Roughly speaking, if two points stay near for future and past iterates, then they must be equal. We say ... See full document

8

Crime claims on the rise what to do about it

Crime claims on the rise what to do about it

... is based on sources we believe reliable, but we make no representation or warranty as to its ...are based solely on our experience as insurance brokers and risk consultants and are not to be relied upon as ... See full document

6

...perfection without compromise

...perfection without compromise

... Imagine holding your wedding reception in the exclusive splendour of Sweeney Hall, where the only guests are those you have specially invited.. An exclusive use wedding means complete [r] ... See full document

11

Show all 10000 documents...

Related subjects