CN110262794A - A kind of AADL behaviour expanding method and tool based on specification with description language - Google Patents
A kind of AADL behaviour expanding method and tool based on specification with description language Download PDFInfo
- Publication number
- CN110262794A CN110262794A CN201910475574.7A CN201910475574A CN110262794A CN 110262794 A CN110262794 A CN 110262794A CN 201910475574 A CN201910475574 A CN 201910475574A CN 110262794 A CN110262794 A CN 110262794A
- Authority
- CN
- China
- Prior art keywords
- description language
- model
- aadl
- class
- data
- 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.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Creation or generation of source code model driven
Abstract
The invention discloses a kind of based on the AADL behaviour extended method and tool that standardize with description language, comprising: step 1: being modeled based on AADL to software system structure, obtains AADL model；Step 2: using ASN.1 data generating algorithm and specification and description language model framework generating algorithm; extract the functional module modeling environment in AADL model; obtain specification and data needed for description language model and specification and description language model framework; based on specification and data needed for description language model and specification and description language model framework, specification and description language model modeling environment are generated.
Description
Technical field
The invention belongs to software system modeling technical fields, and in particular to a kind of AADL based on specification with description language
Behaviour expanding method and tool.
Background technique
Conventional security critical software design and development method mainly drives (Paper- using natural language document
Driven), manual mode realizes the conversion between each stage, and development time and cost are relatively high.Firstly, since each stage it
Between isolate, a large amount of duplication of labour certainly will be caused；Secondly, engineering experience show a large amount of wrong (50% or so) be
What early stage introduced, and traditional development process until later stage just to the function nand function property of system carry out verifying and
Analysis, and it is mainly based upon document progress, itself is also easy error, so that verifying increased costs, finally, compiling by hand
The mode for writing code, also usually introduces mistake.
In recent years, the design and development method of model-driven (Model-Driven) is gradually taken seriously, and by industry
It is considered practicable important method.This method is using model as the core element of whole system development process, in design rank
Section just establishes the architectural model of system, is verified and is analyzed as early as possible.Meanwhile the reuse of model and be based on model conversion
Stepwise refinement process automatically or semi-automatically, both contribute to reduce system development time and cost.Therefore, Mode-driven architecture
Method is increasingly becoming the important means of security critical software design and development.For example, the airborne system that International Civil Aviation field uses
Software development standard DO-178C [3] in seaworthiness authorization is just by model-driven and formalization method (i.e. DO-331 [4] and DO-
333 [5]) as its core standard important technology supplement.System engineering (MBSE) based on model is a kind of building for formalization
Mould application program is persistently carried out for supporting since conceptual phase and in entire exploitation and later period life cycle phase
Systems feasibility analysis, demand analysis, Outline Design, detailed design, network analysis, Formal Verification and result confirmation etc. are living
It is dynamic.
The common modeling language in safety-critical field mainly has: specification and description language SDL, Structural analysis and design language
AADL, system model language SysML, the realization of abstract syntax ASN.1, synchronous language Lustre etc., Safety-Critical System are main
It needs to analyze by specification, designs, inherit, verifying, multiple stages such as test, the system model macroscopical from one, into system
The function logic that some specific needs are realized, each level require to be modeled, and then pass through the side of Formal Verification
Method guarantees the safety of system.AADL focus on building system macroscopic aspect model, the knot of physical system is described
Structure, the interactive process between the structure and above structure and computer platform of the software systems when operation of embedded software.
SDL's focuses on modeling system function module, and to system, some specific functional module carries out detailed patch Jie
It is modeled in the details of code level.In the software development methodology of model-driven, AADL is suitable for during detailed design to being
System overall structure is modeled, and carries out emulation and formalization method carries out verifying analysis.SDL is suitable for during detailed design,
Whole system some tiny functional modules are modeled, model verifying and code building are carried out.
SDL (Specification and Description Language) language be CCITT recommend specification with retouch
State language.Developed by ITU-T and standardized, be defined on blue skin book Z.100 suggests in (1992,1996 supplement).As
The formal language of International standardization, it is used to specification description real-time system.Currently, SDL-96 is the latest edition of SDL.As
SDL the relevant technologies, herein Z.120 suggesting: message sequence chart (message sequence charts, MSC) and Z.105 building
View: ASN Abstract Syntax Notation-(abstract syntax notation-one, ASN.1) understands as a part of SDL.
SDL is described as " Specification Description Language of real-time system " by ITU.Most SDL concepts have text and figure two
Kind expression form.Due to lacking high-level structure in certain ranges and some concepts as C language, SDL and non-programming language.
SDL does not describe System Development process.Therefore, in practical applications, developer will describe using with SDL figure, then by SDL
Tool is translated into C language source code or CHILL source code, is finally embedded into actual development environment.
It, can half figure, the half literary function description that certain types of embedded system is locally defined using SDL.This side
The formal property of the height of method, so that SDL tool is possible to generate and test complete Embedded Application.
AIAE American institute of automobile engineers SAE (Society of Automotive Engineers) MetaH, HOOD,
On the basis of UML, ADL, embedded system architecture analysis and design language AADL (Architecture are proposed
Analysis and Design Language), and it is issued as SAE AS5506 standard.AADL language provides correspondingly
The modeling concept of software architecture, runtime environment and hardware architecture.Pass through behavior attachment (Behavior
Annex the ability to express to behaviour) is extended, fault model attachment (Error Model Annex) is enhanced to system
Safety, descriptive power of fail-safe analysis etc..The framework of system is described by constructing and connecting.When defining new attribute not
When being able to satisfy user and needing, AADL introduces the concept of attachment.It possesses independent syntax and semantics, but must be with AADL core
Standard keeps semantic congruence.Such as fault model attachment (error model annex), support member, the event of failure of connection, event
Hinder the model attributes such as probability；Behavior attachment (behavior annex) enhances AADL retouching in detail to component actual functional capability behavior
Ability is stated, preferably to support behaviour to verify and real time workshop.The research of AADL model is concentrated mainly on both at home and abroad
Several aspects below: model is utilized to carry out the Schedulability Analysis of embedded system；The detection of safety is carried out using model；Benefit
With AADL error model to anomaly analysis, there are also the behavior of system such as model using behavior attachment.
For SDL and AADL integrated use in existing research, main approaches be directed to system design and open
The different phase of hair is modeled using different modes, is carried out system structure using AADL in system structure design process and is built
Mould carries out system function modeling using SDL, different systems designs and develops the stage in system function design process
Corresponding different model without directly interaction and is contacted between each model, is produced simply by processes such as model verifying emulation
Raw result interacts.But in the actual production process, it during carrying out system module modeling using SDL, needs
Use the data type and structure used in the model of system structure level to AADL.
Summary of the invention
Goal of the invention: it in actual production process, during carrying out system module modeling using SDL, needs to make
The case where using the data type and structure that AADL is used in the model of system structure level, the present invention provides a kind of bases
In the AADL behaviour extended method and tool of specification and description language.
The invention discloses kinds based on the AADL behaviour extended method standardized with description language, comprising the following steps:
Step 1: software system structure being modeled based on AADL, obtains AADL model；
Step 2: using ASN.1 data generating algorithm and specification and description language model framework generating algorithm, extracting AADL
Functional module modeling environment in model obtains specification and data needed for description language model and specification and description language model
Frame generates specification and description based on specification and data needed for description language model and specification and description language model framework
Language model.
Further, the ASN.1 data generating algorithm is input with the data acquisition system of AADL model, to standardize and describe
The data acquisition system of language model is output, is specifically included: the element in the data acquisition system of traversal AADL model, according to element class
Type, creation obtain corresponding ASN.1 data type, and are stored in the data acquisition system of specification and description language model.
Further, the specification includes: with description language model framework generating algorithm
The upper-layer functionality module for establishing behavior attachment in AADL model describes mould to specification and function in description language model
The mapping relations of type frame；
Mould is described to specification and function in description language model according to the upper-layer functionality module of behavior attachment in AADL model
Corresponding generate of content in the upper-layer functionality module of behavior attachment in AADL model is standardized and is described by the mapping relations of type frame
Language model frame.
The invention also discloses it is a kind of realize it is above-mentioned based on specification and the AADL behaviour extended method of description language
Tool.
Further, which includes for data needed for storage specification and description language model and specification and description language
Say the specification and description language model intermediate data structure of model framework.
Further, which includes user interface, is based on by functional module of the user interface to AADL model
The modeling of specification and description language.
Further, the specification and description language model intermediate data structure include data knot for storing data
Structure, the data structure include:
Data abstraction class, for the parent of all data types, for carrying out polymorphic operation；
Structural body class, the data structure for storage configuration body and array content；
Boolean Class, the data structure of the content for saving Boolean type；
Character string class, the data structure of the content for saving character string type；
Numeric class, the data structure of the content for saving numeric type；
Integer class, the data structure of the content for saving integer type；
Floating-point is several classes of, the data structure of the content for saving float.
Further, the specification includes being used for storage specification and description language with description language model intermediate data structure
The container data structures of model framework, the container data structures include:
Abstract class, the parent of all structure types, for carrying out polymorphic operation；
Semaphore abstract class, the parent of all semaphore types, for carrying out polymorphic operation；
Printenv semaphore class, for indicating the class of the not semaphore of containing parameter；
Containing parameter semaphore class, the class of the semaphore for indicating containing parameter；
Level class, for indicating container class containing level；
System class, for indicating system container class；
Module class, for indicating system module container class；
Process class, for indicating system process container class；
It is pipeline-like, for indicating the class of system, module and the extraneous mode interacted；
Data class, the class of the variable for indicating to use in container；
The system is the software systems described using AADL model.
Further, which includes operation layer interface, and developer completes to be based on ASN.1 data by business layer interface
Generating algorithm and specification and description language model framework generating algorithm, extract specification and description language model from AADL model
The data and specification and description language model framework needed.
Further, which includes persistent layer interface, and developer completes the specification to generation by lasting layer interface
With the storage of description language model
The utility model has the advantages that the present invention improves the scalability of SDL Kernel, convenient for multiplexing, make SDL Kernel to extension
It is open.
Detailed description of the invention
Fig. 1: CAS Tool Framework FIGURE；
Fig. 2: CAS single class design structure diagram；
Fig. 3: CAS data class whole design structure chart；
Fig. 4: CAS container class design structure diagram；
Fig. 5: CAS service logic structure chart；
Fig. 6: CAS persistent framework figure；
Fig. 7: CAS view layer building-block of logic.
Specific embodiment
The inventive method is further described with reference to the accompanying drawing.
The present invention relates to the modeling sides that an operating specification and description language model expand AADL model behaviour
Method, in the Outline Design stage, carrying out system structure using AADL modeling language in the software development process of model-driven
Modeling, it is automatic to extract functional module modeling environment in AADL for a certain functional module for the AADL system model that user chooses,
Get the mistake for needing data to be used and the functional module and external environment to interact in functional module modeling environment
Journey is saved in specification and description language model intermediate data structure by and by the process, while generating specification and description language
It says model modeling environment, and user interface is provided, user can directly be standardized by patterned interface and description language
The modeling of model functional module, and the interaction that can be directly realized by between AADL model and specification and description language model.
The present invention is to be integrated with Osate plug-in unit, and AADL model generates plug-in unit and SDL software for editing OpenGeode
Eclipse platform on the exploitation of CAS plug-in unit that carries out.Osate is the open source that Carnegie Mellon Univ USA is AADL exploitation
Integrated Development Environment.It can be used for AADL modeling, compiling and analysis, carry out schedulable analysis, safety analysis, event delay point
Analysis etc..It is raw that AADL model generates the developed AADL model by limiting spatial term AADL system structure model of plug-in unit
At plug-in unit, it can be used for carrying out the extraction and generation of AADL system model.OpenGeode is the rule in open source modeling tool Taste
Model and description language model functional module can be used for carrying out specification and description language model function modeling, model inspection etc..
As shown in Figure 1, generating AADL system structure model using AADL model Core Generator, by Osate tool, show
AADL functional module provides the selection of functional module, uses ASN.1 data generating algorithm and specification and description language model framework
Generating algorithm generates specification and description language model framework, and model framework deposit is standardized and description language model mediant
According to structure, obtain specification and description language model, should be noted this model be it is empty, the inside function description section need user from
Oneself goes to model.By OpenGeode load rule and description language model framework, specification and description language model modeling branch are provided
It holds.Specifically includes the following steps:
Step 1: software system structure being modeled based on AADL, obtains AADL model；
Step 2: using the ASN.1 based on CAS basic data type decimation rule and CAS complex data type decimation rule
Data generating algorithm is completed the element in the data acquisition system of AADL model, and according to element type, creation obtains corresponding
ASN.1 data type, and be stored in the data acquisition system of specification and description language model, it obtains needed for specification and description language model
Data.
Specification and the description for carrying out data in description language model using ASN.1 grammer, ASN.1 grammer is a kind of abstract language
Method indicates that the mode of use scope describes the definition of data, and there is no the concepts of specific data bits.Such as: 8 integers,
Just directly indicated using the range (- 32768,32767) of the integer.Therefore AADL model to specification and description language model
Master data decimation rule is as follows:
Table 1.1.AADL model to specification with description language model basic data type decimation rule
The compound data structure used in AADL model is mainly structural body and array, is mainly made in AADL model
The description of structural body is carried out with the subcomponent of data type, descriptor format is as follows:
<Data_Name>is the title of this data in this structure, and<Member_Name>is some in this data
The title of member, ": " describe the type of this member below, are a recursive structures.In a data
It, can be there are many member of<Member_Name>as this structural body in implementation.
It is as follows with the definition format of structural body in description language model standardizing:
The mode that array is described in AADL model is as follows:
<Array_Name>is the title of this array, and<Data_Name>is the type of element and one in this array
A recursive structure,<Array_Size>are the sizes of this array.
In SDL, the structure of array is described as follows:
Step 3: using the specification based on AADL structure of container to specification and description language model-container structure extraction rule
The upper-layer functionality module of behavior attachment in AADL model is established to specification with the completion of description language model framework generating algorithm and is retouched
State the mapping relations of function descriptive model frame in language model；It is arrived according to the upper-layer functionality module of behavior attachment in AADL model
The mapping relations of specification and function descriptive model frame in description language model, by the upper-layer functionality of behavior attachment in AADL model
Corresponding generate of content in module standardizes and description language model framework.
The main operating specification of the present invention is with description language model to the concrete function mould of the AADL system structure model described
Block is modeled, so needing to obtain the upper-layer functionality modular container for being wrapped in behavior attachment in AADL model, and will
This upper layer container is standardizing and is establishing corresponding mapping structure in description language model, includes behavior attachment in AADL model
The overall structure of container is as follows:
In said structure
<Package_Name>indicates the title wrapped in AADL model.
<Data_File_Name>indicates the title that external data types file is quoted in AADL model structure.
<Container_Name>includes the title of the container of current AADL Model B A (behavior attachment).
The variable that<Parameter_Name>current AADL model-container is interacted with the external world.
The type of<Data_Name>variable.
Local variable defined in<Local_Data_Name>current AADL model-container.
The title of<Annex_Name>AADL model behavior attachment.
The content of<Annex_Content>AADL model behavior attachment, main functional module modeling contents, and specification
The content to be extended with description language model extension.
Specification with include multiple Block in System container in description language model-container structure, between adjacent Block
It can be interacted by semaphore, include multiple Process between Block module, be also to pass through between adjacent Process
Semaphore interacts, and includes multiple Procedure between Process, and the scheduling process of each Procedure passes through state machine
It is scheduled.So container and external interaction are carried out using Parameter in AADL model, in specification and description language mould
Carry out container and external interaction using semaphore in type, thus specification with can will be in AADL model in description language model
Package be defined as a System, by the subprogram in AADL model be defined as specification with description language model in
Block and Process because the control flow of inside modules is entirely by the shape in behavior attachment in AADL model
State machine describes, either serial process or concurrent flow, but in specification is with state machine in description language model
For carrying out process scheduling, Procedure is for carrying out process description, so using Block and two layers of Process
Indicate the subprogram in AADL model, such user can directly model in Process, without consider with
The interaction of external environment.
To sum up, the decimation rule of the structure of container of AADL functional module corresponding specification and description language model-container structure
It is as follows:
Package cycling of elements in Rule 1:AADL model is specification and the System element in description language model.
Subprogram cycling of elements in Rule 2:AADL model is specification and the Block member in description language model
Element.
Subprogram.impl cycling of elements in Rule 3:AADL model is in specification and description language model
Process element.
Parameter in Rule 4:AADL model in Subprogram element is converted into specification and description language model
In signal, due to standardize with description language model in signal itself do not have transmitting signal ability, so each
Signal variable has required a signalroute, and the interaction of Lai Shixian process and outer signals are also required for simultaneously
One channel realizes the interaction of block and outer signals, simultaneously as Signal specification in description language model
It is not a data variable, signal is used only to carry out signal transmitting, so this signal does not carry out data operation
Ability, so specification with description language model in, each semaphore addition while, if it is desired to handle this signal
Amount needs to add a corresponding local variable in Process, and operation uses local variable, is used interchangeably semaphore, so
Each Parameter corresponding a signal, signalroute, channel, the set of local variable.
Data Access cycling of elements in Rule 5:AADL model in Subprogram is specification and description language mould
The statement of local variable in type, each Data Access are corresponded in a specification and description language model in Process
It is the variable locally stated.
SubProgram Access in Rule 6:AADL model in Subprogram corresponds to an external reference
Containing parameter semaphore signal (param) cannot directly operate semaphore in specification with description language model, institute
With containing parameter semaphore other than having corresponding signalroute and channel, it is also necessary to have type of correspondence parameter this in
Variable is stated in Process, when using this semaphore every time, first to this semaphore parameter pair in Process
The local variable answered is operated, and after completing corresponding operating, by the way that this variable is passed to parameter signal amount, is carried out with the external world
It is interactive, this process of external Subprogram is called in AADL, is corresponded in specification and description language model, is exactly first to exist
Different variable corresponding to semaphore is handled in Process, then variable is passed to signal in the form of parameter, together
Sample is by way of being passed in the form of parameter variable, to obtain corresponding return value, be saved in variable, if necessary to use
Subprogram return value just directly uses the corresponding variable of return value.
According to above-mentioned decimation rule, is generated and calculated with description language model framework using ASN.1 data generating algorithm and specification
Method extracts the functional module modeling environment in AADL model, obtains specification and description language mould in the functional module modeling environment
Data needed for type and specification and description language model framework.
Specifically, ASN.1 data generating algorithm of the invention is input with the data link table Data_A of AADL model, with rule
The data link table Data_S of model and description language model is output, is specifically included: the data link table Data_A of traversal AADL model
Middle element:
If element is Boolean type, an A-Boolean type is newly created, and be stored in specification and description language mould
The data link table Data_S of type；
If this element is Character type, new one length of creation is 1 A-IA5String type, and standardizes
With the data link table Data_S of description language model；
If this element is String type, length A-IA5String type identical with the element is newly created,
And the data link table Data_S of specification and description language model；
If this element is Integer type, one value of new creation A-Integer all identical with the element with digit
Type, and standardize the data link table Data_S with description language model；
If this element is Unsigned type, one value of new creation A- all identical with the element with digit
Unsigned type, and standardize the data link table Data_S with description language model；
If this element is Natual type, one value of new creation A-Unsigned all identical with the element with digit
Type, and it is stored in the data link table Data_S of specification Yu description language model；
If this element is Float type, one value of new creation A-Float class all identical with the element with digit
Type, and it is stored in the data link table Data_S of specification Yu description language model；
Finally return to the data link table Data_S of specification Yu description language model；
Specification and description language model framework generating algorithm of the invention is input with the behavior attachment in AADL model, with
The model framework of specification and description language model is output, specifically:
Package structure BAPackage where obtaining BA, according to the content creating specification and description language of BAPackage
The System structure SDL_System of model；
The BASubProgram structure BASubProgram where BA is obtained, is advised according to the content creating of BASubProgram
The Block structure SDL_Block of model and description language model；
The BASubProgramImpl structure BASubProgramImpl where BA is obtained, according to BASubProgramImpl
Content creating specification and description language model Block structure SDL_Process；
All parameters for traversing BASubProgram, add according to the content creating Signal of parameter, and by this Signal
It is added to SDL_Block, in SDL_System, if this parameter is input parameter, SDL_Block adds SignalInRoute,
SDL_System adds ChannelIn；If this parameter is output parameter, SDL_Block adds SignalOutRoute,
SDL_System adds ChannelOut；
All local datas for traversing BASubProgram, will be in all local data addition SDL_Process；
All external programs for traversing BASubProgram call, and call to each external program, traverse this external journey
All parameters that sequence is called, are added to SDL_Block, SDL_ according to the content creating Signal of parameter, and by this Signal
In System, if this parameter is input parameter, SDL_Block adds SignalInRoute, SDL_System addition
ChannelIn；If this parameter is output parameter, SDL_Block adds SignalOutRoute, SDL_System addition
ChannelOut；
The return value for obtaining BASubProgram, adds according to the content creating Signal of return value, and by this Signal
It is added to SDL_Block, in SDL_System, SDL_Block adds SignalOutRoute, SDL_System addition
ChannelOut；
SDL_Process is added in SDL_Block, SDL_Block is added in SDL_Process, by SDL_
Process is added in the model framework of specification and description language model.
For ease of understanding, the following are pseudocodes:
The invention also discloses a kind of tools realized based on specification with the AADL behaviour extended method of description language
CAS, the tool include:
For data needed for storage specification and description language model and specification and description language model framework specification and
Description language model intermediate data structure；
User interface build based on specification with description language by functional module of the user interface to AADL model
Mould；
Business layer interface, developer are completed based on ASN.1 data generating algorithm and are standardized and retouched by business layer interface
Predicate say model framework generating algorithm, from AADL model extract specification with data needed for description language model and standardize and retouch
Predicate says model framework；
Lasting layer interface, developer are completed by lasting layer interface to the specification of generation and depositing for description language model
Storage.
Specification and description language model intermediate data structure of the invention includes data structure and use for storing data
In the container data structures of storage specification and description language model framework；
Now data structure for storing data is illustrated:
Data abstraction class DataObject
The parent of all data types, for carrying out polymorphic operation, such underlying attribute member is as follows:
Table 1.2.DataObject attribute list
| Type | Definition: | Description |
| String | name | The title of the data type |
| String | type | The type of the data |
| DataObjectOP | operations | The corresponding interface of data |
Structural body class StructSDL
For the data structure of storage configuration body and array content, such underlying attribute member is as follows:
Table 1.3.StructSDL attribute list
Boolean Class BooleanSDL
For save Boolean type content data structure, such underlying attribute member is as follows:
Table 1.4.BooleanSDL attribute list
| Type | Definition: | Description |
| BoolanOP | Operations | The corresponding interface of the data structure. |
Character string class IA5StringSDL
For save character string type content data structure, such underlying attribute member is as follows:
Table 1.5.IA5String attribute list
| Type | Definition: | Description |
| int | Length | The length of character string |
| IA5StringOP | Operations | The corresponding interface of the data structure. |
Numeric class Numeric
For save numeric type content data structure, such underlying attribute member is as follows:
Table 1.6.Numeric attribute list
| Type | Definition: | Description |
| int | bitNum | The digit of Contemporary Digital type |
| Object | Max | The maximum value of this numeric type |
| Object | Min | The minimum value of this numeric type |
| NumericOP | Operations | The corresponding interface of the data structure. |
Integer class Integer
For save integer type content data structure, such underlying attribute member is as follows:
Table 1.7.Integer attribute list
| Type | Definition: | Description |
| IntegerOP | Operations | The corresponding interface of the data structure. |
The several classes of Float of floating-point
For save float content data structure, such underlying attribute member is as follows:
Table 1.8.Float attribute list
Now it is illustrated to for storage specification and the container data structures of description language model framework:
Abstract class SDLObject
The parent of all structure types, for carrying out polymorphic operation, such underlying attribute member is as follows:
Table 1.9.DataObject attribute list
| Type | Definition: | Description |
| String | type | The type of the structure. |
| ViewInfo | viewInfo | The corresponding graphical information of the structural element. |
| CIFLabel | label | The corresponding label information of the structural element |
Semaphore abstract class SignalObject
The parent of all semaphore types, for carrying out polymorphic operation, such underlying attribute member is as follows:
Table 1.10.SignalObject attribute list
| Type | Definition: | Description |
| String | name | The type of the structure. |
| String | authority | The corresponding graphical information of the structural element. |
| String | direction | The corresponding label information of the structural element |
| SignalObjectOP | operations | The corresponding interface of the element |
Printenv semaphore class SignalVariable
For indicating the class of the not semaphore of containing parameter, such underlying attribute member is as follows:
Table 1.11.SignalVariable attribute list
| Type | Definition: | Description |
| SDLData | value | This semaphore corresponds to the value of parameter. |
| SignalVariableOP | operations | The corresponding interface of the element. |
Containing parameter semaphore class SignalFunction
For indicate containing parameter semaphore class, such underlying attribute member is as follows:
Table 1.12.SignalFunction attribute list
Level class Level
For indicating container class containing level, such underlying attribute member is as follows:
Table 1.13.Level attribute list
| Type | Definition: | Description |
| String | name | The title of this level. |
| List<SignalObject> | externSignals | The semaphore list that outside transmitting is come in. |
| List<Procedure> | externProcedures | The function call list that outside transmitting is come in. |
| LevelOP | operations | The corresponding interface of the element. |
System class SystemSDL
For indicating system container class, such underlying attribute member is as follows:
Table 1.14.SystemSDL attribute list
| Type | Definition: | Description |
| List<BlockSDL> | blocks | The whole modules for including in system |
| List<SignalObject> | signals | The semaphore list of system. |
| List<SDLPipe> | channels | System and the extraneous channel interacted. |
| SystemSDLOP | operations | The corresponding interface of the element. |
Module class BlockSDL
For indicating system module container class, such underlying attribute member is as follows:
Table 1.15.BlockSDL attribute list
| Type | Definition: | Description |
| List<ProcessSDL> | process | The whole processes for including in module |
| List<SignalObject> | signals | The semaphore list of module. |
| List<SDLPipe> | signalRoute | Module and the extraneous signal interacted route. |
| BlockSDLOP | operations | The corresponding interface of the element. |
Process class ProcessSDL
For indicating system process container class, such underlying attribute member is as follows:
Table 1.16.ProcessSDL attribute list
| Type | Definition: | Description |
| List<SDLData> | dcls | Local variable defined in process |
| List<SignalObject> | signals | The semaphore list of process. |
| ProcessSDLOP | operations | The corresponding interface of the element. |
Pipeline-like SDLPipe
For indicating system, the class of module and the extraneous mode interacted, such underlying attribute member is as follows:
Table 1.17.SDLPipe attribute list
| Type | Definition: | Description |
| String | name | The title of the channel. |
| List<String> | pipes | Whole routings in the channel. |
| SDLPipeOP | operations | The corresponding interface of the element. |
Data class SDLData
For indicating the class of the variable used in container, such underlying attribute member is as follows:
Table 1.18.SDLData attribute list
| Type | Definition: | Description |
| DataObject | type | The type of this variable. |
| String | name | The name of this variable. |
| Object | value | The value of this variable. |
| SDLDataOP | operations | The corresponding interface of the element. |
Business layer interface of the invention:
SDLCoreService class is defined in operation layer, static interface is stated in such, provides business for view layer
Operation, while Data Persistence Layer object is injected in this layer, for carrying out the interaction of operation layer and Data Persistence Layer.
The design of SDLCoreService class is as follows:
Table 1.19.SDLCoreService interface table
Lasting layer interface of the invention:
In CAS tool, view layer needs the pr file and ASN.1 data definition of operating specification and description language model
Asn file, in addition to this, the software systems are also supported with description language model Business Logic to export specification as xml text
Part, json file, txt text file.Data Persistence Layer Interface design is as follows:
The lasting layer interface table of table 1.20.
Claims (10)
1. a kind of AADL behaviour extended method based on specification with description language, it is characterised in that: the following steps are included:
Step 1: software system structure being modeled based on AADL, obtains AADL model；
Step 2: using ASN.1 data generating algorithm and specification and description language model framework generating algorithm, extracting AADL model
In functional module modeling environment, data needed for obtaining specification with description language model and specification and description language model frame
Frame generates specification and description language based on specification and data needed for description language model and specification and description language model framework
Say modeling environment.
2. a kind of AADL behaviour extended method based on specification with description language according to claim 1, feature
Be: the ASN.1 data generating algorithm is input with the data acquisition system of AADL model, to standardize the number with description language model
Be combined into output according to collection, specifically include: the element in the data acquisition system of traversal AADL model, according to element type, creation obtain with
Its corresponding ASN.1 data type, and be stored in the data acquisition system of specification and description language model.
3. a kind of AADL behaviour extended method based on specification with description language according to claim 1, feature
Be: the specification includes: with description language model framework generating algorithm
The upper-layer functionality module of behavior attachment in AADL model is established to specification and function descriptive model frame in description language model
The mapping relations of frame；
According to the upper-layer functionality module of behavior attachment in AADL model to specification and function descriptive model frame in description language model
The mapping relations of frame, by the corresponding generation specification of content and description language in the upper-layer functionality module of behavior attachment in AADL model
Model framework.
4. a kind of AADL behaviour expander tool based on specification with description language, it is characterised in that: including realizing that right is wanted
Seek the tool described in 1 to 3 any one based on specification with the AADL behaviour extended method of description language.
5. a kind of AADL behaviour expander tool based on specification with description language according to claim 4, feature
Be: including for data needed for storage specification and description language model and specification and description language model framework specification and
Description language model intermediate data structure.
6. a kind of AADL behaviour expander tool based on specification with description language according to claim 4, feature
It is: including user interface, building based on specification and description language is carried out by functional module of the user interface to AADL model
Mould.
7. a kind of AADL behaviour expander tool based on specification with description language according to claim 5, feature
It is: the specification and the data structure that description language model intermediate data structure includes for storing data, the data knot
Structure includes:
Data abstraction class, for the parent of all data types, for carrying out polymorphic operation；
Structural body class, the data structure for storage configuration body and array content；
Boolean Class, the data structure of the content for saving Boolean type；
Character string class, the data structure of the content for saving character string type；
Numeric class, the data structure of the content for saving numeric type；
Integer class, the data structure of the content for saving integer type；
Floating-point is several classes of, the data structure of the content for saving float.
8. a kind of AADL behaviour expander tool based on specification with description language according to claim 7, feature
It is: the specification and the appearance that description language model intermediate data structure includes for storage specification and description language model framework
Device data structure, the container data structures include:
Abstract class, the parent of all structure types, for carrying out polymorphic operation；
Semaphore abstract class, the parent of all semaphore types, for carrying out polymorphic operation；
Printenv semaphore class, for indicating the class of the not semaphore of containing parameter；
Containing parameter semaphore class, the class of the semaphore for indicating containing parameter；
Level class, for indicating container class containing level；
System class, for indicating system container class；
Module class, for indicating system module container class；
Process class, for indicating system process container class；
It is pipeline-like, for indicating the class of system, module and the extraneous mode interacted；
Data class, the class of the variable for indicating to use in container；
The system is the software systems described using AADL model.
9. a kind of AADL behaviour expander tool based on specification with description language according to claim 4, feature
Be: including business layer interface, developer is completed based on ASN.1 data generating algorithm and is standardized and retouched by business layer interface
Predicate say model framework generating algorithm, from AADL model extract specification with data needed for description language model and standardize and retouch
Predicate says model framework.
10. a kind of AADL behaviour expander tool based on specification with description language according to claim 4, feature
Be: including lasting layer interface, developer is completed by lasting layer interface to the specification of generation and depositing for description language model
Storage.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201910475574.7A CN110262794B (en) | 2019-06-03 | 2019-06-03 | AADL (architecture analysis and design language) functional behavior expanding method and tool based on specification and description language |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201910475574.7A CN110262794B (en) | 2019-06-03 | 2019-06-03 | AADL (architecture analysis and design language) functional behavior expanding method and tool based on specification and description language |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN110262794A true CN110262794A (en) | 2019-09-20 |
| CN110262794B CN110262794B (en) | 2021-10-19 |
Family
ID=67916445
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201910475574.7A Active CN110262794B (en) | 2019-06-03 | 2019-06-03 | AADL (architecture analysis and design language) functional behavior expanding method and tool based on specification and description language |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN110262794B (en) |
Cited By (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110955423A (en) * | 2019-11-28 | 2020-04-03 | 北京旋极信息技术股份有限公司 | Model design method, system, storage medium and terminal |
| CN111209203A (en) * | 2020-01-06 | 2020-05-29 | 华东师范大学 | Model verification method based on source code |
| CN111459472A (en) * | 2020-04-01 | 2020-07-28 | 杭州华望系统科技有限公司 | Model element visual expression method for MBSE (Multi-Block se) graphical modeling software |
| CN112506516A (en) * | 2020-11-30 | 2021-03-16 | 广州市智能软件产业研究院 | Code generation method of security protocol, computer and storage medium |
| CN113031934A (en) * | 2021-04-06 | 2021-06-25 | 卡斯柯信号有限公司 | Interlocking data safety conversion method for formal verification and translator |
| CN114741123A (en) * | 2022-02-11 | 2022-07-12 | 华东师范大学 | Onboard software formal verification system |
| CN115758789A (en) * | 2022-12-01 | 2023-03-07 | 金航数码科技有限责任公司 | Software architecture design and architecture transmission method of complex real-time embedded system |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108376221A (en) * | 2018-02-27 | 2018-08-07 | 哈尔滨工业大学 | A kind of software system security verification and appraisal procedure based on AADL model extensions |
| CN108491196A (en) * | 2018-02-07 | 2018-09-04 | 南京航空航天大学 | A kind of graphical behaviour modeling methods of AADL |
| CN109522007A (en) * | 2018-10-16 | 2019-03-26 | 南京航空航天大学 | SysML model towards safety-critical embedded system is to AADL model automatic switching method |
| CN109558117A (en) * | 2018-10-19 | 2019-04-02 | 南京航空航天大学 | The C code automatic generation method of the refinement of AADL model and its support towards AEROSPACE APPLICATION |
-
2019
- 2019-06-03 CN CN201910475574.7A patent/CN110262794B/en active Active
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108491196A (en) * | 2018-02-07 | 2018-09-04 | 南京航空航天大学 | A kind of graphical behaviour modeling methods of AADL |
| CN108376221A (en) * | 2018-02-27 | 2018-08-07 | 哈尔滨工业大学 | A kind of software system security verification and appraisal procedure based on AADL model extensions |
| CN109522007A (en) * | 2018-10-16 | 2019-03-26 | 南京航空航天大学 | SysML model towards safety-critical embedded system is to AADL model automatic switching method |
| CN109558117A (en) * | 2018-10-19 | 2019-04-02 | 南京航空航天大学 | The C code automatic generation method of the refinement of AADL model and its support towards AEROSPACE APPLICATION |
Non-Patent Citations (3)
| Title |
|---|
| MARCO LATTUADA; FABRIZIO FERRANDI; MAXIME PERROTIN: ""Computer assisted design and integration of FPGA accelerators in aerospace systems"", 《2016 IEEE AEROSPACE CONFERENCE》 * |
| 胡军: ""一种基于ＡＡＤＬ的ＩＭＡ系统配置信息的正确性检测方法"", 《南京航空航天大学学报》 * |
| 许金淼: ""系统架构描述语言AADL的功能行为建模扩展"", 《计算机科学与探索》 * |
Cited By (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110955423A (en) * | 2019-11-28 | 2020-04-03 | 北京旋极信息技术股份有限公司 | Model design method, system, storage medium and terminal |
| CN110955423B (en) * | 2019-11-28 | 2023-05-26 | 北京旋极信息技术股份有限公司 | Model design method, system, storage medium and terminal |
| CN111209203A (en) * | 2020-01-06 | 2020-05-29 | 华东师范大学 | Model verification method based on source code |
| CN111209203B (en) * | 2020-01-06 | 2022-03-08 | 上海丰蕾信息科技有限公司 | Model verification method based on source code |
| CN111459472A (en) * | 2020-04-01 | 2020-07-28 | 杭州华望系统科技有限公司 | Model element visual expression method for MBSE (Multi-Block se) graphical modeling software |
| CN111459472B (en) * | 2020-04-01 | 2022-06-07 | 杭州华望系统科技有限公司 | Visual expression method of model elements for MBSE (moving bed library) graphical modeling software |
| CN112506516A (en) * | 2020-11-30 | 2021-03-16 | 广州市智能软件产业研究院 | Code generation method of security protocol, computer and storage medium |
| CN113031934A (en) * | 2021-04-06 | 2021-06-25 | 卡斯柯信号有限公司 | Interlocking data safety conversion method for formal verification and translator |
| CN113031934B (en) * | 2021-04-06 | 2022-07-26 | 卡斯柯信号有限公司 | Interlocking data safety conversion method for formal verification and translator |
| CN114741123A (en) * | 2022-02-11 | 2022-07-12 | 华东师范大学 | Onboard software formal verification system |
| CN115758789A (en) * | 2022-12-01 | 2023-03-07 | 金航数码科技有限责任公司 | Software architecture design and architecture transmission method of complex real-time embedded system |
| CN115758789B (en) * | 2022-12-01 | 2023-11-17 | 金航数码科技有限责任公司 | Software architecture design and architecture transfer method of complex real-time embedded system |
Also Published As
| Publication number | Publication date |
|---|---|
| CN110262794B (en) | 2021-10-19 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN110262794A (en) | A kind of AADL behaviour expanding method and tool based on specification with description language | |
| Tisi et al. | On the use of higher-order model transformations | |
| CN106371813B (en) | A kind of electric vehicle motor controller method for producing software based on Simulink | |
| US7865350B1 (en) | Partitioning a model in modeling environments | |
| Ramaji et al. | Interpreted information exchange: Systematic approach for BIM to engineering analysis information transformations | |
| Clarke et al. | Variability modelling in the ABS language | |
| Wood et al. | A model-driven development approach to mapping UML state diagrams to synthesizable VHDL | |
| CN111880784B (en) | SIMSCRIPT language-oriented discrete event simulation graphical modeling method | |
| CN101673198A (en) | Method for verifying consistency of dynamic behavior in UML model and time-sequence contract | |
| CN110222318A (en) | Data generating tool development approach based on XML | |
| CN103605556A (en) | Virtual test subject integrally-constructing system and method | |
| Wehrmeister et al. | GenERTiCA: A tool for code generation and aspects weaving | |
| Filipovikj et al. | Integrating pattern-based formal requirements specification in an industrial tool-chain | |
| CN110209389A (en) | A kind of data generating tool development system based on XML | |
| CN113626026A (en) | Code generation method supporting complex model structure conversion | |
| McInnes et al. | Formalizing functional flow block diagrams using process algebra and metamodels | |
| CN104778323A (en) | Method for simulating complex equipment operation process integrating multisource performance analysis data | |
| Yoo et al. | Verification of PLC programs written in FBD with VIS | |
| JP2011515755A (en) | Development method and apparatus for reserved component container base software | |
| Alshareef et al. | An an approach for activity-based DEVS model specification | |
| Tessier et al. | A component-based methodology for embedded system prototyping | |
| Vepsäläinen et al. | Tool support for the UML automation profile-for domain-specific software development in manufacturing | |
| Salay et al. | Managing models through macromodeling | |
| Horváth et al. | Hardware-software allocation specification of ima systems for early simulation | |
| Denckla et al. | Stream-and state-based semantics of hierarchy in block diagrams |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |