Assurance cases (ACs) have gained attention in the aerospace, medical, and other heavily-
regulated industries as a means for providing structured arguments on why a product is …

Next-generation certification processes are expected to be influenced by two dominant
trends: customizable certification, as advocated by Overarching Properties (OPs), and the …

Every deployed DoD system undergoes certification (or qualification, for military) to assess
the software system's fitness for use. Certification requires that human subject matter expert …

Establishing assurance of software is indispensable in safety-critical systems. Constructing
an assurance case for safety & security of software subsumes the entire development and …

The development of an ontology to model a complex system involves the capture of
information related to multiple perspectives of that system, such as its architecture …

Traditional engineering is coming to a junction from embedded systems to embodied actors,
and with assuring the beneficial and robust behavior of dynamic federations of situation …

Artificial Intelligence (AI) has gained popularity in recent years. Symbolic Artificial
Intelligence (symbolic AI), a subset of AI, holds significant promise, particularly in avionics …

Assurance cases (ACs) have gained attention in the aerospace, medical, and other heavily-
regulated industries as a means for providing structured arguments on why a product is …