SE Validation Limited

Safety argument documentation and presentation

• Hazard identification and facilitation using multiple dissimilar techniques.
• Constructing risk severity and probability scales to support generation of safety targets.
• Safety case construction, including structured argument development and formalisation and the latest safety argument presentation techniques including:
• goal structuring notation (GSN)
• claim arguments evidence (CAE)

Validation and verification (V&V) of models and simulations

• Research and strategy studies
• Capturing real-world purpose and acceptance criteria.
• Modular V&V planning.
• Verification implementation, for example through control flow, data-use and information flow analysis.
• Validation implementation for example, through the use of real-world, theoretical and expert referents,
• Recording evidence - SE Validation represents the UK in key international standardisation efforts.

Validation and verification of complex and network-centric systems

• Constructing efficient and effective V&V frameworks including.
• multi-level
• modular
• service-based networks
• Communication - identifying ways to bridge gaps in this vital area.
• Planning for acceptance using V&V evidence.

V&V and safety of systems involving human factors (HF)

• Identification - using combinations of broad-based classification techniques and analytical-methods.
• Quantification techniques, such as HEART and THERP.
• Working with HF specialists

V&V and safety of systems involving computer software

• Determination of software contributions to system requirements and specifications,
• Interfacing to software quality and development planning,
• Briefing and training software developers and specialists,
• Software safety techniques,
• Interfacing to software testing,
• Through-life and obsolescence planning.

Synthetic environments

• Synthetic environment management planning,
• Requirement capture,
• Option selection,
• Synthetic testing,
• V&V implementation,
• Independent V&V & accreditation agents

Test and evaluation (T&E)

• Integrated test, evaluation and acceptance (ITEA) planning.
• Capability assurance.
• Full scope of the complexities and subtleties of T&E.

Training and knowledge transfer

• Constructing and delivering training courses
• Short courses
• Bespoke courses
• Range of teaching methodologies
• Publishing guidance books and papers
• Support for innovation and change