Praxis and AdaCore Announce Strategic Partnership
Product integration takes the SPARK language and toolset to the next level

PARIS, France and BOSTON, USA, October 28, 2008 - Embedded Systems Conference –Praxis, international specialist in critical systems engineering, and AdaCore, provider of the highest quality Ada tools and support, have announced the formation of a long-term partnership with the intent of taking the SPARK language and toolset to a new level in technical capability, marketing and sales. This follows the recent release to the Open Source community of the Tokeneer project by the US National Security Agency (NSA). The Tokeneer project was developed by Praxis for the NSA using the Correctness by Construction methodology, the SPARK Ada language and toolset and the GNAT Pro Ada development environment from AdaCore.
[more...]

US National Security Agency releases secure software project to open source community
Tokeneer project shows the way to develop secure systems
in a rigorous and cost-effective manner

NEW YORK, PARIS AND BATH – October 6, 2008 – The development of highly secure, low defect software will be dramatically helped by the release of the Tokeneer research project to the open source community by the US National Security Agency (NSA). The project materials, including requirements, security target, specifications, designs, source code, and proofs are now available here.
[more...]

Praxis now in France

Praxis has opened an office in France within the Altran Head Office in Levallois Perret. Praxis France is a joint venture with Altran ASD Paris.

Praxis is the foremost international specialist in Critical Systems Engineering. Key markets are Rail, Aerospace and Defense, Nuclear and Air Traffic Management.

Announcing the 2008 SPARK User Group Meeting

Praxis is pleased to announce that the next SPARK User Group meeting will be held in Bath on 15th October 2008. 

This by-invitation only event aims to bring together a community of current and potential SPARK users with a keynote speech from Rolls-Royce. The event will also include: an update on the latest SPARK features and best practice; a real-life industrial case study; and a research report from the University of Edinburgh.

Design by contract

Two articles by Piotr Nienaltowski of Praxis on concurrent programming with Design by Contract appeared in the Formal Aspects of Computing Journal recently.
[more...]

Praxis at ATC Global

Praxis target Air Traffic Control market at the world’s largest industry event.

Praxis, a leading specialist in critical systems engineering will be exhibiting at the ATC Global Exhibition and Conference 2008, March 11-13 at the RAI Convention Centre in Amsterdam, Netherlands.
[more...]

Praxis, a leading specialist in critical systems engineering, will be one of the sponsors for the British Nuclear Energy Society’s (BNES) annual dinner event taking place next week.
[more...]

The needs of the modern Armed Forces and the pace of technological change have revolutionised the Civil Defence industry. Only the flexible and imaginative need apply.
[more...]

Praxis wins contract to supply SPARK Ada for Thales aircraft software system

Praxis has won a contract with Thales UK, Air Operations in Wells, to supply the SPARK Ada toolset as part of ongoing product development by Thales in Aircraft Mission management and Mission Planning. [more...]

US agencies say software best practice is to be found in the UK

Praxis has received further recognition and praise for its work in advanced software engineering, following two recent reports on software dependability and assurance from the United States (US). [more...]

Praxis at the Paris Air Show

Altran, a parent company of Praxis hosted a chalet at the recent Paris Air Show (18-22 June 2007), one of the biggest air shows in Europe. [more...]

Visit Praxis at the Bath Graduate Recruitment Fair
on 5 June 07

Come and see us at the Bath Graduate Recruitment Fair on Tuesday 5 June 07 from 11.00 to 15.00 in the campus Sports Hall where you will have the opportunity to:

• Find out about our current vacancies.
• Chat informally to our staff about a career with Praxis.
• Learn more about our projects with high-level clients in the Rail; Nuclear; Aerospace and Defence markets.

Praxis appointed to work on the biggest change in air traffic control systems since the introduction of radar

Praxis, a leading specialist in critical systems engineering has been appointed by National Air Traffic Services (NATS) to work on a £10 million Air Traffic Control (ATC) partnering contract. Praxis will write the specification and develop the software for a new ATC System called iFACTS which will trigger the biggest change in ATC since the introduction of radar. [more...]

Industry day at Praxis

Final Year Students from the University of York IEEE Student Branch and from Cambridge University attended an Industry Day at the Praxis Head Office in Bath on 7 Feb 07. [more...]

Praxis to exhibit at ATC Maastricht 13-15 February 2007

Praxis is pleased to announce that it will be attending and exhibiting at ATC Maastricht 2007, Europe’s premier Air Traffic exhibition and conference, on 13th-15th February. [more...]

Praxis appoints New Business Manager to aerospace and defence sector

Praxis, a leading specialist in critical systems engineering has appointed Ivan Gaunt as Business Manager to lead and grow the company’s work in the Aerospace and Defence sector. [more...]

Praxis appoints Managing Consultant to strengthen nuclear business

Praxis, a leading specialist in safety critical systems engineering has appointed Mike Peach as Managing Consultant to strengthen its nuclear division. Mike will support the development of new business in this sector, providing assistance for operation and decommissioning of existing facilities and advising on the safety engineering aspects of major licensing applications for the next generation of nuclear power stations. [more...]

Praxis appoints New Business Manager to lead expansion in network enabled capability

Praxis, a leading specialist in critical systems engineering has appointed Allan Hunter as Business Manager to lead and grow the company’s work in the Network Enabled Capability (NEC) area in the land, sea and air sectors. [more...]

Rolls-Royce selects Praxis for software for Trent 1000 EMU

Praxis has won a contract for the Engine Monitoring Unit (EMU) software for the Rolls-Royce Trent 1000 engine, which will come into service on the next generation of Boeing 787 Dreamliner aircraft in mid 2008.

This contract follows the recent delivery of a critical software package for the Rolls-Royce Trent 900 EMU, which will go into service on the Airbus A380 in early 2007. [more...]

Praxis produces zero-defect security software for US National Security Agency

Recent security work carried out by Praxis has now been cleared for general publication by the US National Security Agency (NSA).

The NSA commissioned Praxis to develop secure software for an experimental biometric access control system to meet or exceed Evaluation Assurance Level (EAL) 5 (out of 7) in the Common Criteria. The Common Criteria is an international security scheme aimed at providing confidence to users of security products. EALs 5-7 represent the highest levels of security assurance. [more...]

Praxis Awarded £3million Watchkeeper Contract

Praxis High Integrity Systems (Praxis), a leading specialist in critical systems engineering to the aerospace and defence industry has been awarded a £3million contract to provide safety support to Thales UK for the Watchkeeper Tactical Unmanned Air Vehicle (TUAV) system. The contract will see Praxis take the lead on the entire systems safety engineering, providing safety programme management, systems and human factors safety consultancy into Thales UK's Watchkeeper programme. [more...]

Praxis featured in the Financial Times

Praxis High Integrity Systems (Praxis), has been included in an engineering sector article in the Financial Times (23rd February 2006). The article focussed on the potential skills gap that will emerge in the engineering sector as talented over 55's gradually retire leaving a huge deficit in the 30 to 50 age group. [more...]

New Business Manager for rapidly expanding transport division

Ben Blackwall has joined Praxis HIS as Business Manager for our Transport Division. Following the recent merger between Aspect and Praxis, the Praxis Rail and Underground business has expanded rapidly, creating the opportunity for Ben to further develop our Dutch Rail work with leading players such as ProRail, NS, Bombardier and Siemens, and respond to the demand for more Safety Management consulting.[more...]

Leading technology publication praises Praxis High Integrity Systems

Global recognition for UK Company from IEEE Spectrum

Praxis High Integrity Systems (Praxis HIS), a world-leading company providing products and services for the engineering of high integrity systems, has received high praise and global recognition from IEEE Spectrum magazine, the flagship publication of the Institute of Electrical and Electronics Engineers (The IEEE), in its September issue. [more...]

Railway Systems Assurance Specialist Joins Praxis HIS

Praxis High Integrity Systems signs agreement to take SofCheck AdaMagic technology to safety critical markets in the UK and Europe

Praxis High Integrity Systems (Praxis HIS) has signed a software distribution agreement with SofCheck, Inc., an independent provider of software analysis and verification technology. Under the agreement, Praxis HIS will offer SofCheck's AdaMagic technology to clients in the UK and Europe across a range of safety critical markets, including, a erospace and defence, automotive, rail, nuclear, telecommunications and finance. [more...]

Recruiting the best of the best

Praxis High Integrity Systems is holding a Graduate Recruitment Day on 12 April at its Bath Office. The recruitment day has been specifically designed to attract the highest calibre graduates in the fields of systems, software and safety engineering. [more...]

Praxis HIS Presents SafSec Methodology Paper

Praxis High Integrity Systems has been working with the MoD and with industry collaborators to address the mounting cost of safety and security accreditation. [more...]

Praxis HIS to exhibit and present at ATC Maastricht 2005, Europe's premier Air Traffic exhibition and conference.

Praxis High Integrity Systems will be exhibiting and presenting at ATC Maastricht 2005, Europe's premier Air Traffic exhibition and conference. [more...]

Praxis High Integrity Systems joins the DO-254 Partners Group

Praxis High Integrity Systems are pleased to announce their participation in the DO-254 Partners Group . The DO-254 partners Group is a group of companies which operate in the field of Electronic Design Automation and Safety-Critical Software, doing design, verification and consulting work. These companies have reacted to solicitation from major aerospace customers to create a "DO-254 tools and support" initiative. Its focus is the use of the RTCA DO-254 standard in developing programmable logic designs using hardware description languages (like VHDL and Verilog) to be used in aerospace applications. The group aims to help partner and client companies to produce DO-254 certified design flows. [more...]

Praxis Limited and High Integrity Systems Limited are merging to create Praxis High Integrity Systems
Praxis Limited and High Integrity Systems Limited are merging to create Praxis High Integrity Systems, a company dedicated to delivering the best in high integrity systems engineering. The companies will trade as Praxis High Integrity Systems from 11th October 2004 and will formally merge from 3rd January 2005. [more...]

Winner Of Renault F1 Team Prize To Gain Experience With Bath Based Firm
Winner of a Fame Academy-style search for a rising star of engineering to be based with Praxis

Following a nationwide hunt for a rising star of engineering, it has been announced that Mark Caldwell , winner of the Altran Engineering Academy 2004, will not only join the Renault F1 Team this month, he will also work with Praxis, a subsidiary of Altran. His time at the Bath based firm will provide him invaluable skills and knowledge of the systems and requirements engineering industry. [more...]

How many lightbulbs does it take to change an engineer?

Sales Success for new SPARK Book

Déjà vu or not? Formal Methods may be in for a revival