By Topic

IEE Colloquium on Assessment and Certification of Software

9 Nov 1993

Filter Results

Displaying Results 1 - 7 of 7
  • Software assessment: ten years on

    Publication Year: 1993, Page(s):3/1 - 3/2
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (80 KB)

    Consideration is given to how software assessment and certification has developed since the author first became involved in the early 1980s. The author concentrates on safety-related software, although many of the conclusions are applicable to mission-critical and security-critical systems. In 1983, software assessment was bedevilled by a lack of both theory and experience. There were no generally... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software certification and testing

    Publication Year: 1993, Page(s):7/1 - 7/3
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (124 KB)

    The conventional method of providing technical support to a certificate is by means of testing the product, or an instance of the product. Although copies of an item of software rarely deviate from the master, the frequent release of products makes testing laborious. The author surveys the current position, and advocates schemes which combine process certification with product certification View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering judgement

    Publication Year: 1993, Page(s):4/1 - 4/2
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (120 KB)

    Computer software is inherently complex. Whatever the application, the author chooses-for excellent reasons-to put the complexity of the system largely into the software. This is done to reduce hardware complexity, or to reduce hardware costs, or so that they can use standard hardware components, or for flexibility, for ease of update, or for ease of development. Assessment and certification metho... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some issues for software assessment in the motor industry

    Publication Year: 1993, Page(s):2/1 - 2/6
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (260 KB)

    There are many difficulties to the general application of software assessment, especially by independent organisations, within the motor industry for both vehicle manufacturers and suppliers. These difficulties, such as the preception of high cost for no added value, confidentiality concerns, resource requirements, reactive management and `traditional' engineering attitudes can be reduced by educa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lloyd's Register's approach to software dependability assessment

    Publication Year: 1993, Page(s):8/1 - 8/6
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (360 KB)

    Software dependability assessment is the evaluation of evidence produced from the development process. Assessment must be objective; that is, it must be based upon observations of the supplied evidence which can readily be checked, or facts derived from those observations by some agreed procedure (measurements). The difficulty lies in choosing the observations and measurements so that dependabilit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What are we assessing: compliance, adequacy or function?

    Publication Year: 1993, Page(s):5/1 - 5/3
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (144 KB)

    The article is based on the authors' experience and primarily on experience of assessing safety related programmable electronic systems (PESs). Therefore the thoughts expressed are directed principally towards safety, or lack of it, and PESs. The authors believe that it is possible to identify at least three important components of assessment, addressing three different aspects of what it is that ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEE Colloquium on `Assessment and Certification of Software' (Digest No.1993/208)

    Publication Year: 1993
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (16 KB)

    The following topics were dealt with: software assessment in the motor industry; engineering judgement; software compliance, adequacy and function assessment; software certification and testing; and software dependability assessment View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.