IEEE

Formal verification of internal block diagram of SysML for modeling real-time system

Abstract: SysML is a graphical modeling language that is mostly used for the graphical representation of real-time systems, complex systems, safely critical systems, and embedded systems. In this ...
IEEE

Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM

Abstract: System Modeling Language (SysML) is a standardized profile of Object Management Group (OMG) and it is used for the purpose of graphical modeling a system engineering application. The ...