about scope contact schedule sponsors location comitee organization

Papers are presented 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 inlcuding nuclear power plants. Contributions come from research, industrial experience and in particular licensing. Topics are:

  • Safety Assessment
  • Safety Guidelines, Standards and Certification
  • Formal Methods and Models
  • Industrial Applications and Experience
  • Security and Use of World Wide Nets
  • The Safety Case
  • Design for Safety
  • Probabilistic Verification
  • Management and Development
  • Human Factors
  • Assuring Emerging Technologies