SysModeler Background and Introduction

Traditional Document Based System Engineering (DBSE) has become more and more unable to meet the development requirements of complex systems in key fields today.  Thus, Model Based System Engineering (MBSE) came into existence.

MBSE drives the development process of the system through the evolution and iteration of models (rather than document) from the requirements stage. Requirements analysis, functional analysis, system design, validation, and validation actions are all expressed and driven by models. MBSE has been widely used in defense, aerospace and other fields abroad.

MetInfo enterprise content manager system | MetInfo CMS

▲figure-1:Comparison chart of DBSE and MBSE

SysModeler is a system modeling and analysis tool that supports MBSE. In addition to SysML, the standard modeling language of the International Society of Systems Engineering, SysModeler also supports UML and AADL. SysML is widely used in system modeling, mainly in safety-critical fields such as aerospace, orbital communication, nuclear power and so on. The SysML implemented by SysModeler fully conforms to the international standards. At the same time, the system modeling does not need to focus on the details of software implementation, but pays more attention to the high-level function division, structural decomposition, behavior norms and requirements analysis.

SysModeler provides Function Block Diagram for system engineers to capture the overall system structure for system analysis and design. In the Function Block Diagram, you can add further details to the system structure to achieve top-down design while supporting the traditional concept of Flows in software modeling.


Research Background

1. High compliance with SysML standard;

2. Formal verification techniques are used to ensure the consistency of model and code;

3. Open and neutral interfaces and standards can be widely integrated with third-party tools.


The Core Function and Composition of SysModeler

MetInfo enterprise content manager system | MetInfo CMS

▲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.

Demand management

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.

Model-based testing

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.