Training

SPARK

A comprehensive portfolio of courses supporting the SPARK language. Courses range from an introductory overview for engineers and managers new to SPARK through to advanced program design and verification training aimed at experienced SPARK practitioners. More...

Yellow Book

Targeted at engineers and managers involved with rail safety and safety management these courses introduce the fundamentals of engineering safety and safety management. The curriculum includes a short overview course aimed at managers new to safety management along with longer courses for practitioners using the Yellow Book in their day-to-day activity. More...

REVEAL®

REVEAL® training provides in-depth insight into the systematic and principled approach to systems engineering that is REVEAL. The training enables practitioners to learn a structured method for systems requirements capture and management, thereby providing a firm foundation for successful systems development. The systems engineers course is supplemented by shorter overview courses for managers and workshops tailored for particular systems needs. More...

Safety Engineering

A range of short, specific safety engineering courses designed to meet specific client objectives in safety engineering and safety management. The courses cover safety engineering techniques, safety management principles and practice and the interpretation and application of domain specific safety standards and legislation. More...

Software Engineering

Taking advantage of Praxis’ pedigree in advanced software engineering techniques a range of customer focused training is available aimed at bringing client engineers and managers up to speed in their application. The courses can be tailored to meet precise client requirements and cover specification and the use of formal methods, code development, verification and validation and configuration and build management. More...