Avionics system oriented formalized modeling and verifying method based on requirements

A technology for formal modeling and avionics systems, applied in the field of formal modeling and verification for avionics systems, it can solve problems such as time, cost, and consumption, and achieve time and cost savings, high safety, and reduced The effect of development cost

Inactive Publication Date: 2017-04-26
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF4 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, when formal modeling is applied to the software system design stage, when an error is detected

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Avionics system oriented formalized modeling and verifying method based on requirements
  • Avionics system oriented formalized modeling and verifying method based on requirements
  • Avionics system oriented formalized modeling and verifying method based on requirements

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0026] The technical solutions of the present invention will be described in detail below in conjunction with the accompanying drawings.

[0027] Such as figure 1 As shown, the design framework of the present invention consists of three steps: formal modeling, conversion of formal models, and model verification.

[0028] 1. Formal modeling

[0029] Formal Requirements State Machine Language RSML -e Perform formal requirements specification for avionics systems, create formal models of avionics systems, and find errors in system descriptions during the modeling process. The established model can be used as a real model interacting with the user, and can be executed to the user in the form of simulation.

[0030] a RSML -e The description consists of variables, states, transitions, functional functions, macros, constants and interfaces. The variables in the requirements description are used to store the input values ​​of external sensors and also to temporarily store the ou...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses an avionics system oriented formalized modeling and verifying method based on requirements. The method applies a RSML<-e>(Requirement State Machine Language) to establish a formalized requirement model of the system, a formalized model conversion rule is given, a RSML<-e> model is converted into the input model of a model detector, the security property of the system is verified, the safety and the reliability of the system are improved, and meanwhile, time and cost are saved.

Description

technical field [0001] The invention belongs to the technical field of software system safety, and particularly designs a formalized modeling and verification method for avionics systems. Background technique [0002] The existing traditional software system development process can generally be divided into feasibility analysis, requirements analysis, code implementation, and the final testing and maintenance stages. However, with the increasing complexity of avionics systems and system integration problems, potential errors are increasing and may affect the safety and reliability of the system. Traditional software engineering methods have been difficult to meet such complex and safety requirements. Extremely high demand. [0003] In order to solve these practical problems, formal development methods are widely used in the system development process. The formal modeling language is used to model the system, and the formal model verification tool is used to verify the syste...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F9/44
CPCG06F8/20G06F8/35
Inventor 李揭阳施晓静李勇张福高
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap