Tyler Douglas Smith

Tyler Douglas Smith
Adventium Labs

Bachelor of Science in Computer Science, Master's in Software Engineering

About

11
Publications
1,395
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
35
Citations
Introduction
I'm a computer scientist working on tools to reduce risk in systems engineering.
Additional affiliations
July 2014 - present
Adventium Labs
Adventium Labs
Position
  • Researcher
Description
  • Adventium Labs solves hard problems in the areas of cyber security, system engineering, and automated reasoning.
Education
September 2011 - May 2013
University of Minnesota Twin Cities
Field of study
  • Software Engineering

Publications

Publications (11)
Conference Paper
Full-text available
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...
Article
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...
Preprint
Full-text available
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...
Conference Paper
Full-text available
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...
Conference Paper
Full-text available
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...
Conference Paper
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...
Presentation
Applying agile software engineering practices to model-based systems engineering
Research
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...
Conference Paper
Full-text available
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...
Conference Paper
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...

Projects

Projects (2)
Project
Investigation of the FACE and AADL standards and applications of these standards in a variety of domains.