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

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