Unlock instant, AI-driven research and patent intelligence for your innovation.

Time Consistency Verification Method of AADL Behavior Model Based on Prolog

A verification method, a technology of model time, applied in the direction of creation/generation of source code, instrument, software design, etc., can solve the problems of incomplete verification of real-time system time consistency, poor expression ability of real-time system models, etc., to achieve enhanced expression Ability to improve the effect of accuracy

Active Publication Date: 2019-07-23
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The invention purpose of the present invention is to aim at the deficiency of above-mentioned background technology, provides the AADL behavioral model time consistency verification method based on Prolog, has carried out formal description to the state information of real-time system and implicit time constraint information and explicit time constraint, Using the logic programming language Prolog to verify the consistency of the real-time system relatively completely, and solve the technical problems in the prior art that the verification of the time consistency of the real-time system is not complete and the expression ability of the real-time system model is not good

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
  • Time Consistency Verification Method of AADL Behavior Model Based on Prolog
  • Time Consistency Verification Method of AADL Behavior Model Based on Prolog
  • Time Consistency Verification Method of AADL Behavior Model Based on Prolog

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0033] The technical solution of the invention will be described in detail below in conjunction with the accompanying drawings. This paper proposes a time consistency verification method for real-time systems based on the logic programming language Prolog. By converting the model and time constraints into facts in the Prolog language, Prolog rules are defined to verify the time consistency of the system.

[0034] 1. AADL behavior model and time constraints

[0035] The AADL behavior model defines the detailed actions of each node. It is based on the AADL behavior attachment and further refines the model constructed by the AADL standard language. AADL's behavioral attachments are based on the theory of extended automata, described by 6 optional blocks:

[0036]

[0037] declares the type indicator, where the type represents the data classifier of the AADL behavioral model. Represents initialization of state variables. The state of the automaton is declared, that is, the ...

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 a prolog-based AADL behavior model time consistency verification method, and belongs to the technical field of software engineering. The expansion is performed on the basis of the AADL behavior accessory so as to build an AADL behavior model with the time constraint; the AADL behavior model describes the node state information and the time constraint information; the node state information can be used for qualitative description of real-time system attributes; the time constraint can be used for quantitative description of the real-time system time intervals; the foundation is laid for completely verifying the real-time system time consistency; the AADL behavior model is decomposed; an obtained execution path is converted into a Prolog fact; the hidden time constraint and the visible time constraint of the formal description are converted into a Prolog rule; the Prolog rule is used for describing the real-time system consistency; the complete verification of the real-time system consistency can be realized.

Description

technical field [0001] The invention discloses a Prolog-based AADL behavior model time consistency verification method, which belongs to the technical field of software engineering. Background technique [0002] With the rapid development of communication, microelectronics and other technologies, embedded real-time systems are widely used in mission-critical fields such as automobiles and aerospace. In order to ensure the safety and reliability of real-time systems, the model-driven architecture (MDA) based The ideological architecture analysis and design language AADL is widely used in the modeling and verification of real-time systems. The complexity of real-time systems is gradually increasing, and the content of AADL specifications and appendices is also constantly expanding, and the model verification work around it has also become a hot spot. In the early stage of system development, verifying the time consistency and security of the system model can avoid repeated mo...

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
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/20G06F8/30
CPCG06F8/22G06F8/313
Inventor 周勇刘骁谢红梅
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS