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: Raphael Barbau (Assoc)

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

SysML Extension for Logistics Modeling and Analysis (SysLMA)

April 23, 2025
Author(s)
Raphael Barbau, Conrad Bock
Many engineers use analysis tools to predict behavior or find optimal values for properties of systems built to proposed designs, informing system design work by identifying cases where a design will perform incorrectly or in suboptimal ways. Design and

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

Platform-Independent Debugging of Physical Interaction and Signal Flow Models

September 16, 2019
Author(s)
Mehdi Dadfarnia, Raphael Barbau
Systems engineering tools are used to organize development activities of a wide variety ofen gineers, many of which develop their own discipline-specific simulation models. To increase the efficiency of this process, systems modeling tools have been

BPMN Profile for Operational Requirements

June 2, 2014
Author(s)
Conrad E. Bock, Raphael Barbau, Anantha Narayanan Narayanan
An important aspect of systems and products is how they interact with their environment, including how they are operated. Behaviors external to systems usually involve people not trained in the details of how systems are designed and built, but who need to

Towards a Reference Architecture for Archival Systems: Use Case With Product Data

April 28, 2014
Author(s)
Raphael Barbau, Joshua Lubell, Sudarsan Rachuri, Sebti Foufou
Long-term preservation of product data is imperative for many organizations. A product data archive should be designed to ensure information accessibility and understanding over time. Approaches such as the Open Archival Information System (OAIS) Reference
Was this page helpful?