Raphael Barbau

Publications

Enriching Standards-Based Digital Thread by Fusing As-Designed and As-Inspected Data Using Ontologies

August 13, 2020

Author(s)

Soonjo Kwon, William Z. Bernstein, Laetitia V. Monnier, Raphael Barbau

Realizing the digital thread is essential for linking and orchestrating data across the product lifecycle in smart manufacturing. Linking heterogeneous

Verifying executability of SysML behavior models using Satisfiability Modulo Theory solvers

February 14, 2020

Author(s)

Raphael Barbau, Conrad E. Bock

This report presents an approach to verifying executability of system behavior models by treating them as logical constraint problems solved using

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

Translator from Extended SysML to Physical Interaction and Signal Flow Simulation Platforms

July 2, 2019

Author(s)

Raphael Barbau, Conrad E. Bock, Mehdi Dadfarnia

Designing complex systems often requires engineers from multiple disciplines (mechanical, electrical, production, and so on) to communicate with each other and

An Extension of the Systems Modeling Language for Physical Interaction and Signal Flow Simulation

November 24, 2017

Author(s)

Conrad E. Bock, Raphael Barbau, Ion Matei, Mehdi Dadfarnia

Computer-interpretable representations of system structure and behavior are at the center of developing today's complex systems. Systems engineers create and

View more Publications