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

Abstract

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.