Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Ist Teil von
Electronic notes in theoretical computer science, 2013-05, Vol.295, p.49-63
Ort / Verlag
Elsevier B.V
Erscheinungsjahr
2013
Link zum Volltext
Quelle
EZB Electronic Journals Library
Beschreibungen/Notizen
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.