Academic Journal
Προβολή σε EDS

Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: 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
FullText Text:
  Availability: 0
Header DbId: edb
DbLabel: Complementary Index
An: 114042948
RelevancyScore: 845
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 845.310424804688
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Diallo%2C+Saikou+Y%2E%22">Diallo, Saikou Y.</searchLink><br /><searchLink fieldCode="AR" term="%22Gore%2C+Ross%22">Gore, Ross</searchLink><br /><searchLink fieldCode="AR" term="%22Lynch%2C+Christopher+J%2E%22">Lynch, Christopher J.</searchLink><br /><searchLink fieldCode="AR" term="%22Padilla%2C+Jose+J%2E%22">Padilla, Jose J.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: International Journal of Modeling, Simulation & Scientific Computing; Mar2016, Vol. 7 Issue 1, p-1, 22p
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Systems+design%22">Systems design</searchLink><br /><searchLink fieldCode="DE" term="%22Exploratory+factor+analysis%22">Exploratory factor analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Debugging%22">Debugging</searchLink><br /><searchLink fieldCode="DE" term="%22Calculators%22">Calculators</searchLink><br /><searchLink fieldCode="DE" term="%22Verification+of+computer+systems%22">Verification of computer systems</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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]
– Name: Abstract
  Label:
  Group: Ab
  Data: <i>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.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=114042948
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1142/S1793962316410014
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 22
        StartPage: -1
    Subjects:
      – SubjectFull: Systems design
        Type: general
      – SubjectFull: Exploratory factor analysis
        Type: general
      – SubjectFull: Debugging
        Type: general
      – SubjectFull: Calculators
        Type: general
      – SubjectFull: Verification of computer systems
        Type: general
    Titles:
      – TitleFull: Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Diallo, Saikou Y.
      – PersonEntity:
          Name:
            NameFull: Gore, Ross
      – PersonEntity:
          Name:
            NameFull: Lynch, Christopher J.
      – PersonEntity:
          Name:
            NameFull: Padilla, Jose J.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Text: Mar2016
              Type: published
              Y: 2016
          Identifiers:
            – Type: issn-print
              Value: 17939623
          Numbering:
            – Type: volume
              Value: 7
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: International Journal of Modeling, Simulation & Scientific Computing
              Type: main
ResultId 1