IDEAS home Printed from https://ideas.repec.org/a/wly/syseng/v21y2018i6p593-608.html
   My bibliography  Save this article

A mathematical model of verification strategies

Author

Listed:
  • Alejandro Salado
  • Hanumanthrao Kannan

Abstract

The field of systems engineering has recently experienced a new push for unveiling its scientific foundations and using them to inform better practice. The majority of the research effort towards a theory of systems engineering has concentrated on the early phases of the system's lifecycle, especially in the areas of problem formulation and system architecture and design. However, and despite their importance for system success, the design of verification strategies has received little attention. Current work is of procedural nature, providing guidance instead of enabling computation, or is specific to a particular verification case. As a result, the definition of verification strategies in practice continues to be driven by heuristics and best practices. This has shown to be suboptimal. In order to fill in this gap, this paper contributes to the theory of systems engineering with a mathematical model of verification strategies. The mathematical model is generic, capturing verification comprehensively, and enables computation. First, a descriptive case is presented to facilitate understanding how the mathematical model relates to practice. Second, a quantitative case is presented to justify the need of the model.

Suggested Citation

  • Alejandro Salado & Hanumanthrao Kannan, 2018. "A mathematical model of verification strategies," Systems Engineering, John Wiley & Sons, vol. 21(6), pages 593-608, November.
    • Handle: RePEc:wly:syseng:v:21:y:2018:i:6:p:593-608
    DOI: 10.1002/sys.21463
    as

    Download full text from publisher

    File URL: https://doi.org/10.1002/sys.21463
    Download Restriction: no
    File URL: https://libkey.io/10.1002/sys.21463?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    References listed on IDEAS

    as
    1. Christoph H. Loch & Christian Terwiesch, 1998. "Communication and Uncertainty in Concurrent Engineering," Management Science, INFORMS, vol. 44(8), pages 1032-1048, August.
    2. Albert Y. Ha & Evan L. Porteus, 1995. "Optimal Timing of Reviews in Concurrent Design for Manufacturability," Management Science, INFORMS, vol. 41(9), pages 1431-1447, September.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Christian Terwiesch & Christoph H. Loch, 1999. "Measuring the Effectiveness of Overlapping Development Activities," Management Science, INFORMS, vol. 45(4), pages 455-465, April.
    2. Stefan Thomke & David E. Bell, 2001. "Sequential Testing in Product Development," Management Science, INFORMS, vol. 47(2), pages 308-323, February.
    3. Joglekar, Nitindra R., 2003. "Performance of coupled product development activities with a deadline," Working papers WP 4122-00., Massachusetts Institute of Technology (MIT), Sloan School of Management.
    4. Gülru F. Özkan-Seely & Cheryl Gaimon & Stylianos Kavadias, 2015. "Dynamic Knowledge Transfer and Knowledge Development for Product and Process Design Teams," Manufacturing & Service Operations Management, INFORMS, vol. 17(2), pages 177-190, May.
    5. Nitindra R. Joglekar & Ali A. Yassine & Steven D. Eppinger & Daniel E. Whitney, 2001. "Performance of Coupled Product Development Activities with a Deadline," Management Science, INFORMS, vol. 47(12), pages 1605-1620, December.
    6. Jeremy Hutchison-Krupat, 2018. "Communication, Incentives, and the Execution of a Strategic Initiative," Management Science, INFORMS, vol. 64(7), pages 3380-3399, July.
    7. Sosa, Manuel E., 2003. "Factors that influence technical communication in distributed product development : an empirical study in the telecommunications industry," Working papers WP 4123-00., Massachusetts Institute of Technology (MIT), Sloan School of Management.
    8. Thomas A. Roemer & Reza Ahmadi, 2004. "Concurrent Crashing and Overlapping in Product Development," Operations Research, INFORMS, vol. 52(4), pages 606-622, August.
    9. Qian, Yanjun & Xie, Min & Goh, Thong Ngee & Lin, Jun, 2010. "Optimal testing strategies in overlapped design process," European Journal of Operational Research, Elsevier, vol. 206(1), pages 131-143, October.
    10. Nagesh N. Murthy & Haikady N. Nagaraja & Hossein Rikhtehgar Berenji, 2023. "Managing concurrency in cyclical projects under stochastic task environments: Vaccine development projects during pandemics," Production and Operations Management, Production and Operations Management Society, vol. 32(3), pages 951-971, March.
    11. V. Krishnan & Karl T. Ulrich, 2001. "Product Development Decisions: A Review of the Literature," Management Science, INFORMS, vol. 47(1), pages 1-21, January.
    12. Nadia Bhuiyan & Donald Gerwin & Vince Thomson, 2004. "Simulation of the New Product Development Process for Performance Improvement," Management Science, INFORMS, vol. 50(12), pages 1690-1703, December.
    13. Glen M. Schmidt & Evan L. Porteus, 2000. "Sustaining Technology Leadership Can Require Both Cost Competence and Innovative Competence," Manufacturing & Service Operations Management, INFORMS, vol. 2(1), pages 1-18, March.
    14. Lin, Jun & Chai, Kah Hin & Brombacher, Aarnout C. & Wong, Yoke San, 2009. "Optimal overlapping and functional interaction in product development," European Journal of Operational Research, Elsevier, vol. 196(3), pages 1158-1169, August.
    15. Valle, Sandra & Vázquez-Bustelo, Daniel, 2009. "Concurrent engineering performance: Incremental versus radical innovation," International Journal of Production Economics, Elsevier, vol. 119(1), pages 136-148, May.
    16. Jürgen Mihm & Christoph Loch & Arnd Huchzermeier, 2003. "Problem--Solving Oscillations in Complex Engineering Projects," Management Science, INFORMS, vol. 49(6), pages 733-750, June.
    17. Lin, Jun & Qian, Yanjun & Cui, Wentian & Miao, Zhanli, 2010. "Overlapping and communication policies in product development," European Journal of Operational Research, Elsevier, vol. 201(3), pages 737-750, March.
    18. Yassine, Ali A. & Sreenivas, Ramavarapu S. & Zhu, Jian, 2008. "Managing the exchange of information in product development," European Journal of Operational Research, Elsevier, vol. 184(1), pages 311-326, January.
    19. Manuel E. Sosa & Steven D. Eppinger & Craig M. Rowles, 2004. "The Misalignment of Product Architecture and Organizational Structure in Complex Product Development," Management Science, INFORMS, vol. 50(12), pages 1674-1689, December.
    20. Christian Terwiesch & Yi Xu, 2008. "Innovation Contests, Open Innovation, and Multiagent Problem Solving," Management Science, INFORMS, vol. 54(9), pages 1529-1543, September.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:wly:syseng:v:21:y:2018:i:6:p:593-608. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Wiley Content Delivery (email available below). General contact details of provider: https://doi.org/10.1002/(ISSN)1520-6858 .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.