Journal ArticleDOI
AI4SE and SE4AI: A Research Roadmap
Reads0
Chats0
About:
This article is published in Insight.The article was published on 2020-03-01. It has received 17 citations till now.read more
Citations
More filters
Journal ArticleDOI
Artificial Intelligence and Human Trust in Healthcare: Focus on Clinicians.
TL;DR: Clinicians as the primary users of AI systems in health care are focused on and factors shaping trust between clinicians and AI are presented, highlighting critical challenges related to trust that should be considered during the development of any AI system for clinical use.
Journal ArticleDOI
Design Ontology Supporting Model-Based Systems Engineering Formalisms
TL;DR: In this article , an ontology based on Model-Based Systems Engineering (MBSE) is proposed to support the formalization of the MBSE formalisms and the integration of knowledge graph models.
Posted Content
Design Ontology Supporting Model-based Systems-engineering Formalisms
TL;DR: An ontology based upon graphs, objects, points, properties, roles, and relationships with entensions (GOPPRRE), providing meta models that support the various lifecycle stages of MBSE formalisms and demonstrates that the proposed ontology supports both formal structures and the descriptive logic of the systems engineering lifecycle.
Book ChapterDOI
A Knowledge Management Approach Supporting Model-Based Systems Engineering.
TL;DR: In this article, a knowledge management approach is proposed to support an intelligent question answering scenario when implementing MBSE in system lifecycle, which makes use of the GOPPRR approach to support MBSEs formalisms which are transformed to knowledge graph models.
Journal ArticleDOI
Formal reasoning of knowledge in systems engineering through epistemic modal logic
TL;DR: This paper focuses on formally representing knowledge that exists in various phases of the systems engineering lifecycle by leveraging epistemic modal logic and practical reasoning capabilities of such a formal representation of knowledge in systems engineering projects.
References
More filters
Journal ArticleDOI
A Preliminary Design-Phase Security Methodology for Cyber–Physical Systems
Bryan T. Carter,Stephen Adams,Georgios Bakirtzis,Timothy J. Sherburne,Peter A. Beling,Barry M. Horowitz,Cody Fleming +6 more
TL;DR: Two methodologies are presented that can augment and enhance existing systems engineering approaches with model-based evidence for identifying and prioritizing appropriate resiliency strategies for implementation in a given system and mission.