A lot of the work we do is organised in subgroups. The currently active subgroups deal with:

• Security of Safety-Critical Computer Systems (SEC): system-security-subgroup
• Maintenance and Modification of Diverse Systems (MDS): mds-subgroup
• Safety of Medical Devices (MeD): medical-devices-subgroup
• Object Oriented Software in Safety Systems (OOSS): object-oriented-subgroup
• Safety of Systems-of-Systems (SoS): systems-of-systems-subgroup

• Programmable Logic Controllers (PLC): plcs-subgroup
• Project Management (PM): project-management-subgroup
• Safety Aspects of Distributed Systems (SADS): sads-subgroup

• The Industrial Applications of Formal Methods (FM): formal-methods-subgroup
• Risk Analysis (RA): risk-analysis-subgroup
• Eduction and Training (E&T): curricula-subgroup