Reliability, Quality and Safety of Software-Intensive Systems

IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS ’97), 29th–30th May 1997, Athens, Greece

  • Dimitris Gritzalis

Table of contents

  1. Front Matter
    Pages i-x
  2. Software Testing

  3. Software Quality

    1. Front Matter
      Pages 41-41
    2. Barbara Kitchenham, Alberto Pasquini, Uwe Anders, Jørgen Bøegh, Stephano de Panfilis, Stephen Linkman
      Pages 43-53
    3. I. Tervonen, J. Kokkoniemi, G. Smith
      Pages 54-64
  4. Software Reliability

    1. Front Matter
      Pages 65-65
    2. R. J. Kusters, R. van Solingen, J. J. M. Trienekens, H. Wijnands
      Pages 67-82
  5. Software Reusability

    1. Front Matter
      Pages 93-93
  6. Safety Critical and Safety Monitor Systems

  7. Software-Intensive Systems Security

    1. Front Matter
      Pages 149-149
    2. Gerald Quirchmayr
      Pages 151-160
    3. Massimo Marchiori
      Pages 161-174

About this book

Introduction

It is, indeed, widely acceptable today that nowhere is it more important to focus on the improvement of software quality than in the case of systems with requirements in the areas of safety and reliability - especially for distributed, real-time and embedded systems. Thus, much research work is under progress in these fields, since software process improvement impinges directly on achieved levels of quality, and many application experiments aim to show quantitative results demonstrating the efficacy of particular approaches. Requirements for safety and reliability - like other so-called non-functional requirements for computer-based systems - are often stated in imprecise and ambiguous terms, or not at all. Specifications focus on functional and technical aspects, with issues like safety covered only implicitly, or not addressed directly because they are felt to be obvious; unfortunately what is obvious to an end user or system user is progressively less so to others, to the extend that a software developer may not even be aware that safety is an issue. Therefore, there is a growing evidence for encouraging greater understanding of safety and reliability requirements issues, right across the spectrum from end user to software developer; not just in traditional safety-critical areas (e.g. nuclear, aerospace) but also acknowledging the need for such things as heart pacemakers and other medical and robotic systems to be highly dependable.

Keywords

Area DEX design development distributed systems form modeling quality assurance safety-critical system security software software development software testing testing verification

Editors and affiliations

  • Dimitris Gritzalis
    • 1
  1. 1.Athens University of Economics and BusinessGreece

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-35097-4
  • Copyright Information Springer-Verlag US 1997
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-6399-7
  • Online ISBN 978-0-387-35097-4
  • Series Print ISSN 1868-4238
  • About this book