ACM Transactions on Modeling and Computer Simulation · 1997 · 49 citations · 28 references
ComputingComputer ScienceSystems EngineeringDistributed SystemsModel-based Systems EngineeringSystems ModelingModel ValidationSimulation ModelingSimulation-based ValidationSoftware ValidationSystem SimulationVerificationSimulation Model ValidationSimulation Model VerificationSimulation ValidationSimulation VerificationSimulation-based VerificationSystem-level SimulationValidation Standards
The techniques and methodologies for verification and validation of software-based systems have arguably realized their greatest utility within the context of simulation. Advanced Distributed Simulation (ADS), a major initiative within the defense modeling and simulation community, presents a variety of challenges to the classical approaches. A case study of the development process and concomitant verification and validation activities for the Joint Training Confederation (JTC) is presented. The JTC is one of the largest current ADS efforts, and the primary application of the Aggregate Level Simulation Protocol. A dichotomy between classical verification and validation approaches and the requirements of a prototypical ADS environment is illustrated. Mechanisms and research directions to resolve these differences are briefly discussed.
28
Discrete-Event System Simulation
Jerry Banks, John S. Carson · Technometrics · 1984 · 2.7K citations
David Jefferson · ACM Transactions on Programming Languages and Systems · 1985 · 2.4K citations · Full text