Faculty>Carol Smidts>Research
RESEARCH,
SCHOLARLY, AND CREATIVE ACTIVITIES
Book
Editorship:
.1.
MOSLEH, A., SIU N., SMIDTS C., LUI C., “Model Uncertainty:
Characterization and Quantification. “
Proc. Of Workshop I, Advanced Topics in Reliability and Risk
Analysis, 1996, CRE Publication, ISSN 1084-5658, also published as NUREG/CP-0138,
October 1994.
2. SMIDTS C., DEVOOGHT J. and LABEAU P.E., “Dynamic Reliability: Future Directions”, International Workshop Series on Advanced Topics in Reliability and Risk Analysis, CRE Publication, August 2000.
Book Chapter:
1.
SMIDTS C., KOWALSKI R., “Software Reliability”, in Reliability,
Maintainability and System Effectiveness Handbook, CRC Press, Inc.,
ISBN 0-8493-9457-0, 1995.
2.
SMIDTS C., “Software Reliability: Current Approaches, New
Directions”, in The Electronics Handbooks, CRC Press Publication,
ISBN 0-8493-8345-5, 1997.
3. SMIDTS C.,
LI B., LI M., LI Z.,” Software Reliability Models”, in the Encyclopedia
for Software Engineering, Ed. J. Marciniak, John Wiley and Sons (under
press)
Articles
in Refereed Journals:
1.
BERSINI H., DEVOOGHT J., SMIDTS C., “Recent progress in human
reliability models for nuclear power safety”, Nuclear Europe 10,
13 et 14 (1988).
2. DEVOOGHT J., DUBUS
A., SMIDTS C., “Sub optimal inspection policies for
imperfectly observed realistic systems”, European Journal of
Operational Research 46,
203-218 (1988).
3. DEVOOGHT
J., SMIDTS C., “Probabilistic reactor dynamics. I. The theory of continuous event trees”, Nucl. Sci. Eng., 111, 229-240
(1992).
4.
SMIDTS C., DEVOOGHT J., “Probabilistic reactor dynamics. II.
A Monte Carlo study of a fast reactor transient”, Nucl. Sci.
Eng., 111, 241-256 (1992).
5.
DEVOOGHT J., SMIDTS C., “Probabilistic reactor dynamics.
III. A framework for time dependent interaction between operator
and reactor during a transient involving human error”, Nucl. Sci. Eng.,
112, 101-113 (1992).
6.
SMIDTS C., “Probabilistic reactor dynamics.
IV. An example of man machine interaction”, Nucl. Sci. Eng.,
112, 114-126 (1992).
7.
SMIDTS C., DUBUS A., DEHAES J.C., HAFNI A., GANACHAUD J.P., “
Study of the influence of the electron capture and loss process of the
secondary electron emission induced by protons in aluminum”, Nucl.
Inst. And Meth. In Physics Research, B, 67, 646-649 (1992).
8.
SMIDTS C., “Probabilistic Dynamics: A Numerical Comparison
between a Continuous Event Tree and a Dylam Type Event Tree”, Reliability
Engineering and System Safety, 44, 189-206 (1994).
9.
DEVOOGHT J., SMIDTS C., “Probabilistic Dynamics as a Tool for
Dynamic PSA”, Reliability Engineering and System Safety, 52(3),
185-196 (1996)
10. SOVA D.,
SMIDTS C., “A Comparison of Software Testing Methodologies within the
Software Engineering Laboratory”, Empirical Software Engineering, 1,
165-188 (1996).
11. SMIDTS
C., SHEN S.-H., MOSLEH A., “A Cognitive Model for Nuclear Power Plant
Operation under Accident Conditions: IDA”, Reliability Engineering
and System Safety, 55, 51-71
(1997).
12. SHEN
S.-H., SMIDTS C., MOSLEH A., “A Methodology for Collection and Analysis
of Human Error Data Based on a Cognitive Model :IDA”, Nuclear
Engineering & Design, 172, 157-186
(1997).
13.
SWAMINATHAN S., BELL S., VAN HALLE J.-Y., SMIDTS C., MULVIHILL B., MOSLEH
A., RUDOLPH K., BREAM B., “Application of Two Different Methods to
Accident Probabilistic Analysis of the Cassini Mission”, Reliability
Engineering and System Safety, 58,
1-14 ( 1997).
14. SMIDTS
C., STODDARD R.W., STUTZKE M., “Software Reliability Models: An Approach
to Early Reliability Prediction”, IEEE Transactions on Reliability,
47(3), 268-278 (1998).
15. TOMBUYSES
B., DELUCA P., SMIDTS C., “Backward Monte Carlo for Probabilistic
Dynamics”, Mathematics and Computers in Simulation, 47, 493-505
(1998).
16.
SWAMINATHAN S., SMIDTS C., “The Event Sequence Diagram Framework for
Dynamic PRA”, Reliability Engineering and System Safety, 63, 1,
73-91 (1998).
17. SMIDTS
C., SOVA D., “An Architectural Model for Software Reliability
Quantification: Sources of Data”, Reliability Engineering and System
Safety, 64, 279-290
(1999).
18.
SWAMINATHAN S., SMIDTS C., “The Mathematical Formulation for the ESD
Framework”, Reliability Engineering and System Safety, 65, 2,
103-118 (1998).
19. BRANNIGAN
V., SMIDTS C., “Performance Based Fire Safety Regulation Under
Intentional Uncertainty,” Fire and Materials, accepted for
publication (1999).
20.
SWAMINATHAN S., SMIDTS C., “Identification of Missing Scenarios in ESDs
using Probabilistic Dynamics”, Reliability Engineering and System
Safety, 66, 3, 275-279 (1999).
21. LABEAU
P.-E., SMIDTS C., SWAMINATHAN S., “Towards an Integrated Platform for
Dynamic Probabilistic Risk Assessment”, Reliability Engineering and
System Safety, 68 (2000), pp 219-254.
22. STUTZKE
M., SMIDTS C., “A Stochastic Model of Human Error During Software
Development,” IEEE Transactions on Reliability, accepted for
publication (1999).
23. SMIDTS
C., WIDMAIER J., HUANG X.,”Producing Reliable Software: an
Experiment”, Journal of Systems and Software , accepted for
publication (2001)
Submitted
for Publication
1.LI M.,
SMIDTS C., “On the Nature of Relationships Between Measures and
Reliability”, submitted for publication to IEEE Transactions on
Software Engineering (2001).
2. SMIDTS C.,
"Stochastic Modelling of the Impact of Repair Times on Software
Development Errors", IEEE Transactions on Reliability (2000).
3. LI M.,
SMIDTS C.,”A Ranking of Software Engineering Measures Based on Expert
Opinion”, prepared for IEEE Transactions on Software Engineering.
4. GUPTA A.,
ANANT A., SINHA A., SMIDTS C.,”A Specification-Based Representation For
the Software Functional Architecture”, prepared for Journal of
Systems and Software.
In
Preparation
1. CONSTANTIN
C., SMIDTS C., “A Study of the Missing Scenario Algorithm in Dynamic
Event Sequence Diagrams”, prepared for Reliability Engineering and
Systems Safety.
2. GROEN F.,
SMIDTS C., MOSLEH A., SWAMINATHAN S.,”QRAS: Quantitative Risk Assessment
System”, prepared for Reliability Engineering and Systems Safety.
Refereed
Conference Proceedings:
1. CANTARELLA J.,
DEVOOGHT J., SMIDTS C., “Methodological progress in
Markovian availability analysis and applications”, Proceedings
of “Probabilistic safety assessment and risk management PSA ‘87",
vol. 1, pp. 72-178 (Zurich 1987).
2.
SMIDTS C., DUBUS A., DEVOOGHT J., “Sub-optimal Inspection
Policies for Imperfectly
Observed Realistic Systems”, Proceedings of Euro-Tims (Paris
1988).
3. DEVOOGHT J., SMIDTS
C., “A Framework for Time Dependent Interaction Between Operator and
Reactor During a Transient Involving Human Error”, Proceedings of “PSA ‘89 International topical meeting, probability,
reliability and safety assessment”, vol. II, pp. 936-942 (Pittsburgh
1989).
4. ARIEN
B., LAMY D., DEVOOGHT J., SMIDTS C., “Reliability Analysis of Large
Systems by the Markovian Technique - Development of the CAMERA
Software”, Proceedings of PSA ‘91 (1991).
5. DEVOOGHT J., SMIDTS
C., “Probabilistic Reactor Dynamics. I. The Theory of
Continuous Event Trees”, Proceedings of Adv. In Math. Compu. And React. Phys. Int. Conf.
(Pittsburgh, 1991).
6. DEVOOGHT J., SMIDTS
C., “Probabilistic Reactor Dynamics.
II. A Monte Carlo
Study of a Fast Reactor Transient”, Proceedings of
Adv. In Math. Compu. And React. Phys. Int. Conf. (Pittsburgh,
1991).
7. DEVOOGHT J., SMIDTS
C., “Probabilistic Reactor Dynamics: Comparative Models”, Proceedings
of the American Nuclear
Society Winter Meeting (San Francisco, November 1991).
8.
SMIDTS C., DEVOOGHT J., “Probabilistic Dynamics: Need and
Methods”, Proceedings of SCS
Simulation Multi conference (Wash., May 1993).
9. DEVOOGHT J., TOMBUYSES B., SMIDTS C., “The Use of Component
Influence Graphs to Reduce the Size of Markovian Reliability Problems”, Proceedings of ESREL (1993).
10.
DEVOOGHT J., SMIDTS C., “Probabilistic Dynamics: The Mathematical
and Computing Problems Ahead”, Proceedings of AWR NATO ASI Serie F,
Springer
11. DEVOOGHT J., SMIDTS C., “A Theoretical Analysis of Dylam-Type
Event Tree Sequences”, Proceedings of
PSAM-II Int. Conf. (California 1994).
12. SMIDTS C., DEVOOGHT J., “A Numerical Comparison Between a
Continuous Event Tree and a Dylam-Type Event Tree”, Proceedings of PSAM-II Int. Conf. (California 1994).
13. SHEN S-H., SMIDTS C., MOSLEH A., “A Model for Operator
Problem Solving and Decision Making in Abnormal Conditions”, Proceedings
of PSAM-II Int. Conf.
(California 1994).
14. SMIDTS
C., SOVA D., “A Comparison of Software Testing Methodologies”, Proceedings
of Annual Rel. And Maint.
Symp. (Washington, January 1995).
15. SHEN S-H., SMIDTS C., MOSLEH A., “A Taxonomy and Root Cause
Analysis of Human Cognitive Behavior Based on a Cognitive Model”, Proceedings
of the Annual Rel. And Maint. Symp. (Washington, January 1995).
16. SHEN S-H., SMIDTS C., MOSLEH A., “Application of a
Model-Based Human Error Taxonomy to the Analysis of Reactor Operating
Events”, Proceedings of the International Topical Meeting on
Computer-Based Human Support systems: Technology, Methods and Future
(Philadelphia, June 1995).
17. BRANNIGAN
V., SMIDTS C., “Use of Precursors in Risk Based Regulation; Regulatory Effectiveness Analysis”, Proceedings of
the International Workshop on Precursors, (Madison, Wisconsin, 1995).
18. BRANNIGAN, V,., SMIDTS C., “Requirements for Risk Based
Regulation Using Mathematical Risk Models”, Proceedings of
PSAM-III International Conference on Probabilistic Safety
Assessment and Management (Crete,
1996).
19. DELUCA P., SMIDTS C., “Probabilistic Dynamics: Development of
Quasi-Optimal Monte Carlo Strategies”, Proceedings of
PSAM-III International Conference on Probabilistic Safety
Assessment and Management (Crete, 1996).
20. BRANNIGAN, V., SMIDTS C., KILPATRICK, A., “Regulatory
Requirements for Performance Based Codes; Risk Based Regulation”, Proceedings of Interflam, (Cambridge, 1996).
21. BELL S., RUDOLPH K., BREAM B., MULVIHILL B., SMIDTS C., MOSLEH
A., SWAMINATHAN S., VAN HALLE J.-Y., “Application of Two Different
Methods to Accident Probabilistic Analysis of the Cassini Mission”, Proceedings
of PSA ‘96, (Utah September 1996).
22. SMIDTS C., STODDARD R.W., STUTZKE M., “Software Reliability
Models: An Approach to Early Reliability Prediction”, Proceedings of ISSRE ‘96, (New Jersey, November 1996).
23. CLARK A.,
SMIDTS C., “Software Failure Modes and Effects Analysis of Fault
Tolerant Software Strategies”, Proceedings of
PSA ‘96 (Utah, September 1996).
24. SMIDTS C., BRANNIGAN V., “Risk Based Regulation Using
Probabilistic Risk Assessment in Undefined Environments”, Proceedings
of PSA ‘96 (Utah,
September 1996).
25.
SWAMINATHAN S., SMIDTS C., “Improvements to Dynamic Methodologies”, Proceedings
of PSA ‘96 (Utah,
September 1996). (Invited)
26. SMIDTS
C., SOVA D., “A Software Reliability Quantification Framework for
Verification and Validation”, Proceedings of the 3rd ISSAT Conference
(Los Angles, California, March 1997).
(Invited)
27. SMIDTS C., SOVA D., MANDELA G., “An Architectural Model for
Software Reliability Quantification”, Proceedings of
ISSRE ‘97 (Albuquerque, New Mexico, 1997).
28. BRANNIGAN V., SMIDTS C., KILPATRICK A., “Risk Models
Involving Human Decisions: Intentional Uncertainty and the Need for
Regulation”, Proceedings of NIST Conference on Fire Risk
(Washington, D.C., 1997).
29. BRANNIGAN
V., SMIDTS C., “Risk-Based Regulation: Intentional Uncertainty”, Proceedings
Of Society for Risk Analysis International Meeting (Washington, D.C.,
1998).
30. STUTZKE
M., ARGARWAL M., SMIDTS C., “A Stochastic Model of Human Error in
Software Development”, Proceedings of
PSAM ‘4 (New York, 1998).
31. DROGUETT E.L., MOSLEH A., SMIDTS C., “Identification and
Quantification of Software Dependencies in Reliability Models”, Proceedings
of PSAM’4 (New York, 1998).
32. BRANNIGAN
V., SMIDTS C., “Risk-Based Regulation Under Intentional Uncertainty”, Proceedings
of PSAM’4 (New York, 1998).
33.
SWAMINATHAN S., SMIDTS C., “Capturing Dynamic Scenarios Using the Event
Sequence Diagram Framework”, Proceedings of PSAM’4 (New York,
1998).
34.
SWAMINATHAN, S., SMIDTS C., “A Framework for Assessing Confidence in
Design in Simulation-Based Design Under Uncertainty”, Proceedings of
RAMS ‘99, Annual Reliability and Maintainability Symposium
(Washington, D.C., 1999).
35. KECECI
N., MING L., SMIDTS C., “Function Point Analysis: An Application to a
Nuclear Reactor Protection System”, Proceedings of PSA’99
(Washington, D.C., 1999).
36. BRANNIGAN
V., SMIDTS C., “Probabilistic Risk Assessment as a Forensic Science: The
Effect of Daubert and Kumho Tire on PRAs as Evidence”, Proceedings of
PSA’99 (Washington, D.C., 1999).
37. SWAMINATHAN S., CAPEL P., SMIDTS C., “Semi Analytical
Solutions to Dynamic
Reliability Problems using ESDs: A Study of a Fast Reactor Transient”,
to be published in the Proceedings of International Workshop on Dynamic
Methodologies, (Washington, D.C., 1998).
38. SMIDTS C., “A Stochastic Model of Human Error in Software
Development: Impact of Repair Times”, to be published in the Proceedings
of ISSRE’99, International Symposium on Software Reliability Engineering
(Boca Raton, Florida, 1999).
39. KECECI N., SMIDTS C., MODARRES M., HU Y-S., “System-Software
Interfaces for Safety-Related Digital I&C Systems”, to be published
in the Proceedings of the European Safety and Reliability Conference
(Munich-Garching, Germany, 1999).
40. SMIDTS
C., SWAMINATHAN S., “An ESD-Probabilistic Dynamics Hybrid Approach for
Scenario Generation”, to be published in the Proceedings of M&C
‘99, International Conference on Mathematics and Computation, Reactor
Physics and Environmental Analysis in Nuclear Applications (Madrid,
1999). (To be held). (Invited)
41. LI. M.,
SMIDTS C., “Ranking Software Engineering Measures Related to Reliability
Using Expert Opinion”, Proceedings of the 11th
International Symposium on Software Reliability Engineering (San Jose,
2000)
42. SMIDTS
C., Li M., BRILL B.,”From Measure to Reliability”, Proceedings of
the International Topical Meeting on Nuclear Power Plant Instrumentation,
Controls, and Human-Machine Interface Technologies (NPIC&HMIT
2000) (Washington DC., 2000)
43. LI. M.,
SMIDTS C., “Ranking Software Engineering Measures Related to Reliability
Using Expert Opinion”, Proceedings of PSAM’5 (Osaka, 2000)
44.
SWAMINATHAN S., SMIDTS C.,”An Application of the ESD Framework to the
Probabilistic Risk Assessment of Dynamic Systems”, Proceedings of
PSAM’5 (Osaka, 2000)
45. WIDMAIER
J., SMIDTS C., HUANG X.,”Producing More Reliable Software: Mature
Software Engineering Process vs. State of the Art Technology”, Proceedings
of the 22nd International Conference on Software Engineering
(Limerick, 2000)
46. GROEN F.,
SMIDTS C., MOSLEH A., SWAMINATHAN, S., “QRAS: Quantitative Risk
Assessment System”, accepted in the Proceedings of RAMS 2002, Annual
Reliability and Maintainability Symposium. (2002)
47. LI B., LI
M., SMIDTS C., “Integrating Software into PRA: A Taxonomy of Software
Related Failures”, accepted for presentation at the Sixth IEEE
International Symposium on High Assurance Systems Engineering (Boca
Raton, Florida, 2001)
Invited
Presentations:
(Not in Refereed Conference Proceedings)
1. “A
Comparison between DYLAM and ADS: Two Discrete Event Tree Methodologies:,
TUDelft, 2nd International Workshop on Dynamic Methodologies,
Aug. 1993.
2.
“Probabilistic Reactor Dynamics”, MIT, Department Colloquium, 1993.
3.
“Probabilistic Reactor Dynamics”, Idaho National Laboratories, Risk
Analysis Series Colloquium, 1993.
4. “IDA: A
Cognitive Model for Nuclear Power Plant Operation under Accident
Conditions”, Nuclear Engineering Colloquium, Ship Research Institute,
Japan, 1995.
5. “The
Event Sequence Diagram Framework”, 3rd International Workshop on Dynamic
Reliability Methodologies, Portugal, 1997.
6. “An
Architectural Model for Software Reliability Quantification: Sources of
Relevant Data”, 5th International Workshop on Functional Modeling of
Complex Technical Systems, Paris, France, 1997.
7.
“Regulating Computer Software: The Audit Approach”, FDA Software
Verification and Validation Conference, Washington, D.C., 1997.
8.”Software
Reliability Prediction”, Joint IEEE Reliability and Software Engineering
Dallas Chapters Seminar, Dallas, 1996.
9.“Extending
TestMaster to SRE”, 17th Annual Teradyne User’s
Group Meeting, Orlando, Florida, 1999.
10. “An
Approach to the Automatic Generation of Test Master’s Finite State
Machine Graph”, (with A. Anant) Teradyne User’s Group Meeting, San
Diego, 2000.
11.
“Dynamic Reliability in the Context of PRA: Motivation, Theoretical
Foundation, Possible Approximations”, Brussels, 2000.
12. Panel
Member at the WRSM Digital I&C, held by NRC, Bethesda, 2000.
13. “A
Software Test Automation Approach”, University of Illinois at
Urbana-Champaign, Illinois, 2001.
14. “QRAS
1.6.”, presented at the NASA PRA Workshop, University of Virginia,
Charlottesville, 2001 (with A. Mosleh and F. Groen).
Research
Reports:
1.
SMIDTS C., “Simulation des Sequences Accidentelles prenant en
Compte le Facteur Humain. Application au domaine des centrales nucleaires”, Institut
pour la Recherche Scientifique dans l’Industrie et l’ Agriculture (IRSIA),
Grant report, (1988).
2.
SMIDTS C., “Simulation des Sequences Accidentelles Prenant en
Compte le Facteur Humain.
Application au domaine des centrales nucleaires”, IRSIA Grant
report, (1989).
3. SMIDTS C., DEVOOGHT J., DE GELDER P., GOVAERTS P., CAEYMAEX S., Human Factors Reliability Benchmark (HF-RBE), Report on Working Phase I: “Analysis of the Test and Maintenance Study Case”, Contribution from the Belgian Team, prepared for the European Commission (April 1987).
4.
SMIDTS C., DEVOOGHT J., DE GELDER P., GOVAERTS P., CAEYMAEX S.,
Human Factors Reliability Benchmark (HF-RBE), Report on Working Phase II:
“Analysis of the Test and Maintenance Study Case”, Contribution from
the Belgian Team, prepared for the European Commission
(April 1987).
5.
SMIDTS C., DEVOOGHT J., DE GELDER P., GOVAERTS P., CAEYMAEX S.,
Human Factors Reliability Benchmark (HF-RBE), Report on Working Phase I:
“Analysis of the Operational Transient”, Contribution from the Belgian
Team, prepared for the European Commission (June 1987).
6.
SMIDTS C., DEVOOGHT J., DE GELDER P., GOVAERTS P., CAEYMAEX S.,
Human Factors Reliability Benchmark, Report on Working Phase II (HF-RBE):
“Analysis of the Operational Transient”, Contribution from the Belgian
Team, prepared for the European Commission (November 1987).
7.
SMIDTS C., DEVOOGHT J., DE GELDER P., GOVAERTS P., CAEYMAEX S.,
Human Factors Reliability Benchmark (HF-RBE), Final Report, Contribution
from the Belgian Team, prepared for the European Commission (February
1988).
8. HULSMANS
M., DE GELDER P., GOVAERTS G., SMIDTS C., DEVOOGHT J., CAEYMAEX S.,
“Event Sequence Benchmark Exercise (ES-RBE) - Second Working Phase”,
Contribution from the Belgian Team, prepared for the European Commission
(July 1989).
9. HULSMANS
M., DE GELDER P., GOVAERTS G., SMIDTS C., DEVOOGHT J., CAEYMAEX S.,
“Event Sequence Benchmark Exercise (ES-RBE) - First and Second Working
Phase - Summary Report”, Contribution of the Belgian Team, prepared for
the European Commission (November 1989).
10. SMIDTS
C., “MSAS Description and How to Use”, Technical Note I.92.85, ISE/SER
2318/92, JRC, Ispra (August 1992).
11. MOSLEH
A., SMIDTS C., SHEN S-H., “Application of a Cognitive Model to the
Analysis of Reactor Operating Events Involving Operator Interaction”,
UMNE-94-004,
12. MOSLEH
A., SMIDTS C., SHEN S-H., “Application of a Cognitive Model to the
Analysis of Reactor Operating Events Involving Operator Interaction,
Detailed Analysis”, UMNE-94-005 (Dec. 1994).
13. SHEN S-H., SMIDTS C., MOSLEH A., “IDA” A Cognitive Model of Nuclear Power Plant Operator Response During Abnormal Conditions”, UMNE-94-006 (Dec. 1994).
14. MOSLEH
A., SMIDTS C., “Major Analytic Techniques for Evaluation of Risk in
Computer Information Systems”, prepared for the Computer Security
Division, NIST, CTRS-A1-13, Volume A1, No. 13 (June 1995).
15. SWAMINATHAN S., SMIDTS C., MOSLEH A., MULVIHILL R., “Probability Analysis Validation Report”, prepared for Lockheed Martin Space Launch Systems, P.R. 00785889, DRD7 (September 1995).
16. SMIDTS
C., LI. M.,”Software Engineering Measures for Predicting Software
Reliability in Safety Critical Digital Systems”, prepared for the U.S.
Nuclear Regulatory Commission, NUREG/GR-0019, UMD-RE-2000-23, U.S. Nuclear
Regulatory Commission, Office of Nuclear Regulatory Research (2000)
Software
Design and Development:
1. QRAS, 1.0
Software developed for NASA to perform the Probabilistic Risk Assessment
of the Space Shuttle and of the International Space Station (Patent
Number 6223143, April 24, 2001).
2. QRAS, 1.6.
Software developed for NASA to perform the Probabilistic Risk Assessment
of the Space Shuttle and of the International Space Station (Patent
Pending).
Faculty>Carol Smidts>Research