CN101882078B - Inter-module real-time synchronization method based on internal memory data framework - Google Patents

Inter-module real-time synchronization method based on internal memory data framework Download PDF

Info

Publication number
CN101882078B
CN101882078B CN 201010186142 CN201010186142A CN101882078B CN 101882078 B CN101882078 B CN 101882078B CN 201010186142 CN201010186142 CN 201010186142 CN 201010186142 A CN201010186142 A CN 201010186142A CN 101882078 B CN101882078 B CN 101882078B
Authority
CN
China
Prior art keywords
component model
model
acyclic graph
directed acyclic
node
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
CN 201010186142
Other languages
Chinese (zh)
Other versions
CN101882078A (en
Inventor
杨国青
胡博
王冬冬
伍如意
杨玉皓
汪金波
赵民德
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Zhejiang University ZJU
Original Assignee
Zhejiang University ZJU
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Zhejiang University ZJU filed Critical Zhejiang University ZJU
Priority to CN 201010186142 priority Critical patent/CN101882078B/en
Publication of CN101882078A publication Critical patent/CN101882078A/en
Application granted granted Critical
Publication of CN101882078B publication Critical patent/CN101882078B/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Stored Programmes (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

The invention relates to an inter-module real-time synchronization method based on an internal memory data framework, comprising the following steps of: reading a software assembly model in the AUTOSAR (Automotive Open System Architecture) standard to generate a directed acyclic graph; establishing a hash table; defining rules for modifying the assembly model, wherein the modification rule is unique for each modification type; and acquiring model modification information, storing the model modification information in an operation queue, identifying the modification types, and then corresponding the modification types to the modification rules to modify the directed acyclic graph and the hash table according to the modification rules. The invention can make an assembly design tool and a system configuration tool keep consistent and has the advantage of high development efficiency.

Description

Inter-module real-time synchronization method based on internal memory data framework
Technical field
The present invention relates to model-driven Integrated Development Environment technology, especially a kind of efficiently dynamic consistent method of model information between implementation tool.
Technical background
Along with the development of auto industry, Auto Electronic Controlled System is just experiencing growth at a high speed in the complexity of functional area.Although many software provisionings commercial city has proposed the solution of oneself, how to allow the better collaborative work of each instrument, thereby realize real technological breakthrough, still be the important topic that an academia and industry member require study.
AUTOSAR (AUTomotive Open System ARchitecture) is the automotive electronics software architecture of an opening, unites release by famous motor corporations such as BMW, continents.From technical standpoint, the AUTOSAR tissue is devoted to promote the cooperation of developer on standard, and then improves performance and the security of electric-control system, finally controls thus the growing complexity of automatically controlled software.
The AUTOSAR standard code at software development phase, is carried out the component software design for virtual functions bus (VFB), thereby needn't be concerned about the hardware characteristics of bottom.During last deployment software assembly, realize the virtual functions bus by runtime environment (RTE) and basic software assembly.Component software (component) is the unit of package application program, comprises various port and interface (port interface) for communication.In AUTOSAR, assembly that can nested other component software is called combine component (composition), and not subdivisible assembly is called atom component (atomic component).
SmartSAR IDE is embedded system engineering center of Zhejiang University for the vehicle electric field of the AUTOSAR standard research and development Integrated Development Environment based on model-driven.According to AUTOSAR methodology, SmartSAR IDE is divided into three instruments: be used for carrying out the SmartSAR Designer of System Component Design, carry out the SmartSAR ConfigurationGenerator of system configuration and carry out the automatically SmartSAR Generator. of generation of document, code
The nest relation of AUTOSAR assembly is very complicated, and when the developer component design tool, how making various model maintenances unanimously is a very scabrous problem.Moreover, in the performance history of reality, need repeatedly iteration to use component design instrument and system configuration utility.The existing mode that communicates by the XML file needs continuous manually-operated, has hindered the lifting of development efficiency.
Summary of the invention
For component design instrument and the system configuration utility that overcomes prior art can not be consistent, the shortcoming that development efficiency is low, the invention provides a kind of component design instrument and system configuration utility of making and be consistent the inter-module real-time synchronization method based on internal memory data framework that development efficiency is high.
Inter-module real-time synchronization method based on internal memory data framework may further comprise the steps:
1), reads the software assembly model that meets the AUTOSAR standard, generate the directed acyclic graph that characterizes all component model and paradigmatic relation thereof, the node of directed acyclic graph is corresponding one by one with the component model type, and the directed edge of directed acyclic graph represents the paradigmatic relation between component model;
2) hash table that, foundation is corresponding with described directed acyclic graph, the energy fast finding arrives arbitrary component model, the key word (key) of each bar record of hash table is the full name of corresponding assembly, and value (value) is address and whole direct precursor thereof of corresponding assembly;
3), the rule of component model is revised in definition, alteration ruler is corresponding one by one with the modification type, revise type and comprise the deletion component model, the a certain example of deletion component model, a certain port in the deletion component model, the plug-in package model inserts new example in existing component model, in existing component model, insert new port, revise component model; Described example and port all belong to component model information, are stored in the node of directed acyclic graph;
4), obtain model modification information, model modification information comprise modification target element full name and revise type, model modification information is deposited in the operation queue;
5), whether the decision operation formation is empty: if operation queue is not sky, the configuration information in the read operation formation is identified and is revised type, it is corresponding with alteration ruler, revises directed acyclic graph and hash table according to alteration ruler; If operation queue is empty, then wait for, until there is New model modification information to deposit in the operation queue.
Further, step 3) in, the definition alteration ruler may further comprise the steps:
(3.1) deletion component model type (type) may further comprise the steps: the node corresponding with current component model in the search directed acyclic graph, delete this node and directed edge thereof; Search for the record corresponding with current component model in the hash table, obtain all direct precursor of current component model, revise the pointer of these direct precursor;
(3.2) a certain example (prototype) of deletion component model type (type) may further comprise the steps: the node corresponding with current component model in the search directed acyclic graph, judge whether unique example of current component model of example to be deleted, if not unique example is then deleted this example; If unique example is then deleted this node and directed edge thereof; Search for the record corresponding with current component model in the hash table, obtain all direct precursor of current component model, revise the pointer of these direct precursor;
(3.3) a certain port (port-interface) in the deletion component model type (type) may further comprise the steps: the node corresponding with current component model in the search directed acyclic graph, delete this port;
(3.4) plug-in package types of models (type) may further comprise the steps: make up the node of a directed acyclic graph, current component model information is deposited in this node, this node is inserted in the described directed acyclic graph; A newly-built hash table record, with the full name of current component model as key word (key), with the address of current component model and all direct precursor thereof as value (value);
(3.5) may further comprise the steps to the middle new example (prototype) that inserts of existing component model type (type): the node corresponding with current component model in the search directed acyclic graph, new example is inserted this node, add the paradigmatic relation of component model and this new example;
(3.6) may further comprise the steps to the middle new port (port-interface) that inserts of existing component model type (type): the node corresponding with current component model in the search directed acyclic graph enters this node with new port;
(3.7) revise component model type (type), the node corresponding with current component model in the search directed acyclic graph revised nodal information; Search for the record corresponding with current component model in the hash table, obtain all direct precursor of current component model, revise the pointer of these direct precursor.
Technical conceive of the present invention is: the present invention by in internal memory, set up and keep one with the AUTOSAR standard in the data structure of one to one directed acyclic graph and hash table of component model, and the alteration ruler of a series of modification models of predefine, when model information changes, with this model modification information and alteration ruler coupling, then revise directed acyclic graph and hash table information according to alteration ruler, thereby guarantee the synchronous of system configuration utility and component design instrument.
The present invention has following advantage:
1. based on the data structure among the present invention and model modification rule, solved efficiently the problem of component design instrument and system configuration utility information inconsistency.
2. solved simultaneously the component model consensus of AUTOSAR component design instrument.
Description of drawings
Fig. 1 is real-time synchronization general frame figure of the present invention
Fig. 2 is the schematic diagram of directed acyclic graph of the present invention and hash table combination
Fig. 3 is hash table structural drawing of the present invention
Fig. 4 is operational processes process flow diagram of the present invention
Fig. 5 is the processing flow chart of deletion component model of the present invention
Embodiment
With reference to accompanying drawing, further specify the present invention:
Inter-module real-time synchronization method based on internal memory data framework may further comprise the steps:
1), reads the software assembly model that meets the AUTOSAR standard, generate the directed acyclic graph that characterizes all component model and paradigmatic relation thereof, the node of directed acyclic graph is corresponding one by one with the component model type, and the directed edge of directed acyclic graph represents the paradigmatic relation between component model;
2) hash table that, foundation is corresponding with described directed acyclic graph, the energy fast finding arrives arbitrary component model, the key word (key) of each bar record of hash table is the full name of corresponding assembly, and value (value) is address and whole direct precursor thereof of corresponding assembly;
3), the rule of component model is revised in definition, alteration ruler is corresponding one by one with the modification type, revise type and comprise the deletion component model, the a certain example of deletion component model, a certain port in the deletion component model, the plug-in package model inserts new example in existing component model, in existing component model, insert new port, revise component model; Described example and port all belong to component model information, are stored in the node of directed acyclic graph;
4), obtain model modification information, model modification information comprise modification target element full name and revise type, model modification information is deposited in the operation queue;
5), whether the decision operation formation is empty: if operation queue is not sky, the configuration information in the read operation formation is identified and is revised type, it is corresponding with alteration ruler, revises directed acyclic graph and hash table according to alteration ruler; If operation queue is empty, then wait for, until there is New model modification information to deposit in the operation queue.
Further, step 3) in, the definition alteration ruler may further comprise the steps:
(3.1) deletion component model type (type) may further comprise the steps: the node corresponding with current component model in the search directed acyclic graph, delete this node and directed edge thereof; Search for the record corresponding with current component model in the hash table, obtain all direct precursor of current component model, revise the pointer of these direct precursor;
(3.2) a certain example (prototype) of deletion component model type (type) may further comprise the steps: the node corresponding with current component model in the search directed acyclic graph, judge whether unique example of current component model of example to be deleted, if not unique example is then deleted this example; If unique example is then deleted this node and directed edge thereof; Search for the record corresponding with current component model in the hash table, obtain all direct precursor of current component model, revise the pointer of these direct precursor;
(3.3) a certain port (port-interface) in the deletion component model type (type) may further comprise the steps: the node corresponding with current component model in the search directed acyclic graph, delete this port;
(3.4) plug-in package types of models (type) may further comprise the steps: make up the node of a directed acyclic graph, current component model information is deposited in this node, this node is inserted in the described directed acyclic graph; A newly-built hash table record, with the full name of current component model as key word (key), with the address of current component model and all direct precursor thereof as value (value);
(3.5) may further comprise the steps to the middle new example (prototype) that inserts of existing component model type (type): the node corresponding with current component model in the search directed acyclic graph, new example is inserted this node, add the paradigmatic relation of component model and this new example;
(3.6) may further comprise the steps to the middle new port (port-interface) that inserts of existing component model type (type): the node corresponding with current component model in the search directed acyclic graph enters this node with new port;
(3.7) revise component model type (type), the node corresponding with current component model in the search directed acyclic graph revised nodal information; Search for the record corresponding with current component model in the hash table, obtain all direct precursor of current component model, revise the pointer of these direct precursor.
Technical conceive of the present invention is: the present invention by in internal memory, set up and keep one with the AUTOSAR standard in the data structure of one to one directed acyclic graph and hash table of component model, and the alteration ruler of a series of modification models of predefine, when model information changes, with this model modification information and alteration ruler coupling, then revise directed acyclic graph and hash table information according to alteration ruler, thereby guarantee the synchronous of system configuration utility and component design instrument.
The described content of this instructions embodiment only is enumerating the way of realization of inventive concept; protection scope of the present invention should not be regarded as only limiting to the concrete form that embodiment states, protection scope of the present invention also reaches in those skilled in the art conceives the equivalent technologies means that can expect according to the present invention.

Claims (1)

1. based on the inter-module real-time synchronization method of internal memory data framework, may further comprise the steps:
1), reads the software assembly model that meets the AUTOSAR standard, generate the directed acyclic graph that characterizes all component model and paradigmatic relation thereof, the node of directed acyclic graph is corresponding one by one with the component model type, and the directed edge of directed acyclic graph represents the paradigmatic relation between component model;
2), foundation is corresponding with described directed acyclic graph, can fast finding to the hash table of arbitrary component model, the key word of each bar record of hash table is the full name of corresponding assembly, is worth to be the address of corresponding assembly and whole direct precursor thereof;
3), the rule of component model is revised in definition, alteration ruler is corresponding one by one with the modification type, revise type and comprise the deletion component model, the a certain example of deletion component model, a certain port in the deletion component model, the plug-in package model inserts new example in existing component model, in existing component model, insert new port, revise component model; Described example and port all belong to component model information, are stored in the node of directed acyclic graph; In the step 3), the rule that component model is revised in definition may further comprise the steps:
(3.1) deletion component model type may further comprise the steps: the node corresponding with current component model in the search directed acyclic graph, delete this node and directed edge thereof; Search for the record corresponding with current component model in the hash table, obtain all direct precursor of current component model, revise the pointer of these direct precursor;
(3.2) a certain example of deletion component model type may further comprise the steps: the node corresponding with current component model in the search directed acyclic graph, judge whether unique example of current component model of example to be deleted, if not unique example is then deleted this example; If unique example is then deleted this node and directed edge thereof; Search for the record corresponding with current component model in the hash table, obtain all direct precursor of current component model, revise the pointer of these direct precursor;
(3.3) a certain port in the deletion component model type may further comprise the steps: the node corresponding with current component model in the search directed acyclic graph, delete this port;
(3.4) the plug-in package types of models may further comprise the steps: make up the node of a directed acyclic graph, current component model information is deposited in this node, this node is inserted in the described directed acyclic graph; A newly-built hash table record, with the full name of current component model as key word, with the address of current component model and all direct precursor thereof as value;
(3.5) the new example of insertion may further comprise the steps in the component model type to having: the node corresponding with current component model in the search directed acyclic graph, new example is inserted this node, and add the paradigmatic relation of component model and this new example;
(3.6) the new port of insertion may further comprise the steps in the component model type to having: the node corresponding with current component model in the search directed acyclic graph enters this node with new port;
(3.7) revise the component model type, the node corresponding with current component model in the search directed acyclic graph revised nodal information; Search for the record corresponding with current component model in the hash table, obtain all direct precursor of current component model, revise the pointer of these direct precursor,
4), obtain model modification information, model modification information comprise modification target element full name and revise type, model modification information is deposited in the operation queue;
5), whether the decision operation formation is empty: if operation queue is not sky, the configuration information in the read operation formation is identified and is revised type, the configuration information in the operation queue is corresponding with alteration ruler, revises directed acyclic graph and hash table according to alteration ruler; If operation queue is empty, then wait for, until there is New model modification information to deposit in the operation queue.
CN 201010186142 2010-05-28 2010-05-28 Inter-module real-time synchronization method based on internal memory data framework Expired - Fee Related CN101882078B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN 201010186142 CN101882078B (en) 2010-05-28 2010-05-28 Inter-module real-time synchronization method based on internal memory data framework

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN 201010186142 CN101882078B (en) 2010-05-28 2010-05-28 Inter-module real-time synchronization method based on internal memory data framework

Publications (2)

Publication Number Publication Date
CN101882078A CN101882078A (en) 2010-11-10
CN101882078B true CN101882078B (en) 2013-01-16

Family

ID=43054098

Family Applications (1)

Application Number Title Priority Date Filing Date
CN 201010186142 Expired - Fee Related CN101882078B (en) 2010-05-28 2010-05-28 Inter-module real-time synchronization method based on internal memory data framework

Country Status (1)

Country Link
CN (1) CN101882078B (en)

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102411499B (en) * 2011-08-11 2014-01-08 浙江大学 Directed-graph-structure-based system information extraction method for single electronic control unit (ECU)
CN102819426B (en) * 2012-02-29 2015-07-08 浙江大学 Method for synchronizing AUTOSAR (automotive open system architecture) model to Simulink model
CN104615784B (en) * 2015-03-04 2017-09-08 贵州腾迈信息技术有限公司 A kind of method for accessing data
TWI605378B (en) * 2016-07-14 2017-11-11 財團法人工業技術研究院 Method of recording operations and method of automatically re-executing operations
CN114021707B (en) * 2022-01-06 2022-04-05 中兴通讯股份有限公司 Model acquisition method, system, electronic device and storage medium

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1828531A (en) * 2006-02-22 2006-09-06 上海普元信息技术有限责任公司 Component interface and operation logic construction method in component-based software system
CN1845076A (en) * 2006-05-11 2006-10-11 复旦大学 Consistency maintenance method for XML oriented mark retrace

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8275799B2 (en) * 2005-08-02 2012-09-25 The Boeing Company Methods and apparatus for information modeling

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1828531A (en) * 2006-02-22 2006-09-06 上海普元信息技术有限责任公司 Component interface and operation logic construction method in component-based software system
CN1845076A (en) * 2006-05-11 2006-10-11 复旦大学 Consistency maintenance method for XML oriented mark retrace

Also Published As

Publication number Publication date
CN101882078A (en) 2010-11-10

Similar Documents

Publication Publication Date Title
CN101882078B (en) Inter-module real-time synchronization method based on internal memory data framework
Klose et al. An automata based interpretation of live sequence charts
US20090113382A1 (en) Automated deployment implementation with a deployment topology model
CN105608142A (en) Storage method and device of Json data
US7822591B2 (en) Logic circuit model conversion apparatus and method thereof; and logic circuit model conversion program
CN110287630A (en) A kind of chip form verification method, storage medium, terminal and the system of opening
Chen et al. Compositional specification of behavioral semantics
US8271538B2 (en) Automated generation of modeling language profiles
US8086436B2 (en) Preliminary data representations of a deployment activity model
US20100082303A1 (en) Flexible evaluator for vehicle propulsion systems
US20070079268A1 (en) Mixed mode verifier
Canedo et al. Multi-disciplinary integrated design automation tool for automotive cyber-physical systems
Redell et al. The AIDA toolset for design and implementation analysis of distributed real-time control systems
CN110069876B (en) Experiment management method and device
CN104932982B (en) A kind of Compilation Method and relevant apparatus of message memory access
Herrmannsdörfer et al. Library concepts for model reuse
CN115270731A (en) Collaborative editing method and device for mixed document
CN116243893A (en) Low code output method
CN107844639B (en) Project standard structure automatic generation method and system
Bombieri et al. On the reuse of heterogeneous IPs into SysML models for integration validation
Hassine AsmL-based concurrency semantic variations for Timed Use Case Maps
JP2007018313A (en) Circuit design program, circuit design device and circuit design method
AU2021107468A4 (en) A method and system for implementing xml and xquery to perform read and writre operations in minumum number of calls
Zhang et al. Semantic integration platform for cyber-physical system design
Pena et al. Efficient Computation of Observer Projections using OP-Verifiers1

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20130116

Termination date: 20170528