article

Free access

Model reliability and software quality assurance in simulation of nuclear fuel waste management systems

Authors:

Tuncer I. Ören,

Maurlce S. Elzas,

Grant ShengAuthors Info & Claims

ACM SIGSIM Simulation Digest, Volume 16, Issue 4

Pages 4 - 19

https://doi.org/10.1145/1102581.1102582

Published: 01 October 1985 Publication History

Abstract

As is the case with all scientific simulation studies, computerized simulation of nuclear fuel waste management systems can introduce and hide various types of errors. Frameworks to clarify issues of model reliability and software quality assurance are offered. Potential problems with reference to the main areas of concern for reliability and quality are discussed; e.g. experimental issues, decomposition, scope, fidelity, verification, requirements, testing, correctness, robustness are treated with reference to the experience gained in the past. A list comprising over 80 most common computerization errors is provided. Software tools and techniques used to detect and to correct computerization errors are discussed.

References

[1]

K. W. Dormuth and G. R. Sherman, "SYVAC - A Computer Program for Assessment of Nuclear Fuel Waste Management Systems, Incorporating Parameter Variability, " AECL-6814, Atomic Energy of Canada Limited Report (1981).

[2]

T. I. Ören, "Concepts and Criteria to Assess Acceptability of Simulation Studies: A Frame of Reference," Communications of ACM, Vol. 24, No. 4, pp. 180--189, (1981).

Digital Library

[3]

T. I. Ören, "Quality Assurance in Modelling and Simulation: A Taxonomy," In: Simulation and Model - Based Methodologies: An Integrative View, T. I. Ören, B. P. Zeigler, M. S. Elzas (Eds). Springer Verlag, Heidelberg, W. Germany, pp. 281--335, (1984).

[4]

T. I. Ören, "Quality Assurance of System Design and Model Management for Complex Systems," In: Adequate Modelling of Systems, H. Wedde (Ed), Springer Verlag, Heidelberg, W. Germany, pp. 205--221 (1983).

[5]

R. E. Nance, "Simulation Model Management: Resolving the Technological Gaps," In: Proc. of 1981 Winter Simulation Conf., T. I. Ören, C. M. Delfosse, C. M. Shub (Eds), pp. 170--180 (1981).

Digital Library

[6]

J. L. Turek et el., "GASP IV Simulation of Nuclear Waste," In: Proc. of 1981 Winter Simulation Conf., T. I. Oren, C. M. Delfosse, C. M. Shub (Eds), pp. 279--286 (1981).

Digital Library

[7]

T. I. Ören, "Model-Based Activities: A Paradigm Shift," In: Simulation and Model-Based Methodologies: An Integrative View, T. I. Ören, B. P. Zeigler, M. S. Elzas (Eds), Springer Verlag, Heidelberg, W, Germany, pp. 3--40 (1984).

[8]

B. P. Zeigler, "Structures for Model-Based Simulation Systems," In: Simulation and Model-Based Methodologies: An Integrated View, T. I. Ören, B. P. Zeigler, M. S. Eizas (Eds), Springer Verlag, Heidleberg, W. Germany, pp. 185--216 (1984).

[9]

B. P. Zeigler, "Structuring Principles for Multifaceted system Modelling," In: Methodology in Systems Modelling and Simulation, B. P. Zeigler, M. S. Elzas, G. J. Klir, T. I. Ören (Eds), North-Holland, Amsterdam, pp. 93--135 (1979).

[10]

M. S. Elzas, "Systems Paradigms as Reality Mappings," In: Simulation and Model-Based Methodologies: An Integrative View, T. I. Ören, B. P. Zeigler, M. S. Elzas (Eds), Springer Verlag, Heidelberg, W. Germany, pp. 41--67 (1984).

[11]

F. E. Yates, "A Skeleton of Physical Ideas for the Dynamics of Complex Systems," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 2, pp. 190--193 (1982).

[12]

P. E. Love, "Stochastic Analysis in Energy Planning, In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 4, pp. 32--34 (1982).

[13]

R. G. Sargent, "Simulation Model Validation," In: Simulation and Model-Based Methodologies: An integrative View, T. I. Ören, B. P. Zeigler, M. S. Elzas (Eds), Springer Verlag, Heidelberg, W, Germany, pp. 537--555 (1984).

[14]

W. Frisch, "Simulation of Transients in Light Water Reactors - Desire and Reality" In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 4, pp. 95--97 (1982).

[15]

G. A. Bekey et al., "Is Deterministic Identifiability a Fraud?" In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 2, pp. 211--213 (1982).

[16]

I. P. Murarka, "Geohydrochemical Models: Uses in the Electric Utility Industry," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 2, pp. 277--279 (1982).

[17]

C. Pescatore et al., "The Use of Asymptotic Expansions to Determine the Short and Long-Term Leaching Behaviors of Nuclear Waste Forms," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 2, pp. 283--285 (1982).

[18]

M. G. Foley et al., "The Development of a Geologic Simulation Model," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 2, pp. 288--290 (1982).

[19]

T. W. Kerlin, "Validation of Models for Nuclear Reactor Simulators," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 2, pp. 98--100 (1982).

[20]

A. K. Agrawal, "Simulation of Liquid Metal Fast Breeder Reactors," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 2, pp. 111--112 (1982).

[21]

W. R. Adrion, M. A. Branstad, J. C. Cherniavsky, "Validation, Verification, and Testing of Computer Software," ACM Computing Surveys, Vol. 14, No. 2, pp. 159--192 (1982).

Digital Library

[22]

W. E. Howden, "Validation of Scientific Programs", ACM Computing Surveys, Vol. 14, No. 2, pp. 193--227 (1982).

Digital Library

[23]

J. R. Rice, "Machine and Compiler Effects on the Performance of Elliptic PDE Software," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 1, pp. 446--448 (1982).

[24]

M. S. Elzas, "What is Needed for Robust Simulation," In: Methodology in Systems Modelling and Simulation, B. P. Zeigler, M. S. Elzas, G. J. Klir, T. I. Oren (Eds), North-Holland, Amsterdam, pp. 57--91 (1979).

[25]

B. L. Fox, "Fitting 'Standard' Distributions to Data is Necessarily Good: Dogma or Myth?" In: Proc. of 1981 Winter Simulation Conf., T. I. Ören, C. M. Delfosse, C. M. Shub (Eds), pp. 305--309 (1981).

Digital Library

[26]

E. J. Dudewicz et al., "Modern and Easy Generation of Random Numbers - Testing of Random Numbers Using TESTRAND," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 2, pp. 133--135 (1982).

[27]

L. E. Ramshaw et al., "A Note on Random Number Generation Under Time and Space Constraints," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 2, pp. 139--141 (1982).

[28]

S. D. Tuljapurkar et al., "Fisheries in an Uncertain World: Age-Structured, Density-Dependent, Stochastic Models," In: Proc. 1984 Summer Computer Simulation Conf., Society for Computer Simulation, La Jolla, CA, Vol. 2, pp. 883--886 (1984).

[29]

P. B. Abramson, "Calculational Limitations in PWR System Simulation," In: Proc. of 10th IMACS World Congress, W. F. Ames (Ed), Montreal, PQ, Canada, Vol. 4, pp. 151--153 (1982).

[30]

D. R. Williams, "Biofluid Speciation Models Correlated with Pharmaceutical Activity," In: Proc. 1984 Summer Computer Simulation Cont., Society for Computer Simulation, La Jolla, CA, Vol. 2, pp. 792--797 (1984).

[31]

H. Bohm, "Evaluation of Artihmetic Expressions with Maximum Accuracy," In: A New Approach to Scientific Computation, U. W. Kulish, W. L. Miranker (Eds), Academic Press, New York, pp. 121--137 (1983).

Digital Library

[32]

D. Teichroew, E. A. Hershey III, "PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems," IEEE Trans. Software Eng., Vol. SE-3, No. I, pp. 41--48 (1977).

Digital Library

[33]

T. I. Ören, "Computer-Aided Modelling Systems," In: Progress In Modelling and Simulation, F. E. Cellier (Ed), Academic Press, London, England, pp. 189--203 (1982).

[34]

M. S. Elzas, T. I. Ören, B. P. ZEIGLER (Eds), Knowledge-Based Modelling and Simulation Methodologies, North-Holland, Amsterdam (in Preparation).

[35]

L. J. Osterweil, L. D. Fosdick, "DAVE - A Validation Error Detection and Documentation System for Fortran Programs," Software, Practice and Experience, Oct.-Dec. 1976.

[36]

W. E. Howden, "A Survey of Dynamic Analysis Methods," In: Tutorial: Software Testing and Validation Techniques, E. Miller and W. E. Howden (Eds) (1978).

Cited By

Santucci JCapocchi LÖren TSzabo CGraciano Neto V(2023)Synergies of Soft Computing and M&SBody of Knowledge for Modeling and Simulation10.1007/978-3-031-11085-6_12(287-309)Online publication date: 28-Jan-2023
https://doi.org/10.1007/978-3-031-11085-6_12
Landwehr MTrott MViebahn C(2020)Computer Simulation as Evaluation Tool of Information Systems: Identifying Quality Factors of Simulation Modeling2020 IEEE 22nd Conference on Business Informatics (CBI)10.1109/CBI49978.2020.00030(211-220)Online publication date: Jun-2020
https://doi.org/10.1109/CBI49978.2020.00030
Ören T(2019)Over Fifty Years of My Involvement in SimulationPädiatrie10.1007/978-3-030-17164-3_4(55-75)Online publication date: 8-May-2019
https://doi.org/10.1007/978-3-030-17164-3_4
Show More Cited By

Recommendations

System Simulation For Software Quality Assurance: a simulation model based on the Markov Decision Process (MDP) for quality assessment of software products
Software Quality Assurance

This paper describes the status of software quality assurance as a relatively new and autonomous field. The history of its development from hardware quality assurance programs is discussed, current methods are reviewed, and future directions are ...
Software Testing & Quality Assurance: From Traditional to Cloud Computing Learn Software testing & quality assurance from the expert with 25 years of experience

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSIM Simulation Digest

ACM SIGSIM Simulation Digest Volume 16, Issue 4

October 1985

34 pages

ISSN:0163-6103

DOI:10.1145/1102581

Issue’s Table of Contents

Copyright © 1985 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1985

Published in SIGSIM Volume 16, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
314
Total Downloads

Downloads (Last 12 months)18
Downloads (Last 6 weeks)2

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Santucci JCapocchi LÖren TSzabo CGraciano Neto V(2023)Synergies of Soft Computing and M&SBody of Knowledge for Modeling and Simulation10.1007/978-3-031-11085-6_12(287-309)Online publication date: 28-Jan-2023
https://doi.org/10.1007/978-3-031-11085-6_12
Landwehr MTrott MViebahn C(2020)Computer Simulation as Evaluation Tool of Information Systems: Identifying Quality Factors of Simulation Modeling2020 IEEE 22nd Conference on Business Informatics (CBI)10.1109/CBI49978.2020.00030(211-220)Online publication date: Jun-2020
https://doi.org/10.1109/CBI49978.2020.00030
Ören T(2019)Over Fifty Years of My Involvement in SimulationPädiatrie10.1007/978-3-030-17164-3_4(55-75)Online publication date: 8-May-2019
https://doi.org/10.1007/978-3-030-17164-3_4
Arifin SMadey GCollins F(2016)ReferencesSpatial Agent‐Based Simulation Modeling in Public Health10.1002/9781118964385.refs(255-278)Online publication date: 29-Mar-2016
https://doi.org/10.1002/9781118964385.refs
Ferris CRaybaud BMadey GDe Rango FRisco Martín JCetinkaya D(2015)OpenMalaria and EMODProceedings of the Conference on Summer Computer Simulation10.5555/2874916.2874952(1-9)Online publication date: 26-Jul-2015
https://dl.acm.org/doi/10.5555/2874916.2874952
Li BChai XLi THou BQin DZhao QZhang LHao ALi JYang M(2015)Research on High-Performance Modeling and Simulation for Complex SystemsConcepts and Methodologies for Modeling and Simulation10.1007/978-3-319-15096-3_3(45-66)Online publication date: 2015
https://doi.org/10.1007/978-3-319-15096-3_3
Arifin SMadey G(2015)Verification, Validation, and Replication Methods for Agent-Based Modeling and Simulation: Lessons Learned the Hard Way!Concepts and Methodologies for Modeling and Simulation10.1007/978-3-319-15096-3_10(217-242)Online publication date: 2015
https://doi.org/10.1007/978-3-319-15096-3_10
Niaz Arifin SDavis GZhou Y(2010)Verification & validation by dockingProceedings of the 2010 Summer Computer Simulation Conference10.5555/1999416.1999445(236-243)Online publication date: 11-Jul-2010
https://dl.acm.org/doi/10.5555/1999416.1999445
Zheng LLiu X(2008)Research on reliability of Modeling & Simulation Application2008 Asia Simulation Conference - 7th International Conference on System Simulation and Scientific Computing10.1109/ASC-ICSC.2008.4675570(1291-1297)Online publication date: Oct-2008
https://doi.org/10.1109/ASC-ICSC.2008.4675570
Comfort J(1987)Simulation model testingProceedings of the 20th annual symposium on Simulation10.5555/41824.41837(185-196)Online publication date: 1-Jun-1987
https://dl.acm.org/doi/10.5555/41824.41837

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents