论文研究-实时嵌入式构件模型组装方法及时间性推理.pdf

【文件属性】：

文件名称：论文研究-实时嵌入式构件模型组装方法及时间性推理.pdf

文件大小：742KB

文件格式：PDF

更新时间：2022-10-02 16:45:37

论文研究

针对实时嵌入式系统特点，提出一种可行的具有较好普适性的软构件模型及构件组装机制，使用形式化方法描述构件接口规约及组装规约，并给出构件时间性的推理方法，旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。