Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool. |
| Συγγραφείς: |
Diallo, Saikou Y., Gore, Ross, Lynch, Christopher J., Padilla, Jose J. |
| Πηγή: |
International Journal of Modeling, Simulation & Scientific Computing; Mar2016, Vol. 7 Issue 1, p-1, 22p |
| Θεματικοί όροι: |
Systems design, Exploratory factor analysis, Debugging, Calculators, Verification of computer systems |
| Περίληψη: |
In this paper, we propose an approach to formally verify and rigorously validate a simulation system against the specification of the real system. We implement the approach in a verification and validation calculator tool that takes as input a set of statements that capture the requirements, internal conditions of the system and expected outputs of the real system and produces as output whether the simulation satisfies the requirements, faithfully represents the internal conditions of the system and produces the expected outputs. We provide a use case to show how subject matter experts can apply the tool. [ABSTRACT FROM AUTHOR] |
|
Copyright of International Journal of Modeling, Simulation & Scientific Computing is the property of World Scientific Publishing Company and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Βάση Δεδομένων: |
Complementary Index |