文献类型：学位论文

中文题名：嵌入式系统软硬件划分和综合的一种形式化方法

作者：刘冬梅[1];

机构：[1]华东理工大学;

导师：宋国新;华东理工大学

授予学位：硕士

语种：中文

中文关键词：嵌入式系统;形式化方法;协同设计;软硬件划分;软硬件综合;并行语言PL

摘要：该文研究嵌入式系统的软硬件划分和综合的技术.提出了一种基于并行语言pl的协同设计方法.着重介绍了基于pl的软硬件划分方法,软硬件协同综合技术.pl的形式化语义为软硬件划分和综合的可靠性提供了理论保障.该文的主要工作包括：1.提出了一种基于csp的并行语言pl,建立了pl的操作语义和代数语义.pl可以作为描述嵌入式系统的基本语言.2.建立了一种基于并行语言pl的形式化软硬件体系结构;提出了一种基于基本调度块（bsb）的并行系统优化划分方法;另外,语法制导的划分规则可以用于系统的划分和软硬件成分的组合.3.提出了基于pl的软硬件综合方法.基于并行语言pl的操作语义,提出一组将语言构造模块转化为硬件电路的规则,将程序转化成具有相同功能的硬件电路,硬件实现的正确性可以通过转化规则得以保证.