34,625 research outputs found
Sensitivity Analysis for a Scenario-Based Reliability Prediction Model
As a popular means for capturing behavioural requirements, scenariosshow how components interact to provide system-level functionality.If component reliability information is available, scenarioscan be used to perform early system reliability assessment. Inprevious work we presented an automated approach for predictingsoftware system reliability that extends a scenario specificationto model (1) the probability of component failure, and (2) scenariotransition probabilities. Probabilistic behaviour models ofthe system are then synthesized from the extended scenario specification.From the system behaviour model, reliability predictioncan be computed. This paper complements our previous work andpresents a sensitivity analysis that supports reasoning about howcomponent reliability and usage profiles impact on the overall systemreliability. For this purpose, we present how the system reliabilityvaries as a function of the components reliabilities and thescenario transition probabilities. Taking into account the concurrentnature of component-based software systems, we also analysethe effect of implied scenarios prevention into the sensitivity analysisof our reliability prediction technique
Realizing the supersymmetric inverse seesaw model in the framework of R-parity violation
If, on one hand, the inverse seesaw is the paradigm of TeV scale seesaw
mechanism, on the other it is a challenge to find scenarios capable of
realizing it. In this work we propose a scenario, based on the framework of
R-parity violation, that realizes minimally the supersymmetric inverse seesaw
mechanism. In it the energy scale parameters involved in the mechanism are
recognized as the vacuum expectation values of the scalars that compose the
singlet superfields and . We develop also the scalar sector
of the model and show that the Higgs mass receives a new tree-level
contribution that, when combined with the standard contribution plus loop
correction, is capable of attaining GeV without resort to heavy stops.Comment: Minor modification of the text. Final version to be published in PL
- ā¦