Computer language transformation system and transformation method from C language to MSVL (Modeling, Simulation and Verification Language)

A technology of computer language and conversion system, applied in computing, memory system, program control design, etc., to achieve the effect of ensuring the safety and reliability of the program, ensuring the effectiveness and reliability

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

AI Technical Summary

Problems solved by technology

Projected sequential logic is also extremely useful in formal description and verification of real-time and hybrid systems, especially safety-critical systems. For example, the manned spaceflight system is a complex hybrid real-time system. In order to ensure the safety and reliability of the system, traditional The test method is far from meeting the requirements, and it is very useful to adopt formal verification technology

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
  • Computer language transformation system and transformation method from C language to MSVL (Modeling, Simulation and Verification Language)

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0054] The invention provides a computer language conversion system, which can convert C language into MSVL language to detect programs in C language. It specifically includes, a computer language conversion system, which is used to convert a C language program into an MSVL language program, including a lexical analysis module, which converts a character sequence into a word sequence, and the character sequence includes a key word in the C language. Definition of words, identifiers, constants, operators, header files and comment lines; also includes a syntax analysis module, which identifies specific statements in the C language based on the relevant lexical rules of the C language specified in yacc; It also includes a conversion processing module, which converts the C language into the MSVL language according to the language conversion rule between the C language and the MSVL language.

[0055] Please refer to figure 1 , the following introduces the method for using the comp...

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 computer language transformation system. The computer language transformation system is used for transforming C language program into MSVL (Modeling, Simulation and Verification Language) program, and comprises a lexical analysis module, a syntax analysis module and a transformation processing module, wherein the lexical analysis module is used for transforming character sequences into word sequences; the character sequences comprise definitions of key words, identification characters, constants, operators, header files and comment lines in C language; the syntax analysis module is used for identifying specific sentences in C language based on related lexical rules of C language specified in yacc (Yet Another Compiler Compiler); and the transformation processing module is used for transforming C language into MSVL language according to a language transformation rule between C language and MSVL language.

Description

technical field [0001] The invention relates to the technical field of computer programming language C language, in particular to a conversion method from a C language structured statement to an MSVL corresponding statement. Background technique [0002] C language is a general-purpose, procedural programming language widely used in the development of systems and application software. It has the characteristics of high efficiency, flexibility, rich functions, strong expressive power and high portability, and is very popular among programmers. The new international standard draft C11 of C language officially announced by ISO in 2011 improves the compatibility with C++ and adds new features to C language. New features include support for multi-threading, support for Unicode based on the ISO / IEC TR19769:2004 specification, and provide more macro definitions and static declaration functions for querying the characteristics of floating-point numbers. Although the C language is ...

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 Applications(China)
IPC IPC(8): G06F9/45
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