【摘 要】
：
模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模
【机 构】
：
清华大学软件学院,信息系统安全教育部重点实验室（清华大学）,北京大学信息科学技术学院
【基金项目】
：
国家自然科学基金(62022046,U1911401,61802223),科技部重点研发计划(2019YFB1706200),华为清华可信研究项目(20192000794)。
论文部分内容阅读
模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型,然而,各种工具对于数据流模型的代码生成能力却参差不齐,特别是对于数据分支组件的支持,当前主流的建模工具都采用各种方式来回避复杂的分支建模及对应的代码生成.但是,分支建模是非常重要的,使用分支组件可以更清晰地表现出数据流的数据传递逻辑.为了解决复杂分支建模带来的代码生成难题,针对具有复杂分支组合的数据流模型.提出了一
其他文献
嵌入式实时系统在安全关键领域变得越来越重要,其广泛应用于航空航天、汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高,在系统开发的早期设计阶段
乡村田园是中国人情感的港湾与归属,随着城市化进程的不断加快、美丽乡村规划建设的大力推进,原先的农村发生了巨大变迁,一些富有历史文化气息的村落渐行消逝,甚至整体拆迁全
【目的】探讨不同降水年型下灌区春玉米适宜的秋浇模式。【方法】以河套灌区沙壕渠试验站为例,基于所收集的田间实测数据对SWAP-WOFOST模型进行了参数率定和验证,并利用率定
二轮《萧山市志》以1005万字的篇幅一举夺得全国新修县(市、区)志字数之首,其中尤其引人注目的是大量的注释(该志主要体裁之一),还有第5册共300万字的“社会课题调查”,以及
商务印书馆,1897年由夏瑞芳、鲍咸恩、鲍咸昌、高凤池等创设于上海,它的创立标志着中国现代出版业的开始。“在近百年思想文化和学术史上,北京大学和商务印书馆是两大重镇,是
《江苏工艺美术志》为二轮《江苏省志》10本特色专志之一,由江苏省地方志办公室组织编纂,江苏省工艺美术协会承编,南京大学历史学院徐艺乙教授主编,2020年8月由凤凰出版社出
【目的】更精确地估算怀来地区夏玉米蒸散量(ET)。【方法】利用怀来站点2013年的气象数据与涡度相关数据,分别采用最小二乘法与蚁群算法优化冠层阻力Jarvis模型(JA模型)和耦
【目的】探究畦灌入渗参数及灌水质量变化规律及其与灌水历时的关系。【方法】基于夏玉米-冬小麦轮作实测数据,采用winSRFR模型模拟灌水过程,计算入渗参数和灌水均匀度。【结
基于交互行为的用户特征提取和身份认证方法是一种重要的身份识别方式,但高频用户的交互行为模式和操作习惯相对稳定,易被欺诈者模仿,使得现有模型对此类欺诈行为的误判较高.