U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Search Publications by: Conrad Bock (Fed)

Search Title, Abstract, Conference, Citation, Keyword or Author
Displaying 1 - 25 of 119

Physical Component Libraries for SysPhS Modeling and Simulation in Manufacturing

October 10, 2023
Author(s)
Charles Manion, Conrad Bock, Raphael Barbau
Computer-interpretable representations of system structure and behavior are at the center of developing today's complex systems. Systems engineers create and review these representations using graphical languages and information models that capture

Verifying Executability of SysML Behavior Models Using Alloy Analyzer

February 24, 2022
Author(s)
Jeremy Doerr, Conrad Bock, Raphael Barbau
This report presents an approach to verifying executability of system behavior models by treating them as logical constraint problems solved using Alloy Analyzer, a non-proprietary software tool supporting a textual language for logical constraints and

Model of Operational Control of Discrete Event Logistics Systems (DELS)

July 8, 2021
Author(s)
Timothy A. Sprock, Conrad Bock
Operations management systems manage flows of work, resources, and information through production and logistics systems, ensuring the correct and efficient execution of requested work. These systems can leverage recent advances in data availability

SysML Models for Discrete Event Logistics Systems

July 29, 2020
Author(s)
Timothy A. Sprock, Conrad E. Bock
System models and model-based engineering methods have the promise of transforming the way that industrial engineers interact with production and logistics systems. Model-based methods play a role in improving communication between stakeholders

Theory of Discrete Event Logistics Systems (DELS) Specification

June 12, 2020
Author(s)
Timothy A. Sprock, George Thiers, Leon F. McGinnis, Conrad E. Bock
System models and model-based engineering methods have the promise of transforming the way that industrial engineers interact with production and logistics systems. Model-based methods play a role in improving communication between stakeholders

Integrating four-dimensional ontology and systems requirements modelling

July 18, 2019
Author(s)
Conrad E. Bock, Charles Galey
Ontology has many applications to engineering but is not easily taken up by engineers. For example, specifying products in space and time together (four dimensions) enables more reliable modelling and analysis, but this work is primarily ontological and

FEA solver integration framework

June 20, 2019
Author(s)
Conrad E. Bock, Jerome Szarazi
Integrating finite element analysis (FEA) with systems engineering (SE) would improve traceability, consistency, and interoperability between SE and FEA activities in multiple engineering disciplines. The first step in achieving this is a software