SysML-based security-critical autonomous system modeling method and tool

Abstract

The invention discloses a SysML-based security-critical autonomous system modeling method and tool. The method comprises the steps of: discussing system structure modeling of a security-critical autonomous system consisting of a traditional component and an AI component from natural language requirements, and aiming at various natural language requirement documents in the security-critical autonomous system, stipulating the natural language demand document by adopting a demand template and a constraint rule, and defining an RNLReq meta-model; selecting a SysML extension subset to support functional and non-functional extension of the RNLReq meta-model, and defining a conversion rule from the RNLReq meta-model to different views in the SysML system structure model; and based on a conversion rule, converting the RNLReq meta-model into different views in the SysML system structure model. According to the method, the mode that the user records the demand is limited through the demand template and the constraint rule, and the obtained RNLReq model supports hierarchical decomposition, functional demand, non-functional demand and AI component demand of the demand of intelligent software.

Description

technical field [0001] The invention belongs to the field of aerospace technology, and in particular relates to a modeling method and tool for a safety-critical autonomous system based on SysML. Background technique [0002] In recent years, Model-Driven Development (Model-Driven Development, MDD) has received more and more attention, and is considered by the industry as an important and feasible means to ensure system safety and reliability. Model-driven safety-critical CPS system design and implementation methods Modeling languages ​​commonly used in China include Modelica, SysML, AADL (Architecture Analysis & Design Language, AADL), etc., for example: Modelica supports multi-domain modeling such as mechanics, electronics, electricity, hydraulics, heat, etc., and AADL supports functions, non-functions, execution platforms, etc. Multi-perspective software and hardware modeling, SysML models software and hardware, data, processes, requirements, and even human and other resou...

AI Technical Summary

Problems solved by technology

[0003] However, when developing safety-critical intelligent software, if you want to automate MDD, you need to automatically generate an architecture model according to system requirements. Since system requirements are mostly written in free natural language text, this text is usually vague. It is difficult to handle automatically, so it is a very big challenge to automatically generate an architectural model based on system requirements, that is, how to deal with the architectural modeling of such systems based on natural language requirements is a difficult point

Images