AADL2TASM (Architecture Analysis and Design Language-to-Timed Abstract State Machine) model transformation method

A technology of model conversion and conversion method, applied in the field of AADL2TASM model conversion, which can solve the problems of not supporting mode conversion, partition conversion, and incomplete thread level semantics.

Active Publication Date: 2012-06-27
BEIHANG UNIV
View PDF0 Cites 20 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the semantics of the thread level are not complete enough, nor can it support the conversion of mode conversion, partition, and BehaviorAnnex; Verimag Labs converted AADL t

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
  • AADL2TASM (Architecture Analysis and Design Language-to-Timed Abstract State Machine) model transformation method
  • AADL2TASM (Architecture Analysis and Design Language-to-Timed Abstract State Machine) model transformation method
  • AADL2TASM (Architecture Analysis and Design Language-to-Timed Abstract State Machine) model transformation method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0084] The present invention will be further described below in conjunction with accompanying drawing:

[0085] The invention relates to an AADL2TASM model conversion tool, which can automatically convert any AADL model into a corresponding TASM model. The source language of the model conversion tool, AADL, is an architectural modeling and analysis language for complex embedded real-time systems, which can provide a standard and accurate way to design and analyze the software and hardware architecture of embedded real-time systems And functional and non-functional properties, using a single model to support multiple analysis methods, integrating key links such as system design, analysis, verification, and automatic code generation under a unified framework. The target language of the model conversion tool, TASM, is a formal description language widely used in software and hardware system design, which supports the description and verification of functional behavior, time attri...

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 an AADL2TASM model transformation method, which is used for transforming an AADL model into a TASM model. KM3 is used for describing the meta-model of the source language AADL and the meta-model of the target language TASM, and aimed at a thread component, a dispatcher, mode conversion and a scheduler in the AADL model, a transformation method for the thread component, a transformation method for the dispatcher component, a transformation method for the mode conversion and a transformation method for the scheduler component are respectively used for transforming the AADL model into the TASM model.

Description

technical field [0001] The invention relates to an AADL2TASM model conversion method, in particular to a method for converting an AADL model into a TASM model. Background technique [0002] Complex embedded real-time systems are widely used in the fields of avionics, spacecraft, and automobile control. These systems have the characteristics of limited resources, real-time response, fault tolerance, and dedicated hardware, and have high requirements for real-time performance and reliability. Due to the requirements of calculation accuracy and real-time response, such systems are becoming more and more complex. How to design and implement high-quality complex embedded real-time systems and effectively control development time and costs is a common concern of everyone. [0003] Model Driven Development (MDD for short) can analyze and verify the system at an early stage, which helps to ensure the quality attributes of the system and effectively control the development time and c...

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
Inventor 胡凯蒋树杨志斌顾彬姜泮昌张腾
Owner BEIHANG 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