Method for generating simulation test example of AADL (Architecture Analysis and Design Language) software component model based on SystemC

A technology of model simulation and test instance, applied in the field of AADL software component model simulation test instance generation based on SystemC, can solve the problem of not giving the specific method of SystemC test instance, and achieve the effect of guaranteeing quality

Inactive Publication Date: 2011-11-02
NORTHWESTERN POLYTECHNICAL UNIV
View PDF1 Cites 9 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

de las Heras et al. proposed the semantics of AADL model-to-SystemC mapping to support software and hardware co-simulation, but did not give a specific method for generating SystemC test cases

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
  • Method for generating simulation test example of AADL (Architecture Analysis and Design Language) software component model based on SystemC
  • Method for generating simulation test example of AADL (Architecture Analysis and Design Language) software component model based on SystemC
  • Method for generating simulation test example of AADL (Architecture Analysis and Design Language) software component model based on SystemC

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0035] Describe the present invention below in conjunction with specific embodiment:

[0036] The AADL model adopted in this embodiment is:

[0037] Data components in AADL:

[0038]

[0039] The subroutines, threads, processes and systems in AADL, as well as the port and port connection models of each component are:

[0040]

[0041]

[0042]

[0043]

[0044]

[0045] The above AADL model is a navigation control system (Cruisecontrol), which includes two subsystems S_Hci and S_Cruisecontrollaws, figure 1 is its software component structure diagram. There are two processes in the subsystem S_Hci, one process P_Hci_Process has 4 threads, the other process sever_process contains 1 thread; the subsystem S_Cruisecontrollaws has a process P_Cruisecontrol_Process, which contains 2 threads. In this embodiment, the subsystem S_Hci is converted, and the conversion process of the process Hci_Process is specifically given in the subsyste...

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 provides a method for generating a simulation test example of an AADL (Architecture Analysis and Design Language) software component model based on SystemC. The method comprises the following steps of: firstly, providing a conversion technology for converting data components, ports and connections into a SystemC simulation test example; then, according to inclusion relations of the components, providing a conversion technology for converting each component into the SystemC simulation test example step by step from a bottom layer (sub-program) of a component tree to an intermediate layer (thread and progress) of the tree; and finally, providing a conversion technology of a sub-system and a system component. By means of the method disclosed by the invention, users can realize the simulations of the AADL software component based on the SystemC; the simulations include simulations of interactions, execution times and thread schedulings between software components and the like; the users can also combine the method disclosed by the invention with the simulation of an AADL execution platform component based on the SystemC; software and hardware can be subjected to cooperative simulation; in addition, according to a simulation result, a construction is iterated and a design model is refined so that problems existing in the design model is found out as soon as possible and the quality of the design model is ensured.

Description

technical field [0001] The invention relates to the field of embedded systems, in particular to a method for generating simulation test instances of AADL software component models based on SystemC. Background technique [0002] In order to use model-driven software development methods to analyze the quality attributes of mission-critical embedded software systems to improve the reliability of software systems and shorten the development cycle, the American Society of Automata published the aviation standard AS5506-Architecture Analysis and Analysis in January 2009. Design language AADL (Architecture Analysis and Design Language) version 2.0. As a modeling language for embedded real-time systems, AADL models the system structure by defining components and interactions between components, and supports the non-functional attributes of the system (including time attributes, energy consumption, reliability, security, etc.) etc.) description. AADL has the advantages of simple sy...

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): G06F11/36
Inventor 马春燕董云卫朱晓燕朱宇峰
Owner NORTHWESTERN POLYTECHNICAL 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