The Core Function and Composition of SysModeler
▲figure-2：SysModeler product interface
Code generation and simulation execution
SysModeler can generate C or Java language code for dynamic diagrams defined in SysML, such as state diagrams and sequence diagrams. Models can produce high-quality code that can be used either to validate the system model or on a production system. This code can run dynamically and visually display the results to facilitate debugging the model, such as setting breakpoints based on state diagrams, capturing message mappings between different objects on sequence diagrams, and so on. Through model-level and code-level joint debugging and verification, system design errors or defects can be intuitively discovered 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.