一种嵌入式实时系统软件的形式化开发方法  

A Formal Software Development Method for Embedded Real-time Systems

作　　者：杨捷[1] 毋国庆[2] 

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072 [2]武汉大学计算机科学系,武汉430072

出　　处：《计算机工程与应用》2002年第13期26-29,80,共5页Computer Engineering and Applications

基　　金：国家自然科学基金(编号:69873035); 高等学校博士点专项科研基金

摘　　要：领域特征突出的嵌入式实时系统软件开发,既需要严格地保证可靠性又要充分反映实时和交互行为特征,针对这种需要,该文提出了一种从需求分析到体系结构建模直至使用组件技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域以及各软件开发阶段中的形式化模型和工具的现状和特点后,引入需求分析的模型和体系结构建模的描述语言,分析其长处和不足,最后对该方法与移动组件结合的前景进行了展望。In the software development ,especially in such a typically specific doma in as embedded real-time system software,systematic way that can not only sev erely assure reliability but also fully reflect real -time and reactively beh avioral characteristics is needed.This paper tends to advance a formal techniqu e that starts from requirement analysis to architectural modeling,and ends at ultimate concrete software implied with component technology.The structure of embedded real-time system and its event-and time-driven mechanism decide the needs of guidance offered by some formal method for the design and development in this area.After introducing current status and features of the formal mod els and tools in each software engineering field and respective software develop ment phase,the new requirement analysis model and the corresponding software architecture modeling language that is presented here get an assay of its good q ualities and incompleteness.

关 键 词：嵌入式实时系统软件 形式化开发方法 软件工程 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]