Tyler Douglas Smith

Galois Inc.

Crewed and uncrewed aerospace systems are increasing in complexity and decreasing in reliance on ground-based operations staff. Among the many issues that arise from these two trends is the need to create, validate, maintain, and update failure recovery plans in an accurate, rapid, and cost-effective manner. To address this need, Galois Inc. has cr...

Effective application of digital engineering is challenging. If we approach digital engineering as a box to check, we will fail. Instead, engineering leaders should: • Establish individual and organizational goals that are qualitative, rather than quantitative. • Establish measurement objectives early and foster a culture that encourages rigorous p...

The Future Airborne Capability Environment (FACE) Data Architecture and Architectural Analysis and Design Language (AADL) are complementary modeling standards, both of which can be represented in SysML using SysML profiles. State Linked Interface Compliance Engine for Data (SLICED) is a behavior analysis tool from Adventium Labs which can evaluate...

Applications of formal methods for state space exploration have been successfully applied to evaluate robust critical software systems. Formal methods enable discovery of error conditions that conventional testing may miss, and can aid in planning complex system operations. However, broad application of formal methods has been hampered by the effor...

Abstract—One of the principal difficulties in classifying and interpreting online disinformation is that the data arrive rapidly and evolve dramatically. The core challenges of classification and interpretation are not unique to contemporary disinformation; the problem of classifying documented information as authentic or inauthentic has been the f...

The risks of insider threats and social media disinformation have independently received much attention in recent years. Missing from the conversation is discussion of insider threats inside social media organizations. This paper considers the risks of insider threats in social media organizations and proposes ZK-Sedai, an approach leveraging curre...

The SAE AS2C Standard AS5506C Architecture Analysis and Description Language (AADL) is a modeling language for predictive analysis of real-time software reliant, safety and cybersecurity critical systems that provides both the precision of formal modeling and the tool-agnostic freedom of a text-based representation. These traits make AADL ideal for...

Applying agile software engineering practices to model-based systems engineering

This annex is intended to help component vendors and system integrators using the (Future Airborne Capability Environment) FACE Technical Standard. FACE(TM) Technical Standard Edition 3.0 provides a data modeling architecture but does not provide mechanisms for describing component behavior or timing properties. This document provides guidance...

Bitcoin’s underlying blockchain database is a novel approach to recordkeeping that has the potential to decentralize big data. Bitcoin’s success has inspired a multitude of spinoff projects hoping to use blockchain as a distributed database for records-management innovation in other fields. Misconceptions and exaggerations about blockchain and its...

Embedded computer system architectures are distributed, layered and heterogeneous. Development progresses through a series of model refinements with varying levels of detail in different subsystems. Different requirements models and scheduling methods are used for different functions and equipment. Today there is no single schedulability tool that...