7 datasets found
-
Federal
Translator from Extended SysML to Physical Interaction and Signal Flow Simulation Platforms, version 1.1
National Institute of Standards and Technology —
The translator implements the SysML Extension for Physical Interaction and Signal Flow Simulation (SysPhS), version 1.1. It can generate Modelica and... -
Federal
Translator for the SysML Extension for Logistics Modeling and Analysis (SysLMA)
National Institute of Standards and Technology —
This includes source and compiled code for translating SysML models extended by the SysML Extension for Logistics Modeling and Analysis (SysLMA) to logistics analysis... -
Federal
SysPhS Models for Physical Interaction Simulation in Manufacturing
National Institute of Standards and Technology —
Physical interaction component libraries, covering areas not currently standardized in SysPhS. -
Federal
Translator from Extended SysML to Physical Interaction and Signal Flow Simulation Platforms
National Institute of Standards and Technology —
The translator implements the SysML Extension for Physical Interaction and Signal Flow Simulation (SysPhS). It can generate Modelica or Simulink/Simscape files from... -
Federal
SysML Model Libraries Supporting Discrete Event Logistics Systems (DELS) Models
National Institute of Standards and Technology —
System models and model-based engineering methods have the promise of transforming the way that industrial engineers interact with production and logistics systems.... -
Federal
Model of the Wireless Factory Work-cell using the Systems Modeling Language
National Institute of Standards and Technology —
Wireless technology is a key enabler of the vision of the future factory work-cell. Such work-cell will operate autonomously with a high degree of mobility enabled by... -
Federal
Translations from OBM Library and SysML Behavior Examples to Alloy
National Institute of Standards and Technology —
This repository includes Alloy Analyzer code from the development of NIST Interagency Report (NISTIR) 8388-upd1. The report presents an approach to verifying...
7 datasets found