Incorporating Formal Techniques into Industrial Practice: an Experience Report

作     者：Osaiweran, Ammar Schuts, Mathijs Hooman, Jozef Wesselius, Jacco 

作者机构：Eindhoven Univ Technol Eindhoven Netherlands Philips Healthcare Best Netherlands Radboud Univ Nijmegen Nijmegen Netherlands Embedded Syst Inst Eindhoven Nijmegen Netherlands 

出 版 物：《ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE》 (理论计算机科学电子札记)

年 卷 期：2013年第295卷

页      面：49-63页

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：ITEA project Care4Me COMMIT project Allegio 

主　　题：component-based development formal methods analytical software design test-driven development software quality 

摘      要：We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD: Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system.