Safecomp focuses on critical computer applications. It is intended to be a platform for technology transfer between academia, industry and research institutions. Papers are invited on all aspects of computer systems in which safety, reliability and security are important. Industrial sectors include, but are not restricted to medical devices, avionics, space industry, railway and road transportation, process industry, automotive industry, power plants and nuclear power plants.

Safecomp2000 welcomes in particular also contributions from application areas of medical systems and transport & infrastructures, as well as from methodological developments about software process improvement.

Medical systems depend progressively on - embedded - programmable electronic systems (PES). Experience shows that the implementation of methods to realise safe and reliable PES in the medical world is still lacking. Therefore, safety-critical PE Medical Systems, contributions are appreciated on design implications for assuring proper functioning and use in clinical or non-clinical context, user needs and issues concerning market approval.

Transport & Infrastructure systems depend progressively more on adequate functioning of PE subsystems. Safecomp 2000 will give special attention to experience reports of the realisation and acceptance of safety-critical systems in this application area. Position papers are also welcome.

Software Process Improvement (SPI) covers areas such as the application of metrics to quantify the effectiveness of improvement activities, the usage of safety standards, and the integration of verification & validation techniques - such as formal inspections - in the software/system development process. In relation to safety-critical systems, contributions are appreciated on SPI in the development of safety-critical systems addressing process/product dependencies, the development of measurement programs, the application of standards and metrics, the implementation and results of Process Improvement Experiments (PIEs).

Contributions from research, industrial applications and experiences, as well as on licensing questions are invited. Topics are not limited to the above, but also include:

  • Methods: safety assessment, risk analysis, design for safety, formal methods and models
  • Special Topics: security relevant to safety, human factors, hardware solutions, verification & validation, distributed systems; safety-critical y2k experiences
  • Application Issues: safety guidelines, standards and certification; sociological, legal and organisational aspects; management and development; assuring emerging technologies; world wide nets in dependable systems; critical computer applications