学术论文

      General-Service Ballistic Computer Programming Based on B-Method

      Abstract:
      Formal methods offer the promise of significant improvement on quality and reliability of critical embedded software. B-Method is employed to develop general-service ballistic computer programs in the paper, each of which can be adapted to a family of service/weapon-specific ballistic computers. Based on the structuring mechanisms of B-method, a unified approach is proposed to systematically control the complexity of ballistic parameters in the process of type and operation refinement, and ultimately a series of high reliable, reusable, and scalable programs are produced. Experiences with the application of the method and tools are also discussed.
      Author: ZHENG Yu-jun [1] ZHANG Zi-qiu [2] WANG Jin-quan [3] XUE Jin-yun [4]
      作者单位: Institute of Software, Chinese Academy of Sciences, Beijing 100080, China;System Engineering Research Institute of Engineer Equipment, Beijing 100093, China Armament Demonstration and Research Center, Beijing 100034, China System Engineering Research Institute of Engineer Equipment, Beijing 100093, China Institute of Software, Chinese Academy of Sciences, Beijing 100080, China;College of Computer Information Engineering, Jiangxi Normal University, Nanchang 330027 Jiangxi,China
      年,卷(期): 2006, 2(3)
      分类号: TJ0
      机标分类号: TP3 TN9
      在线出版日期: 2006年11月13日
      基金项目: 国家自然科学基金,国家重点基础研究发展计划(973计划)