Safety-critical systems such as avionics need to be engineered to be cyber resilient meaning
that systems are able to detect and recover from attacks or safely shutdown. As there are few …

Verified microkernels such as seL4 provide trustworthy foundations for safety-and security-
critical systems. However, their full potential remains unrealized due, in part, to the lack of …

Abstract The Architecture and Analysis Definition Language (AADL) is an industry standard
modeling language distinguished by its emphasis on strong semantics for modeling real …

Effective and scalable quality assurance techniques are essential for realizing formal model-
based development techniques for high-assurance systems. In this paper, we present the …

This paper gives an overview of Logika–a highly automated and interactive verification
framework, that is designed for scalability and usability across a wide spectrum of users from …

Many visions for model-driven component-based development emphasize models as the
“single source of truth” by which different forms of analysis, specification, verification, and …

Additive manufacturing (AM) is expected to revolutionize industrial manufacturing processes
by providing access to readily available, lower cost, high-performance parts, including those …

Security is paramount in all mission-critical domains, including the aerospace industry.
Cyber-attacks are increasing both in number and sophistication. Zero-trust is an emerging …

The inordinate financial cost of mitigating post-production cybersecurity vulnerabilities in
cyber-physical systems (CPS) is forcing the industry to rethink systems design cycles …

Formal method tools are used in the initial stages of the software development cycle and
have advanced to deal with the design difficulties related to ensuring strong cybersecurity …