Mathematical Foundations for Validation in Systems Engineering
| dc.contributor.author | Kannan, Hanumanthrao | en |
| dc.contributor.author | SureshKumar, Mayuranath | en |
| dc.date.accessioned | 2022-02-18T21:56:59Z | en |
| dc.date.available | 2022-02-18T21:56:59Z | en |
| dc.date.issued | 2022 | en |
| dc.date.updated | 2022-02-18T21:56:57Z | en |
| dc.description.abstract | The 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.version | Submitted version | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.orcid | Kannan, Hanumanthrao [0000-0001-5307-7800] | en |
| dc.identifier.uri | http://hdl.handle.net/10919/108755 | en |
| dc.language.iso | en | en |
| dc.rights | In Copyright | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.subject | 0806 Information Systems | en |
| dc.subject | 0999 Other Engineering | en |
| dc.subject | Operations Research | en |
| dc.title | Mathematical Foundations for Validation in Systems Engineering | en |
| dc.title.serial | Systems Engineering | en |
| dc.type | Article | en |
| dc.type.dcmitype | Text | en |
| dc.type.other | Article | en |
| pubs.organisational-group | /Virginia Tech | en |
| pubs.organisational-group | /Virginia Tech/Engineering | en |
| pubs.organisational-group | /Virginia Tech/Engineering/Industrial and Systems Engineering | en |
| pubs.organisational-group | /Virginia Tech/All T&R Faculty | en |
| pubs.organisational-group | /Virginia Tech/Engineering/COE T&R Faculty | en |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Validation in SE.pdf
- Size:
- 361.23 KB
- Format:
- Adobe Portable Document Format
- Description:
- Submitted version