01

SysModeler background and introduction


Traditional Document Based System Engineering (DBSE, Document Based System Engineering) has become increasingly unable to meet the development requirements of complex systems in today's key areas. Therefore, Model Based System Engineering (MBSE, Model Based System Engineering) has emerged. MBSE starts from the requirements phase, that is, the development process of the system is driven by the continuous evolution of the model (not the document), iterative and incremental, including requirements analysis, functional analysis, system design, validation and verification behaviors are expressed by the model and driven by the model. MBSE has been widely used in foreign defense, aerospace and other fields.


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 model-based systems engineering (MBSE). It not only supports the standard modeling language SysML of the International System Engineering Association, but also supports languages such as UML and AADL. SysML is widely used in system modeling, mainly in safety-critical fields, such as defense, aerospace, aviation, rail transit, nuclear power and other fields. The SysML implemented by SysModeler fully complies with the international standards of SysML. At the same time, system modeling does not need to pay attention to the details of software implementation, and pay more attention to high-level function division, structural decomposition, behavior specifications and requirements analysis. SysModeler provides system engineers with function block diagrams (Block Diagram) to capture the overall system structure for system analysis and design.


In the function block diagram (Block Diagram), you can further increase the details of the system structure to achieve the purpose of top-down design, and at the same time support the concept of data flows (Flows) commonly used in traditional software modeling.


02

Research Background

1. High compliance with SysML standard;

2. Use formal verification related technologies to ensure the consistency of the model and code;

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



03

The core function and composition of SysModeler


MetInfo enterprise content manager system | MetInfo CMS

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


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.


电话咨询
在线咨询
解决方案
QQ客服