SAFECOMP '97

Más información sobre el libro

The safe and secure operation of computer systems is a critical concern across various applications that pose risks to people, the environment, investments, or goodwill. These applications encompass medical devices, railway signaling, energy distribution, vehicle control, air traffic control, industrial process control, and telecommunications. This volume captures the proceedings of the 16th International Conference on Computer Safety, Reliability and Security, held in York, UK, from September 7-10, 1997. The conference reviews advancements, experiences, and emerging trends in computer safety, reliability, and security, serving as a platform for technology transfer among academia, industry, and research institutions. In a growing global market for reliable computer systems, the event facilitated exchanges among technical developers, users, and legislators to evaluate current technologies and identify future needs. The selected papers, authored by contributors from twelve countries, cover topics such as safe software, safety cases, management and development, security, human factors, guidelines, standards, certification, applications, industrial experience, formal methods, models, and validation, verification, and testing. This conference continues the successful SAFECOMP series, which began in 1979 in Stuttgart, organized by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security, and Re