Reliability, Quality and Safety of Software-Intensive Systems

1. Front Matter

   Pages i-x

   PDF

2. Software Testing

   1. Front Matter

      Pages 1-1

      PDF

   2. Pythia: A regression test selection tool based on textual differencing

      • F. I. Vokolos, P. G. Frankl

      Pages 3-21

   3. ProveIt: a C program correctness prover

      • W. D. Maurer

      Pages 22-31

   4. An assessment of the number of paths needed for control flow testing

      • N. Malevris

      Pages 32-39

3. Software Quality

   1. Front Matter

      Pages 41-41

      PDF

   2. Automating software quality modelling, measurement and assessment

      • Barbara Kitchenham, Alberto Pasquini, Uwe Anders, Jørgen Bøegh, Stephano de Panfilis, Stephen Linkman

      Pages 43-53

   3. A quality-intensive approach to software development

      • I. Tervonen, J. Kokkoniemi, G. Smith

      Pages 54-64

4. Software Reliability

   1. Front Matter

      Pages 65-65

      PDF

   2. User-perceptions Of Embedded Software Reliability

      • R. J. Kusters, R. van Solingen, J. J. M. Trienekens, H. Wijnands

      Pages 67-82

   3. Motivated Humans for Reliable Software Products

      • S. A. Frangos

      Pages 83-91

5. Software Reusability

   1. Front Matter

      Pages 93-93

      PDF

   2. Specification composition for the verification of message passing program composition

      • J. Y. Cotronis, Z. Tsiatsoulis

      Pages 95-106

6. Safety Critical and Safety Monitor Systems

   1. Front Matter

      Pages 107-107

      PDF

   2. Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systems

      • S. Yih, J. Tian

      Pages 109-120

   3. Object-oriented Safety Monitor Synthesis

      • J. Górski, B. Nowicki

      Pages 121-133

   4. Modification of Safety Critical Systems: An Assessment of three Approaches

      • Tor Stålhane, Kari Juul Wedde

      Pages 134-147

7. Software-Intensive Systems Security

   1. Front Matter

      Pages 149-149

      PDF

   2. Selected Legal Issues Related to Internet Use

      • Gerald Quirchmayr

      Pages 151-160

   3. Security of World Wide Web Search Engines

      • Massimo Marchiori

      Pages 161-174

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.

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

• Athens University of Economics and Business, Greece

  Dimitris Gritzalis

Policies and ethics