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

领域特征突出的嵌入式实时系统软件开发,既需要严格地保证可靠性又要充分反映实时和交互行为特征,针对这种需要,该文提出了一种从需求分析到体系结构建模直至使用组件技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域以及各软件开发阶段中的形式化模型和工具的现状和特点后,引入需求分析的模型和体系结构建模的描述语言,分析其长处和不足,最后对该方法与移动组件结合的前景进行了展望。

A Formal Software Development Method for Embedded Real-time Systems

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.