-
1
-
-
16244373995
-
Survivability analysis of telephone access network
-
Saint Malo, Bretagne, France
-
Liu Y, Mendiratta VB, Trivedi KS. Survivability analysis of telephone access network. In: Proceedings of the 15th IEEE international symposium on software engineering (ISSRE'04), Saint Malo, Bretagne, France, 2004.
-
(2004)
Proceedings of the 15th IEEE International Symposium on Software Engineering (ISSRE'04)
-
-
Liu, Y.1
Mendiratta, V.B.2
Trivedi, K.S.3
-
2
-
-
0037363335
-
Optimizing survivability of vulnerable series-parallel multi-state systems
-
G. Levitin, and A. Lisnianski Optimizing survivability of vulnerable series-parallel multi-state systems Reliability Engineering and System Safety 79 3 2003 329 331
-
(2003)
Reliability Engineering and System Safety
, vol.79
, Issue.3
, pp. 329-331
-
-
Levitin, G.1
Lisnianski, A.2
-
3
-
-
80052593364
-
-
INCOSE Technical Report INCOSE-TP-2003-002-03.2, INCOSE; January
-
INCOSE, Systems Engineering Handbook v.3.2. Technical Report INCOSE-TP-2003-002-03.2, INCOSE; January 2010.
-
(2010)
Systems Engineering Handbook v.3.2
-
-
-
6
-
-
79961157477
-
A unified failure/damage approach to battle damage regeneration: Application to ground military systems
-
Beijing, PR China
-
Monnin M, Senechal O, Iung B, Lelan P, Garrivet M. A unified failure/damage approach to battle damage regeneration: application to ground military systems. In: Proceedings of the 6th IFAC symposium on fault detection, supervision and safety of technical processes, SAFEPROCESS 2006, Beijing, PR China, 2006. p. 37984.
-
(2006)
Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS 2006
, pp. 379-384
-
-
Monnin, M.1
Senechal, O.2
Iung, B.3
Lelan, P.4
Garrivet, M.5
-
7
-
-
0003610530
-
-
OMG, Uml, the unified modelling language specifications 1.5. OMG
-
OMG, Uml, the unified modelling language specifications 1.5. Technical Report, OMG; 2003.
-
(2003)
Technical Report
-
-
-
8
-
-
1042265752
-
Construction and stepwise refinement of dependability models
-
C. Betous-Almeida, and K. Kanoun Construction and stepwise refinement of dependability models Performance Evaluation 56 2004 277 306
-
(2004)
Performance Evaluation
, vol.56
, pp. 277-306
-
-
Betous-Almeida, C.1
Kanoun, K.2
-
9
-
-
30544446194
-
System simulation for availability of weapon systems under various missions
-
K.S. Upadhya, and N.K. Srinivasan System simulation for availability of weapon systems under various missions Systems Engineering 8 4 2005 309 322
-
(2005)
Systems Engineering
, vol.8
, Issue.4
, pp. 309-322
-
-
Upadhya, K.S.1
Srinivasan, N.K.2
-
11
-
-
84957801459
-
The Möbius modelling tool
-
Aachen, Germany
-
Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle JM, et al. The Mbius modelling tool. In: Proceedings of the 9th international workshop on petri nets and performance models, Aachen, Germany, 2001. p. 24150.
-
(2001)
Proceedings of the 9th International Workshop on Petri Nets and Performance Models
, pp. 241-250
-
-
Clark, G.1
Courtney, T.2
Daly, D.3
Deavours, D.4
Derisavi, S.5
Doyle, J.M.6
-
12
-
-
84944319215
-
Stochastic activity networks: Formal definitions and concepts
-
Sanders W, Meyer J. Stochastic activity networks: formal definitions and concepts. In: Lecture notes in computer science, vol. 2090, 2001, p. 31543.
-
(2001)
Lecture Notes in Computer Science
, vol.2090
, pp. 315-343
-
-
Sanders, W.1
Meyer, J.2
-
13
-
-
0003966213
-
-
IEC 60060-191 Chapter 191: Dependability and quality of service
-
IEC 60060-191. International Electrotechnical Vocabulary (IEV). Chapter 191: Dependability and quality of service.
-
International Electrotechnical Vocabulary (IEV)
-
-
-
14
-
-
78650847165
-
-
NF EN 13306. Maintenance Terminology; June 2001
-
NF EN 13306. Maintenance Terminology; June 2001.
-
-
-
-
15
-
-
40349116463
-
Modelling high availability systems
-
PRDC
-
Trivedi KS, Vasireddy R, Trindade D, Nathan S, Castro R. Modelling high availability systems. In: Pacific rim dependability conference, PRDC, 2006.
-
(2006)
Pacific Rim Dependability Conference
-
-
Trivedi, K.S.1
Vasireddy, R.2
Trindade, D.3
Nathan, S.4
Castro, R.5
-
16
-
-
0023366013
-
Analysis of fault-tolerant architectures using harp
-
K. Trivedi, S. Bavuso, J. Dugan, R. Rothmann, and W. Smith Analysis of fault-tolerant architectures using harp IEEE Transactions on Reliability 36 2 1987 176 185
-
(1987)
IEEE Transactions on Reliability
, vol.36
, Issue.2
, pp. 176-185
-
-
Trivedi, K.1
Bavuso, S.2
Dugan, J.3
Rothmann, R.4
Smith, W.5
-
18
-
-
0031062137
-
Dependability modelling and evaluation by using stochastic petri nets: Application to two cases
-
Y. Dutuit, E. Chatelet, J.-P. Signoret, and P. Thomas Dependability modelling and evaluation by using stochastic petri nets: application to two cases Reliability Engineering and System Safety 55 2 1997 117 124
-
(1997)
Reliability Engineering and System Safety
, vol.55
, Issue.2
, pp. 117-124
-
-
Dutuit, Y.1
Chatelet, E.2
Signoret, J.-P.3
Thomas, P.4
-
19
-
-
34848903894
-
Formalisation of a new prognosis model for supporting proactive maintenance implementation on industrial system
-
A. Muller, M.-C. Suhner, and B. Iung Formalisation of a new prognosis model for supporting proactive maintenance implementation on industrial system Reliability Engineering and System Safety 93 2 2008 234 253
-
(2008)
Reliability Engineering and System Safety
, vol.93
, Issue.2
, pp. 234-253
-
-
Muller, A.1
Suhner, M.-C.2
Iung, B.3
-
20
-
-
16244373995
-
Survivability analysis of telephone access network
-
Saint Malo, Bretagne, France
-
Liu Y, Mendiratta VB, Trivedi KS. Survivability analysis of telephone access network. In: Proceedings of the 15th IEEE international symposium on software engineering (ISSRE'04), Saint Malo, Bretagne, France, 2004.
-
(2004)
Proceedings of the 15th IEEE International Symposium on Software Engineering (ISSRE'04)
-
-
Liu, Y.1
Mendiratta, V.B.2
Trivedi, K.S.3
-
21
-
-
30544436136
-
Loss rates and maintenance requirements in wartime
-
J. Kessler Loss rates and maintenance requirements in wartime R. Huber, Systems analyses and modelling in defence 1993 Plenum New York 893 903
-
(1993)
Systems Analyses and Modelling in Defence
, pp. 893-903
-
-
Kessler, J.1
-
25
-
-
84993791831
-
Availability of weapon systems with air-attack missions
-
K.S. Upadhya, and N.K. Srinivasan Availability of weapon systems with air-attack missions The Journal of Defense Modelling and Simulation: Applications, Methodology, Technology 1 2 2004 111 121
-
(2004)
The Journal of Defense Modelling and Simulation: Applications, Methodology, Technology
, vol.1
, Issue.2
, pp. 111-121
-
-
Upadhya, K.S.1
Srinivasan, N.K.2
-
27
-
-
70249083191
-
Vulnerability risk assessment
-
Army Research Laboratory; June
-
Guzie G. Vulnerability risk assessment. Technical Report ARL-TR-1045, Army Research Laboratory; June 2000.
-
(2000)
Technical Report ARL-TR-1045
-
-
Guzie, G.1
-
29
-
-
67650296159
-
Dynamic model for assessing impact of regeneration actions on system availability: Application to weapon systems
-
Las Vegas, USA: IEEE Computer Society
-
Monnin M, Iung B, Senechal O, Lelan P. Dynamic model for assessing impact of regeneration actions on system availability: application to weapon systems. In: Proceedings of the 54th annual reliability & maintainability symposium (RAMS). Las Vegas, USA: IEEE Computer Society; 2008. p. 23843.
-
(2008)
Proceedings of the 54th Annual Reliability & Maintainability Symposium (RAMS)
, pp. 238-243
-
-
Monnin, M.1
Iung, B.2
Senechal, O.3
Lelan, P.4
-
32
-
-
0002215719
-
-
NATO, Stanag 2418 battle damage repair policy NATO, December
-
NATO, Stanag 2418 battle damage repair policy. Technical Report, NATO, December 1994.
-
(1994)
Technical Report
-
-
-
35
-
-
0029378948
-
Dependability modelling using petri-net based model
-
M. Malhotra, and K.S. Trivedi Dependability modelling using petri-net based model IEEE Transactions on Reliability 38 3 1995 428 440
-
(1995)
IEEE Transactions on Reliability
, vol.38
, Issue.3
, pp. 428-440
-
-
Malhotra, M.1
Trivedi, K.S.2
-
36
-
-
33244494663
-
Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic petri nets
-
D. Ionescu, A. Ulmeanu, A. Constantinescu, and I. Rotaru Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic petri nets Computers and Mathematics with Applications 51 2 2006 285 290
-
(2006)
Computers and Mathematics with Applications
, vol.51
, Issue.2
, pp. 285-290
-
-
Ionescu, D.1
Ulmeanu, A.2
Constantinescu, A.3
Rotaru, I.4
-
37
-
-
54049146861
-
A petri net-based modelling of replacement strategies under technological obsolescence
-
J. Clavareau, and P.-E. Labeau A petri net-based modelling of replacement strategies under technological obsolescence Reliability Engineering and System Safety 94 2 2009 357 369
-
(2009)
Reliability Engineering and System Safety
, vol.94
, Issue.2
, pp. 357-369
-
-
Clavareau, J.1
Labeau, P.-E.2
-
39
-
-
49949089666
-
Probabilistic assessments in relationship with safety integrity levels by using fault trees
-
Y. Dutuit, F. Innal, A. Rauzy, and J.-P. Signoret Probabilistic assessments in relationship with safety integrity levels by using fault trees Reliability Engineering and System Safety 93 12 2008 1867 1876
-
(2008)
Reliability Engineering and System Safety
, vol.93
, Issue.12
, pp. 1867-1876
-
-
Dutuit, Y.1
Innal, F.2
Rauzy, A.3
Signoret, J.-P.4
-
40
-
-
0036821893
-
The Mbius framework and its implementation
-
D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, and J. Doyle The Mbius framework and its implementation IEEE Transactions on Software Engineering 28 10 2002 956 969
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.10
, pp. 956-969
-
-
Deavours, D.1
Clark, G.2
Courtney, T.3
Daly, D.4
Derisavi, S.5
Doyle, J.6
-
41
-
-
78650825460
-
-
DGA. Confidential, French Procurement Agency (Délégation Générale pour l'Armement, Centre d'Analyse de Défense); [in French]
-
DGA. Eole model validation on the basis of data collected during the gulf war. Confidential, French Procurement Agency (Dlgation Gnrale pour l'Armement, Centre d'Analyse de Dfense); 1995 [in French].
-
(1995)
Eole Model Validation on the Basis of Data Collected During the Gulf War
-
-
|