IDEAS home Printed from https://ideas.repec.org/a/spr/ijsaem/v9y2018i2d10.1007_s13198-015-0352-8.html
   My bibliography  Save this article

Certus: an organizational effort towards research-based innovation in software verification and validation

Author

Listed:
  • Sagar Sen

    (Simula Research Laboratory)

  • Dusica Marijan

    (Simula Research Laboratory)

  • Arnaud Gotlieb

    (Simula Research Laboratory)

Abstract

What is gratifying to a software engineering researcher? Three of many possible answers to this question are (a) the intellectual exercise in developing/disseminating approaches that address emerging and existing challenges, (b) recognition from impact in a community of researchers and (c) widespread use of novel ideas, including software, in the society at large leading to enhancement of human ability and job creation. A culmination of these sources requires an organizational effort. This article presents a detailed account of a research-based innovation centre, Certus, to facilitate such a culmination for software engineering researchers. Certus has established a body of knowledge, methods and tools for the validation and verification of software systems in the Norwegian private and public sector. Certus works in close cooperation with five founding user partners and is hosted by the Simula Research Laboratory. We present the organizational structure of Certus and describe how Certus’s life and health is planned and evaluated on a regular basis as a research-based innovation centre. We expound two successful collaborations, with (a) the private sector entity Cisco systems, Norway and (b) the public sector entity the Norwegian Customs and Excise. We hope that this document will serve as a basis to encourage national/international funding schemes to create call for proposals for long-term research-based innovation centres. This, we believe, is one way to justify use of tax payers resources in creating a win–win situation for the triple helix: government, researchers and industry.

Suggested Citation

  • Sagar Sen & Dusica Marijan & Arnaud Gotlieb, 2018. "Certus: an organizational effort towards research-based innovation in software verification and validation," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 9(2), pages 313-322, April.
    • Handle: RePEc:spr:ijsaem:v:9:y:2018:i:2:d:10.1007_s13198-015-0352-8
    DOI: 10.1007/s13198-015-0352-8
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s13198-015-0352-8
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.
    File URL: https://libkey.io/10.1007/s13198-015-0352-8?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
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Etzkowitz, Henry, 1998. "The norms of entrepreneurial science: cognitive effects of the new university-industry linkages," Research Policy, Elsevier, vol. 27(8), pages 823-833, December.
    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. Poblete, Carlos & Amorós, José Ernesto, 2013. "University Support in the Development of Regional Entrepreneurial Activity: An Exploratory Study from Chile," INVESTIGACIONES REGIONALES - Journal of REGIONAL RESEARCH, Asociación Española de Ciencia Regional, issue 26, pages 159-177.
    2. Toole, Andrew A. & Czarnitzki, Dirk, 2007. "Life Scientist Mobility from Academe to Industry: Does Academic Entrepreneurship Induce a Costly ?Brain Drain? on the Not-for-Profit Research Sector?," ZEW Discussion Papers 07-072, ZEW - Leibniz Centre for European Economic Research.
    3. Maria Ljunggren & Hans Westlund, 2013. "Professors’ attitude to collaboration and central infrastructure for collaboration: an analysis of social capital establishment within higher education institutions," Chapters, in: Tüzin Baycan (ed.), Knowledge Commercialization and Valorization in Regional Economic Development, chapter 5, pages 85-109, Edward Elgar Publishing.
    4. Michael Fritsch & Stefan Krabel, 2012. "Ready to leave the ivory tower?: Academic scientists’ appeal to work in the private sector," The Journal of Technology Transfer, Springer, vol. 37(3), pages 271-296, June.
    5. Eleftherios Sapsalis & Bruno Van Pottelsberghe, 2003. "Insight into the patenting performance of Belgian universities," Brussels Economic Review, ULB -- Universite Libre de Bruxelles, vol. 46(3), pages 37-58.
    6. Michael Sheriff & Moreno Muffatto, 2019. "University Spin-Offs: A New Framework Integrating Enablers, Stakeholders and Results," International Journal of Innovation and Technology Management (IJITM), World Scientific Publishing Co. Pte. Ltd., vol. 16(02), pages 1-18, April.
    7. Gibson, Elizabeth & Daim, Tugrul U. & Dabic, Marina, 2019. "Evaluating university industry collaborative research centers," Technological Forecasting and Social Change, Elsevier, vol. 146(C), pages 181-202.
    8. Walsh, John P. & Huang, Hsini, 2014. "Local context, academic entrepreneurship and open science: Publication secrecy and commercial activity among Japanese and US scientists," Research Policy, Elsevier, vol. 43(2), pages 245-260.
    9. Ener, Hakan, 2022. "How does CEO technical expertise influence licensing-out at technology ventures?," Technovation, Elsevier, vol. 114(C).
    10. Luciano Barcellos-Paula & Iván De la Vega & Anna María Gil-Lafuente, 2021. "The Quintuple Helix of Innovation Model and the SDGs: Latin-American Countries’ Case and Its Forgotten Effects," Mathematics, MDPI, vol. 9(4), pages 1-23, February.
    11. André Luiz de Campos, 2010. "A review of the influence of long-term patterns in research and technological development (R&D) formalisation on university-industry links," SPRU Working Paper Series 187, SPRU - Science Policy Research Unit, University of Sussex Business School.
    12. Rippa, Pierluigi & Secundo, Giustina, 2019. "Digital academic entrepreneurship: The potential of digital technologies on academic entrepreneurship," Technological Forecasting and Social Change, Elsevier, vol. 146(C), pages 900-911.
    13. Kapetaniou, Chrystalla & Lee, Soo Hee, 2017. "A framework for assessing the performance of universities: The case of Cyprus," Technological Forecasting and Social Change, Elsevier, vol. 123(C), pages 169-180.
    14. Metcalfe, J.S. & James, Andrew & Mina, Andrea, 2005. "Emergent innovation systems and the delivery of clinical services: The case of intra-ocular lenses," Research Policy, Elsevier, vol. 34(9), pages 1283-1304, November.
    15. Ranga, Marina & Hoareau, Cecile & Durazzi, Niccolo & Etzkowitz, Henry & Marcucci, Pamela & Usher, Alex, 2013. "Study on university-business cooperation in the US," LSE Research Online Documents on Economics 55424, London School of Economics and Political Science, LSE Library.
    16. Francesco Campanella & Maria Rosaria Della Peruta & Stefano Bresciani & Luca Dezi, 2017. "Quadruple Helix and firms’ performance: an empirical verification in Europe," The Journal of Technology Transfer, Springer, vol. 42(2), pages 267-284, April.
    17. Østergaard, Christian R., 2009. "Knowledge flows through social networks in a cluster: Comparing university and industry links," Structural Change and Economic Dynamics, Elsevier, vol. 20(3), pages 196-210, September.
    18. Elias G. Carayannis & Luca Dezi & Gianluca Gregori & Ernesto Calo, 2022. "Smart Environments and Techno-centric and Human-Centric Innovations for Industry and Society 5.0: A Quintuple Helix Innovation System View Towards Smart, Sustainable, and Inclusive Solutions," Journal of the Knowledge Economy, Springer;Portland International Center for Management of Engineering and Technology (PICMET), vol. 13(2), pages 926-955, June.
    19. Bodas Freitas, Isabel Maria & Marques, Rosane Argou & Silva, Evando Mirra de Paula e, 2013. "University–industry collaboration and innovation in emergent and mature industries in new industrialized countries," Research Policy, Elsevier, vol. 42(2), pages 443-453.
    20. Schmoch, Ulrich, 2007. "Double-boom cycles and the comeback of science-push and market-pull," Research Policy, Elsevier, vol. 36(7), pages 1000-1015, September.

    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:spr:ijsaem:v:9:y:2018:i:2:d:10.1007_s13198-015-0352-8. 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: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    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.