VTechWorks staff will be away for the Thanksgiving holiday beginning at noon on Wednesday, November 27, through Friday, November 29. We will resume normal operations on Monday, December 2. Thank you for your patience.
 

Mathematical Foundations for Validation in Systems Engineering

Simple item page
dc.contributor.authorKannan, Hanumanthraoen
dc.contributor.authorSureshKumar, Mayuranathen
dc.date.accessioned2022-02-18T21:56:59Zen
dc.date.available2022-02-18T21:56:59Zen
dc.date.issued2022en
dc.date.updated2022-02-18T21:56:57Zen
dc.description.abstractThe primary goal of Systems Engineering is to develop a solution that best satisfies the needs of stakeholders. Validation is the process of checking if the developed solution satisfies the needs of the stakeholders. Current validation practices are heuristics-based and lack mathematical foundations, which may lead to suboptimal validation strategies. To ensure the correct and accurate validity of the system of interest, several artifacts throughout the system lifecycle must be considered, including but not limited to stakeholders’ needs, requirements, design, verification, etc. This paper characterizes validation in terms of these artifacts by proposing novel theoretical insights using Propositional logic as the foundation. The mechanism of representation for stakeholders’ needs plays a significant role in performing validation. This paper discusses the challenges associated with using existing textual stakeholder needs and preference functions with respect to validation in relation to the theoretical insights proposed. In addition, this paper highlights how the previously developed Modal preference logic can be used as an effective mechanism to develop a normative approach to validation in Systems Engineering.en
dc.description.versionSubmitted versionen
dc.format.mimetypeapplication/pdfen
dc.identifier.orcidKannan, Hanumanthrao [0000-0001-5307-7800]en
dc.identifier.urihttp://hdl.handle.net/10919/108755en
dc.language.isoenen
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject0806 Information Systemsen
dc.subject0999 Other Engineeringen
dc.subjectOperations Researchen
dc.titleMathematical Foundations for Validation in Systems Engineeringen
dc.title.serialSystems Engineeringen
dc.typeArticleen
dc.type.dcmitypeTexten
dc.type.otherArticleen
pubs.organisational-group/Virginia Techen
pubs.organisational-group/Virginia Tech/Engineeringen
pubs.organisational-group/Virginia Tech/Engineering/Industrial and Systems Engineeringen
pubs.organisational-group/Virginia Tech/All T&R Facultyen
pubs.organisational-group/Virginia Tech/Engineering/COE T&R Facultyen

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Validation in SE.pdf
Size:
361.23 KB
Format:
Adobe Portable Document Format
Description:
Submitted version
Download

Collections

All Faculty Deposits
Scholarly Works, Industrial and Systems Engineering