Formalizing the concept phase of product development

Authors :: Schuts, M.
Hooman, J.
Source :: Bjorner, N.Boer, F. de, 20th International Symposium on Formal Methods, FM 2015; Oslo; Norway; 24 June 2015 through 26 June 2015, 9109, 605-608
Publication Year :: 2015
Publisher :: Springer Verlag, 2015.
Abstract: We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing Switzerland 2015.

Subjects :: Model checking
TS - Technical Sciences
Industrial Innovation
Formal techniques
Interventional
Formal methods
X-ray system
HOL - Holst
Formal model
Product development
Industry
Nano Technology
Model-checking techniques
Product realisation

Language :: English
Database :: OpenAIRE
Journal :: Bjorner, N.Boer, F. de, 20th International Symposium on Formal Methods, FM 2015; Oslo; Norway; 24 June 2015 through 26 June 2015, 9109, 605-608
Accession number :: edsair.dedup.wf.001..746d135ccfdc640da4c4779c9ac07a20

Tools