Multi-type MSVL (Modeling, Simulation and Verification Language) interpretive system and multi-type MSVL interpretive method

A language interpretation and multi-type technology, applied in the direction of memory system, multi-program device, program control design, etc., can solve the problems of single data type and narrow application range, and achieve the goal of expanding the scope of the system, enhancing the expressive ability, and improving efficiency Effect

Active Publication Date: 2013-06-12
XIDIAN UNIV
View PDF2 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] Aiming at the technical problem of single data type and narrow application range in the prior art, the present invention provides a multi-type MSVL language interpretatio...

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
  • Multi-type MSVL (Modeling, Simulation and Verification Language) interpretive system and multi-type MSVL interpretive method
  • Multi-type MSVL (Modeling, Simulation and Verification Language) interpretive system and multi-type MSVL interpretive method
  • Multi-type MSVL (Modeling, Simulation and Verification Language) interpretive system and multi-type MSVL interpretive method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0058] A multi-type MSVL language interpretation system, which introduces two built-in data types, floating point and character, into the existing MSVL language interpretation system, which can realize automatic modeling and verification of systems with multiple data types, see figure 1 , the multi-type MSVL language interpretation system includes a variable type declaration module, which is provided with a variable type declaration command and a type declaration definition, and the variable type declaration command specifies the type of the variable in the form of an MSVL variable declaration statement, and MSVL includes int, float , char and string four variable declaration statements. After the type is extended, the domain of variables and constants in MSVL is defined as DOMAIN, and the elements in DOMAIN are defined as binary groups. The first component of the binary group represents the value of the variable. The second component marks the type of the variable;

[0059] A...

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 relates to a multi-type MSVL (Modeling, Simulation and Verification Language) interpretive system which comprises a variable type declaration module, a variable storage module, an arithmetic expression processing module, an assignment operation processing module, a type cast order processing module and a frame order processing module. Various built-in data types are extended in projection time sequence logic and program design language MSVL, the description capability of the MSVL can be enhanced, the application fields of the MSVL can be extended, so that the MSVL can be more flexibly and widely model and verify a multi-data type system. According to the interpretive system and the interpretive method, the discourse domain of variables is defined as a binary group consisting of a dereference and a type, the interpretations of the variable and constant are defined as a binary group, so that the type of each variable serve as the solid property of the variable, and the reference efficiency of the variable can be improved. Aiming at the discourse domain of the variable and constant and the extension of the interpretations, semantemes of related functions and operational characters can be given, the functions and the operational characters relative to types after the types are extended are compatible with the existing MSVL sentences.

Description

technical field [0001] The invention belongs to the technical field of formal modeling and verification of computer systems, and mainly relates to modeling and verification of systems with multiple data types by formal methods, specifically a method and system for MSVL modeling and verification of extended built-in data types, which can be used For modeling and verification of systems with multiple data types. technical background [0002] As a formal tool for system modeling and verification, sequential logic has been widely used in software engineering, digital circuit design and other fields. There are three main branches of sequential logic: Linear Temporal Logic (LTL), Branch Temporal Logic (CTL) and Interval Temporal Logic (ITL). Projected Temporal Logic (PTL) extends ITL based on Interval Temporal Logic. Projected Temporal Logic includes infinite models, past operations, and a new projection operation to handle concurrent computations. It is suitable for describing ...

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/45G06F9/46
Inventor 段振华李洁王小兵田聪张南于研杨凯
Owner XIDIAN UNIV
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