Formalizing the Concept Phase of Product Development

被引：2
|
作者：
Schuts, Mathijs [1 ]
Hooman, Jozef [2 ,3 ]
机构：
[1] Philips Healthcare, Best, Netherlands
[2] Embedded Syst Innovat TNO, Eindhoven, Netherlands
[3] Radboud Univ Nijmegen, NL-6525 ED Nijmegen, Netherlands
来源：
FM 2015: FORMAL METHODS | 2015年 / 9109卷
关键词：
D O I：
10.1007/978-3-319-19249-9_43
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：605 / 608
页数：4
相关论文
共 50 条
  • [1] Product Development Concept with Product Sustainability
    Ishioka, Masaru
    Yasuda, Kazuhiko
    PROCEEDINGS OF PICMET 09 - TECHNOLOGY MANAGEMENT IN THE AGE OF FUNDAMENTAL CHANGE, VOLS 1-5, 2009, : 1656 - +
  • [2] CONCEPT OF VIRTUAL PRODUCT DEVELOPMENT
    Miltenovic, Vojislav
    Veres, Miroslav
    Banic, Milan
    SIXTH INTERNATIONAL SYMPOSIUM ABOUT FORMING AND DESIGN IN MECHANICAL ENGINEERING, 2010, : 7 - 12
  • [3] Product concept development as a conscious resource
    Perttula, Matti K.
    Saaskilahti, Mikko T.
    PROCEEDINGS OF NORDDESIGN 2004: PRODUCT DEVELOPMENT IN CHANGING ENVIRONMENT, 2004, : 42 - 50
  • [4] A product platform concept development method
    Park, Jaeil
    Shin, Dongmin
    Insun, Park
    Hyemi, Hyun
    JOURNAL OF ENGINEERING DESIGN, 2008, 19 (06) : 515 - 532
  • [5] Product Development: From Concept to Market
    Jalalabadi, Faryan
    Sameri, Aryan
    Reece, Edward M.
    SEMINARS IN PLASTIC SURGERY, 2018, 32 (04) : 191 - 195
  • [6] PDCS - a product definition and customisation system for product concept development
    Chen, CH
    Khoo, LP
    Yan, W
    EXPERT SYSTEMS WITH APPLICATIONS, 2005, 28 (03) : 591 - 602
  • [7] Diaporthe: formalizing the species-group concept
    Norphanphoun, C.
    Gentekaki, E.
    Hongsana, S.
    Jayawardena, R.
    Senanayake, I. C.
    Manawasinghe, I. S.
    Abeywickrama, P. D.
    Bhunjun, C. S.
    Hyde, K. D.
    MYCOSPHERE, 2022, 13 (01) : 752 - 819
  • [8] Clinical Development of a Cytomegalovirus DNA Vaccine: From Product Concept to Pivotal Phase 3 Trial
    Smith, Larry R.
    Wloch, Mary K.
    Chaplin, Jennifer A.
    Gerber, Michele
    Rolland, Alain P.
    VACCINES, 2013, 1 (04):
  • [9] Integrated fuzzy logic-based model for product modularization during concept development phase
    Nepal, B
    Monplaisir, L
    Singh, N
    INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, 2005, 96 (02) : 157 - 174
  • [10] Delegated Concept Testing in New Product Development
    Schlapp, Jochen
    Schumacher, Gerrit
    OPERATIONS RESEARCH, 2022, : 2732 - 2748
12345