基于Event-B的动态车载导航系统架构设计  

作　　者：祁晖[1] 

机构地区：[1]长春理工大学计算机科学技术学院,吉林省长春市130022

出　　处：《电子技术与软件工程》2016年第22期256-257,共2页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

基　　金：国家"863"计划项目:未来一体化标识网络关键技术和示范;编号2015AA015701

摘　　要：传统的软件架构设计一般采用非形式化的方法,通过各类图表从不同角度对系统进行描述,这种架构设计方式依赖设计者的经验知识,无法保证设计质量。本文将形式化建模引入架构设计,通过严格的形式化定义描述系统运行过程及需求约束,在保证模型正确的基础上导出架构设计,从而保证架构设计质量。

关 键 词：EVENT-B 形式化建模 软件架构 动态车载导航系统 

分 类 号：U463.67[机械工程—车辆工程]