NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Ontology-integrated Model-based Assurance Cases
Document ID
20205002786
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Ewen Wkc Denney
(SGT, INC)
Date Acquired
May 27, 2020
Subject Category
Mathematical And Computer Sciences (General)
Meeting Information
Meeting: 23rd International Conference on Model Driven Engineering Languages and Systems
Location: Montreal
Country: CA
Start Date: October 18, 2020
End Date: October 23, 2020
Sponsors: Institute of Electrical and Electronics Engineers
Funding Number(s)
CONTRACT_GRANT: NNA14AA60C
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.
Technical Review
NASA Peer Committee
Keywords
Assurance cases, Autonomy, Model-based assurance, Ontologies, Queries
No Preview Available