计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
z3期
226-229,244
,共5页
李允%桂盛霖%陈更%罗蕾
李允%桂盛霖%陳更%囉蕾
리윤%계성림%진경%라뢰
嵌入式实时软件%模型驱动%模型开发环境%功能安全%实时性
嵌入式實時軟件%模型驅動%模型開髮環境%功能安全%實時性
감입식실시연건%모형구동%모형개발배경%공능안전%실시성
为保证嵌入式实时软件的功能安全和实时性,基于模型驱动开发方法,研究了嵌入式实时软件的模型开发环境的体系结构,设计了一个嵌入式实时软件模型开发环境的原型MDE环境.其中应用任务模型使用两层模型机制:上层模型用于建模应用任务的功能行为与性能特征并支持形式化功能安全验证和实时性分析,下层模型用于模型测试和自动生成支持嵌入式实时操作系统API接口和驱动函数接口的应用任务源代码.通过工具集成实现了建模、分析验证、代码生成和测试等嵌入式实时软件的完整模型化开发过程,为将来进一步完善和改进嵌入式实时软件模型开发环境的构建技术提供了应用验证.
為保證嵌入式實時軟件的功能安全和實時性,基于模型驅動開髮方法,研究瞭嵌入式實時軟件的模型開髮環境的體繫結構,設計瞭一箇嵌入式實時軟件模型開髮環境的原型MDE環境.其中應用任務模型使用兩層模型機製:上層模型用于建模應用任務的功能行為與性能特徵併支持形式化功能安全驗證和實時性分析,下層模型用于模型測試和自動生成支持嵌入式實時操作繫統API接口和驅動函數接口的應用任務源代碼.通過工具集成實現瞭建模、分析驗證、代碼生成和測試等嵌入式實時軟件的完整模型化開髮過程,為將來進一步完善和改進嵌入式實時軟件模型開髮環境的構建技術提供瞭應用驗證.
위보증감입식실시연건적공능안전화실시성,기우모형구동개발방법,연구료감입식실시연건적모형개발배경적체계결구,설계료일개감입식실시연건모형개발배경적원형MDE배경.기중응용임무모형사용량층모형궤제:상층모형용우건모응용임무적공능행위여성능특정병지지형식화공능안전험증화실시성분석,하층모형용우모형측시화자동생성지지감입식실시조작계통API접구화구동함수접구적응용임무원대마.통과공구집성실현료건모、분석험증、대마생성화측시등감입식실시연건적완정모형화개발과정,위장래진일보완선화개진감입식실시연건모형개발배경적구건기술제공료응용험증.
