The core function and composition of SysModeler
▲figure-2：SysModeler product interface
Code generation and simulation run
For dynamic diagrams defined in SysML, such as state diagrams and sequence diagrams, SysModeler can generate related C language or Java language codes. High-quality code can be generated through the model. This code can be used as a system model verification code or as a code on a production system. These codes can run dynamically, and visually display the running results to facilitate the debugging of the model, such as setting breakpoints based on the state diagram, capturing the message mapping between different objects on the sequence diagram, and so on. Through model-level and code-level joint debugging and verification, design errors or defects of the system can be found intuitively as early as possible, so as to determine or reduce project risks earlier.
Real-time diagnosis and analysis
The CPS (Cyber Physical System) emphasizes real-time and dynamic control of objects and information services. We can capture the real-time requirements of the model, add real-time constraints to the behavior of the model, and diagnose and analyze the real-time nature of the system design. The real-time framework of SysModeler can make the designed model independent of the operating system. Through the real-time framework, applications can be transplanted from one real-time operating system to other operating systems. At the same time, the configurable and extensible functions can be well adapted to the user's own customized operating system and middleware.
Automatic document generation
SysModeler can automatically generate Chinese documents that meet the standards of the military development process, and the consistency of the model and code ensures the consistency of the document and code, which provides a good way for the early development of embedded systems in safety-critical fields and the accumulation of later experience. platform. SysModeler can generate documents suitable for specific job requirements through customized templates.
Throughout the life cycle of the project, the process of capturing, tracking and managing user needs and changes in demand is the foundation for the success of the project. SysModeler can be integrated with mainstream demand management platforms (such as IBM's DOORS), and can edit, track and manage all the requirements established in the demand management platform to ensure that the product results meet customer-defined requirements, and are very compatible with Word, Excel and PDF. Good integration. In particular, SysModeler can establish the mutual correspondence between system design and requirements to meet the requirements of design traceability.
SysModeler supports model-based testing. SysModeler can automatically generate a set of test cases for the model according to the model, and has a high test coverage rate for MC/DC analysis, and conforms to the DO-178B standard. The generated test cases can be output to third-party test execution tools, such as LDRA's Testbed, to perform tests.