Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design

The emerging Digital Engineering demands digital representation of the system of interest and sharing models and data across the boundaries of organizations and the boundaries of the engineering lifecycle. Towards this direction, it is critical to develop systems modeling languages and tools that ac...

Full description

Saved in:

Bibliographic Details
Published in:	2021 IEEE International Systems Conference (SysCon) pp. 1 - 7
Main Authors:	Huang, Jingwei, Khallouli, Wael, Holly A. H., Handley, Edmonson, William, Ahmed, Trisha, Kibret, Nadew
Format:	Conference Proceeding
Language:	English
Published:	IEEE 15-04-2021
Subjects:	Computational modeling Conferences Digital Engineering Digital representation Executable & verifiable systems design Functional Reactive Programming Model-Based Systems Engineering Modeling language and tools Organizations Programming Semantic mapping Semantics SysML
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	The emerging Digital Engineering demands digital representation of the system of interest and sharing models and data across the boundaries of organizations and the boundaries of the engineering lifecycle. Towards this direction, it is critical to develop systems modeling languages and tools that accommodate Digital Engineering. This paper presents our research on semantic mapping from System Modeling Language (SysML) to Functional Reactive Programming (FRP) with the goal of developing computing mechanisms with functional reactive programming to support executable and verifiable SysML model specification.
ISSN:	2472-9647
DOI:	10.1109/SysCon48628.2021.9447075