skip to main content
10.1145/2593850.2593857acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

Certus: glimpses of a centre for research-based innovation in software verification and validation

Published:01 June 2014Publication History

ABSTRACT

What is gratifying to a software engineering researcher? Three of many possible answers to this question are (a) the in- tellectual exercise in developing/disseminating approaches that address novel challenges (b) recognition from impact in a community of researchers (c) widespread use of novel ideas, including software, in the society at large leading to enhancement of human ability and job creation. A culmina- tion of these sources requires an organizational effort. This article presents glimpses of a research-based innovation cen- tre, Certus, to facilitate such a culmination for software engi- neering researchers. Certus has established a body of knowl- edge, methods and tools for the validation and verication (V&V) of software systems in the local Norwegian indus- try. Certus works in close cooperation with five founding user partners and is hosted by the Simula Research Labo- ratory. 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 hope that this document will serve as a ba- sis to encourage national/international funding schemes to create call for proposals for long-term research-based inno- vation 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.

References

  1. H. Etzkowitz. The norms of entrepreneurial science: cognitive effects of the new universityindustry linkages. Research Policy, 27(8):823 – 833, 1998.Google ScholarGoogle ScholarCross RefCross Ref
  2. R. L. Glass. The software-research crisis. Software, IEEE, 11(6):42–47, Nov 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. P. H. Henry Etzkowitz, Andrew Webster, editor. Capitalizing Knowledge: New Intersections of Industry and Academia. SUNY Press, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. C. Potts. Software-engineering research revisited. Software, IEEE, 10(5):19–28, Sept 1993. 3 http://www.securityandtrust.lu Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Certus: glimpses of a centre for research-based innovation in software verification and validation

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in
    • Published in

      cover image ACM Conferences
      SER&IPs 2014: Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices
      June 2014
      41 pages
      ISBN:9781450328593
      DOI:10.1145/2593850

      Copyright © 2014 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 June 2014

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • Article

      Upcoming Conference

      ICSE 2025

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader