On the basis of requirements description model RTRSM, this paper presents an abstract dynamic execution model(DEM)of real time software systems which can integrate with control flow and data flow, and then describes a checking method based on configuration covering and proposes its corresponding algorithm.
以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 。
On the basis of requirements description model HRFSM (hierarchical finite state machines based on rules), a DEM(dynamic execution model) of embedded real-time systems software and a checking method based on DEM are presented in this paper.
以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法。
Mapping real-time multitasking execution model to Windows NT;
实时多任务执行模型到Windows NT的映射
Mapping real-time multitasking execution model to codes under VxWorks;
实时多任务执行模型到VxWorks的代码映射
The research of system execution model based on a new active database system model;
基于一个新的主动数据库模型的系统执行模型的研究
Research of simulation executing operational goals method;
模拟执行操作目标的方法研究
Multi-scan KeyGraph implement model
多遍扫描KeyGraph执行模型
Executive Model of Petri Net Applied in the PLC Control Program
应用于PLC控制程序的Petri网执行模型
A CONFLUENT ACTIVE RULE EXECUTION MODEL WITH MAXIMAL PARALLELISM
具有最大并行度的合流性主动规则执行模型
The Research on Active Rule and Execute Model in Active Database
主动数据库中的主动规则和执行模型的研究
An Automatic Execute Model of Object-Oriented Program And The Research of Algorithm in Experiment
面向对象程序自动执行模型及实验算法研究
An Execution Module of Transaction for Active Real-time Embedded Database ARTs-EDB;
嵌入式主动实时数据库ARTs-EDB的事务执行模型
The Research and Implementation of the Cache-Coherent Protocol Based on the OLSM Execution Model;
基于OLSM执行模型的Cache一致性协议研究与实现
Research and Realization of Executable Model Tool Based on MOF;
基于MOF的可执行模型工具的研究与实现
executable work-load model
可执行工作负荷模型
Model of Subjective Behavior Deviation of Policy Implementor;
政策执行者主观行为偏差的模型分析
The functional framework of MES in Refining Chemical Industry;
炼化行业制造执行系统功能框架模型
The action you executed requires a Database Model document.
执行该动作需要有数据库模型文档。
portability of executable work-load model
可执行工作负荷模型的可移植性
construction of an executable work-load model
可执行工作负荷模型的构造
describe the function(s) performed by each of the layers in the SS7 model
描述 ss7 模型每一层执行的功能
Model of Executive Functioning As Predictor of Children s Mathematical Ability;
儿童执行功能对数学能力的预测模型
Research on Intrusion Model Reconstruction from Execution-Trace
基于程序执行流构建入侵模型的研究
Analysis of safety execution based on interpretative structure model
基于解释结构模型的安全执行力分析