PRESS RELEASE                                                                           22nd April 2004





Pyrrhus Software


Successful SPARK product to be marketed
in the USA by Pyrrhus Software




Praxis Critical Systems, the UK-based company specialising in systems and requirements engineering, safety assurance, and software development, has signed a lightweight alliance agreement to sell its highly successful SPARK product line in the USA.


Praxis has teamed up with Phoenix (Arizona) based Pyrrhus Software, who have a proven track record in the development of Safety-Critical and

Real-Time Embedded Systems.


Joyce L Tokar, President of Pyrrhus Software, is regarded as the leading Ada programming expert in the US, and has worked extensively with Praxis in the past.  Pyrrhus Software is ideally placed to develop the presence of SPARK in the USA.


SPARK is the world’s first truly high-integrity, concurrent programming language. It is an annotated, design-by-contract subset of Ada95 which includes the Ravenscar tasking profile and can be used at the most demanding integrity levels required by regulatory bodies and high-integrity software standards.  To date, SPARK has been applied successfully in diverse applications including railway signaling, smartcard security and avionics systems in the Lockheed C130J and EuroFighter ‘Typhoon’ projects.





The arrangement between the two companies will see Praxis pass sales leads directly to Pyrrhus Software who will continue the sales process and provide a US based contact who fully understands the US market and can also provide SPARK support and training. This agreement also opens SPARK to “US eyes only” projects that cannot be directly supported from the UK at present.


Commenting on the new agreement, Mel Jackson, Managing Director of Praxis Critical Systems, said: “This is a groundbreaking agreement that will allow Praxis to expand the use of SPARK in the US market. We are delighted to be working with Joyce Tokar and Pyrrhus Software and we’re confident that our combined track record in providing software and safety critical solutions will lead to considerable success in the USA.”


“Pyrrhus Software is seeing increasing demands for high quality tools that offer reliable support for the development of real-time, embedded, safety-critical applications,” said Dr. Joyce Tokar, President of Pyrrhus Software.  “SPARK will give our customers a well-integrated toolset to enable the development of high-integrity software. We are very pleased to have the opportunity to work with Mel Jackson and the excellent team of engineers at Praxis Critical Systems to bring the SPARK tools into the US market.”




For further information please contact:

Gary Squires/David Pippett, Creatrix PR, Tel: 01225 423400



Praxis Critical Systems Company background

Praxis Critical Systems has developed a global reputation in the fields of systems and requirements engineering, software development, safety assurance, information security and risk management and works with some of the leading aerospace companies and organisations including; Boeing, Lockheed Martin, BAE Systems, ALSTOM Transport, Westinghouse Rail Systems, The Civil Aviation Authority, The Federal Aviation Administration and National Air Traffic Services.


Company revenue has risen from £2.5 million to £10 million per annum in the last 5 years and the company has now diversified into several new markets including financial services, telecommunications, utilities and pharmaceuticals.


Such innovation has seen the company’s project volume increase rapidly and in turn expanded the business, with the successful opening of two new offices in London and Derby, as well as an increase in staff numbers from 40 to 140. 


Praxis Company Website:

SPARK Website:




Adtranz UK                                           London Underground

Alenia Marconi Systems                         Lucent Technologies

ALSTOM                                               Luftartversket

BAE SYSTEMS                                      Ministry of Defence DPA

Boeing                                                  Mondex International

BUPA                                                   National Air Traffic Services

Civil Aviation Authority                            NAV CANADA

Computing Devices Company                  PACE Micro Technology

DERA                                                   Pfizer

EUROCONTROL                                    Railtrack

European Commission                            Raytheon Systems

Federal Aviation Administration               Siemens Transportation Systems

HM Prison Service                                 TRW Aerospace & Information Systems

Jaguar Cars                                           Ultra Electronics

Lloyds TSB                                           Westinghouse Signals

Lockheed Martin



Pyrrhus Software Company Background


Pyrrhus Software’s mission is to provide long-lived, proven software solutions for application development, training, project management and quality assurance. Pyrrhus offers enduring solutions that meet and exceed your software needs. Our team of engineers, each with more than 15 years of experience, can provide you with expert engineering services. Pyrrhus Software is a small, woman-owned business located in Scottsdale Arizona, USA.


Pyrrhus Software Website:



Some of our Clients:


SEAKR Engineering

US Army