Altran Praxis English language selection button
Altran Praxis French language selection button
Altran Praxis English language label
Altran Praxis Logo
Altran Praxis News image

Archives

2011

2010

24th March 2010

Le nouvel environnement de développement SPARK Pro 9 fournit un niveau de sécurité amélioré pour les projets critiques

Latest version of open source tool suite upgraded to meet user needs.

Read more...

AMSTERDAM, NEW YORK and PARIS, March 24, 2010 – Avionics Europe 2010 – SPARK Pro 9, announced today by AdaCore and Altran Praxis, provides a major step forward for developers creating safety critical and high assurance systems. The advanced open source development environment now features increased security functionality, including the ability to verify and assure Multiple Independent Levels of Security (MILS) within the same application as well as support for the latest SPARK2005 language profile.

SPARK Pro was created one year ago by Altran Praxis, international specialist in embedded and critical systems engineering, and AdaCore, the leading provider of commercial software solutions for the Ada language. SPARK Pro provides the foremost language, toolset and design discipline for engineering high-assurance software. It combines Altran Praxis’ renowned SPARK language and verification tools, with the GNAT Programming Studio (GPS) and GNATbench development environments from AdaCore.

The new release of SPARK Pro 9 demonstrates the forward momentum of the toolset and introduces significant new features to benefit developers. Chief amongst these is the ability to mix software of different security levels (such as classified and unclassified) within the same system. This MILS functionality meets the increasing trend in the aerospace and defence industries to combine multiple secure and non-secure elements into a single system to deliver smaller, more integrated solutions.

"We've seen significant growth in the use of SPARK Pro since its launch last year across the safety critical and high assurance markets," said Keith Williams, Altran Praxis Managing Director. "SPARK Pro 9 continues this market momentum and introduces important new features, particularly in the growing high security sector. It demonstrates the continuing benefits of our close partnership with AdaCore to our customers across the globe."

Over half of new features in SPARK Pro 9 are the result of customer feedback. As well as support for the advanced features of SPARK2005, the latest version of the SPARK language, closer integration between SPARK and GPS results in improved usability and faster development times.

"In MILS-oriented Operating Systems, mixing safely different levels of security assurance requires a complex multi-partition organization. SPARK Pro 9 now provides the means to verify accurately such a mix in the context of a single application through sound information flow analysis," said Cyrille Comar, Managing Director, AdaCore. "This capability offers an unprecedented level of flexibility for those writing rich applications with stringent security requirements."

Developed by Praxis, SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital for reasons of safety, security, or both. The SPARK toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes. There are versions of SPARK based on Ada 83, Ada 95, and Ada 2005, so all standard Ada compilers and tools work out-of-the-box with SPARK.

SPARK Pro 9 new functions include:
  • New information-flow verification for safety and security policies, such as Bell-LaPadula, based on integrity labelling of variables, inputs and outputs. This facility allows users to confirm intended separation properties, and to prevent violations of the chosen information flow policy.
  • SPARK2005. The new SPARK2005 language profile is now available. At present, Ada2005 features supported include 'Mod, 'Machine_Rounding, new reserved words, and the static semantics of "overriding".
  • New ZombieScope tool, which detects dead statements, branches and paths in SPARK code, complementing the capabilities of the Simplifier and proof status summarizer POGS.
  • Cross Referencing annotations in GPS. The Examiner now generates cross-reference information that can be consumed by GPS to drive navigation within annotations.
  • Function return annotations are now treated more like procedure post-conditions, being substituted into the VC hypotheses of the caller. This can dramatically improve the effectiveness of the theorem prover for those calling units, as well as reducing the manual work required by the user to provide rewrite rules.
  • New output format for POGS. This format is designed to be both easier to read and easier to search automatically. It also reflects the results of the new ZombieScope tool.
  • Simpler documentation structure. All proof material is now in one manual, and a new global index (in both clickable PDF and HTML forms) simplifies finding topics in the entire manual set.
  • Case checking. New Examiner switch that insists on consistent casing within annotations.

Webinar

A webinar providing an introduction and demonstration of SPARK Pro 9, will be held on April 27, 2010. It will begin at 5pm European Daylight Time/4pm GMT Daylight Time/11am Eastern Daylight Time/8am Pacific Daylight Time. Register here now!

SPARK Pro 9 is available now. For more information please visit AdaCore's website or contact sales@adacore.com.

About Altran Praxis

Altran Praxis is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran Praxis leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. It offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are aerospace and defence, rail, nuclear, air traffic management, automotive, medical and security. The company operates globally with active projects in the US, Asia and Europe. The headquarters of Altran Praxis are in Bath (UK) with offices in Sophia Antipolis, London, Paris, Loughborough and Bangalore. Altran Praxis is an expertise centre within, and wholly owned by, Altran which is a global leader in innovation engineering and employs 18,000 staff across the world.

www.altran-praxis.com

Press contacts:

Leena Chauhan
Altran Praxis
press@altran-praxis.com

Chris Measures/Richard Morgan
Speed (for Altran Praxis)
altran-praxis@speedcommunications.com

Close...
15th Feb 2010

Attribution à Altran Praxis de travaux supplémentaires de sureté de fonctionnement concernant le programme nucléaire britannique "New Build"

Building on its existing work with the UK’s Health & Safety Executive (HSE), Altran Praxis has won further work supporting the review of safety aspects of designs for the UK’s new generation of nuclear reactors.

Read more...

The HSE’s Nuclear Directorate (ND), working with the Environment Agency, is currently completing a Generic Design Assessment (GDA) for new nuclear power stations in the UK.

Altran Praxis is technical partner with prime contractor engineering consultancy Frazer-Nash to support Step 4 of the GDA programme – ‘Assessment for Design Acceptance’ - which will see the companies independently examine the safety case evidence for the two different reactor types that are currently being assessed for their suitability to meet UK regulatory standards.

Download the full details and press release in PDF

Close...
19th Jan 2010

Création d'Altran Praxis spécialiste de l'ingénierie des systèmes embarqués et critiques

Le lancement ce jour d’Altran Praxis marque le déploiement international d’une offre forte en ingénierie, technologie et innovation pour les systèmes embarqués et critiques.

Read more...

Née de la fusion de Praxis, firme anglaise et spécialiste international en ingénierie des systèmes critiques, et de SC2 by Altran, experts des logiciels embarqués, la nouvelle entité va se concentrer sur l’ingénierie de logiciels et de systèmes embarqués à fortes exigences de sûreté, de sécurité et d’innovation.

Cette fusion permet de réunir l’expertise de Praxis dans les systèmes critiques de sûreté et sécurité et les capacités d’innovation de SC2 by Altran dans des domaines tels que l’Interface Homme-Machine (HMI), le multimédia et la connectivité. Le centre de recherche logiciel de SC2 by Altran est aujourd’hui un acteur majeur du monde automobile. Grâce à cette fusion, les clients d’Altran Praxis bénéficient d’une expertise complète et totale en matière de systèmes embarqués et critiques novateurs.

Le siège social d’Altran Praxis est situé à Bath au Royaume-Uni et la société intervient dans le monde entier au travers de ses bureaux en France, Inde et Royaume-Uni. Ce nouvel ensemble, fort de 270 personnes a déjà des plans d’expansion pour 2010. Praxis et SC2 by Altran sont entièrement détenues par Altran, leader européen du conseil en innovation et en ingénierie avec un chiffre d’affaire global de 1.65 millions d’Euros. Altran Praxis constitue aujourd’hui le centre d’excellence d’Altran dans le domaine de l’embarqué et des systèmes critiques.

« Le lancement d’Altran Praxis offre à nos clients une compétence véritablement unique. À titre d’exemple, si vous êtes un constructeur automobile, ferroviaire ou aéronautique, nous pouvons désormais construire et assurer vos systèmes de contrôle les plus critiques, tels que la gestion et le contrôle du moteur ou du système de freinage mais aussi fournir les systèmes les plus novateurs d’informations et de divertissements pour vos passagers pour augmenter vos revenus. Avec l’intégration croissante des systèmes, la combinaison des ces savoir-faire novateurs est très précieuse », explique Keith Williams, Directeur Général d’Altran Praxis. « Point essentiel, nos collaborateurs soutiennent totalement la fusion. Elle leur offre la possibilité de s’impliquer dans des technologies et des marchés différents et de s’ouvrir davantage à l’international »

S’appuyant sur un double héritage, Altran Praxis interviendra en tant que partenaire de confiance dans les secteurs de l’aérospatiale, de la défense, du ferroviaire, de la gestion du trafic aérien, de l’automobile, du nucléaire, de la sécurité ainsi que dans le secteur médical. Parmi les projets clés figurent :

  • développement du logiciel pour iFACTS, un système unique de gestion du trafic aérien pour le compte de l’agence Britannique de contrôle de trafic aérien NATS.
  • conduite de travaux d’innovation dans la connectivité et la pour le compte de Renault.
  • développent de technologies d’interfaces hommes-machines gestuelles dans le secteur du médical et d’applications pour centres de contrôle dans les domaines du ferroviaire, nucléaire ou du contrôle de trafic aérien.
  • assesseur indépendant de la sécurité du nouveau système de signalisation du métro londonien.
  • support technique à l’évaluation des nouveaux types de réacteurs pour les nouvelles centrales nucléaires britanniques.
  • développement du logiciel destiné au système de sécurité biométrique Tokeneer de l’agence nationale de sécurité des États-Unis, la NSA.
  • partenaire sécurité de Thales dans le cadre du développement du drone Watchkeeper.

Altran Praxis va se concentrer sur l’ingénierie de logiciels à fortes exigences de sûreté et sécurité; l’élaboration de logiciels embarqués à la pointe de l’innovation pour le développement de nouveaux produits et applications; l’expertise en sûreté et sécurité, en tant que consultant ou assesseur indépendant; l’innovation pour nos clients et le développement de nos propres outils et technologies des futurs systèmes embarqués et critiques.

« Systèmes embarqués, sûreté et sécurité sont des savoir-faire stratégiques pour Altran, et par cette fusion nous avons recentré et renforcé notre offre sur ces marchés porteurs de croissance », a déclaré Yves de Chaisemartin, Président directeur général du groupe Altran. « La création de ce pôle d’excellence concrétise notre stratégie de développement. Nous donnons ainsi de l’avance à nos clients en leur offrant une expertise de premier ordre des systèmes embarques et critiques opérationnelle mondialement, dans les principaux secteurs de marché. »

Créée en 1983, Praxis fait partie du groupe Altran depuis 1997 et est spécialisée dans l’ingénierie de systèmes critiques. SC2 by Altran, société issue de la reprise par Altran en octobre 2008 du centre de recherche des logiciels embarqués de Continental, est basée à Sophia Antipolis.

About Altran Praxis

Altran Praxis une société d’ingénierie logicielle et système spécialisée dans les systèmes à fortes exigences de sûreté, de sécurité et d’innovation. Altran Praxis est mondialement reconnue dans les domaines spécifiques de l’ingénierie systèmes et de l’innovation tels que : l’élaboration de logiciel zéro défaut, les interfaces homme machine (IHM), la sûreté pour les systèmes complexes et innovants et les outils (tels que SPARK) et méthodes d’ingénierie systèmes. Altran Praxis offre à ses clients une gamme de services qui incluent le développement de systèmes clés en main, le conseil, la formation, la recherche et développement. Les secteurs clés sont l’aérospatiale, la défense, le ferroviaire, le nucléaire, la gestion du trafic aérien, l’automobile, le médical et la sécurité. La société intervient dans le monde entier avec des projets en cours aux Etats-Unis, Asie, et Europe. Le siège social d’Altran Praxis est situé à Bath au Royaume-Uni et la société possède des bureaux à Sophia Antipolis, Paris, Londres, Loughborough et Bangalore. Altran Praxis est un centre d’expertise entièrement détenu par Altran, leader européen du conseil en innovation et en ingénierie, qui emploie 18 000 personnes dans le monde.

www.altran-praxis.com

Press contacts:

Leena Chauhan
Altran Praxis
press@altran-praxis.com

Chris Measures/Clodagh Boyle
Speed (for Altran Praxis)
altran-praxis@speedcommunications.com

Close...

2009

27th Oct 2009

Trevor Cockram, consultant principal à Praxis, devient président du conseil d'administration de l'association Safety and Reliability Society

Aims to use prominent post to increase industry recognition of safety needs.

Safety expert Trevor Cockram has been elected as chairman of the prestigious Safety and Reliability Society (SaRS). Trevor, who is a principal consultant at Praxis, the international specialist in critical systems engineering and assurance, takes up his new role today at the SaRS Annual Conference, which is running alongside the IET System Safety 2009 event.

Read more...

The Safety and Reliability Society, which celebrates its 30th anniversary in 2010, is an internationally recognised organisation that represents engineers and scientists working in the twin fields of safety and reliability.

Due to increased reliance on technology, safety and reliability systems have been rapidly growing in importance across a wide range of industries. SaRS’ broad-based membership brings together engineers, software developers and those responsible for human factors, such as behavioural psychologists, to provide a holistic view of this vital discipline.

SaRS aims to increase the professionalism and reputation of those involved in these key areas by sharing information, establishing professional standards and techniques and encouraging those in education to enter the sector. It currently has over 600 members across the UK, Europe, Middle East, USA and Asia Pacific.

Trevor has been a member of SaRS for over 20 years and was elected onto the society’s council two years ago. At Praxis he is responsible for training and implementing safety and reliability best practice across the whole organisation.

"Increasingly sophisticated technology systems are at the heart of how we live, travel and communicate today," said Trevor Cockram, principal consultant, Praxis. "Safety and reliability are now even more critical to their successful operation than when SaRS was formed 30 years ago. Working with my colleagues, I want to use my chairmanship to strengthen safety competencies across the industry and encourage more people to enter this area."

SaRS is liaising closely with universities to promote the safety discipline to students and to encourage more people to become engineers. It is also championing professional education, working with the Engineering Council to ensure members achieve Chartered Engineer qualifications. Additionally, as part of his year in office Trevor will be organising a conference in Summer 2010 to celebrate the 30 successful years of SaRS.

About Altran Praxis

Altran Praxis is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran Praxis leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. It offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are aerospace and defence, rail, nuclear, air traffic management, automotive, medical and security. The company operates globally with active projects in the US, Asia and Europe. The headquarters of Altran Praxis are in Bath (UK) with offices in Sophia Antipolis, London, Paris, Loughborough and Bangalore. Altran Praxis is an expertise centre within, and wholly owned by, Altran which is a global leader in innovation engineering and employs 18,000 staff across the world.

www.altran-praxis.com

Press contacts:

Leena Chauhan
Altran Praxis
press@altran-praxis.com

Chris Measures/Clodagh Boyle
Speed (for Altran Praxis)
altran-praxis@speedcommunications.com

Close...
7th Oct 2009

Praxis and AdaCore Launch SPARK GPL

Free Software version of toolset dramatically expands user community.

The launch of a new, General Public License (GPL) version of SPARK brings a professional-grade toolset for high-assurance and safety-critical software development to the academic community and developers of Free Software. This aims to drive the use of high assurance programming techniques and tools by a larger percentage of the overall software development community.

Read more...

SPARK is a high level programming language and toolset designed for writing software for high integrity applications. General Dynamics UK selected SPARK for the project owing to its ability to enable the development and verification of software to the highest level of Ministry of Defence safety certification – Defence Standard (Def Stan) 00-56 issue 2 Safety Integrity Level 4. SPARK enables the application of formal verification techniques in a segregated monitor architecture, ensuring rapid compliance.

The release of SPARK GPL completes the strategic shift that sees the once proprietary SPARK technology now a part of the Freely Licensed Open Source Software (FLOSS) ecosystem.

SPARK was created by Praxis, the international specialist in critical systems engineering and safety assurance, and AdaCore, the leading provider of commercial software solutions for the Ada language. SPARK provides the foremost language, toolset and design discipline for the engineering of high-assurance software. It combines the renowned SPARK language and verification tools from Praxis, with the GNAT Programming Studio (GPS) and GNATbench development environments from AdaCore.

SPARK GPL Edition allows students and the Free Software community to develop using the toolset under the terms of the GPL. Academic staff using SPARK in teaching and research can download the software under AdaCore’s GAP programme. A professional version - SPARK Pro - is globally available from AdaCore. Launched in March 2009, SPARK Pro includes full support and is aimed at professional developers of high assurance systems.

SPARK GPL is rapidly expanding the SPARK development community. Over 1,700 downloads of the technology have taken place from an estimated 700 individuals since the launch of the GPL Edition.

SPARK has a distinguished track-record in the development of high-assurance systems. These include the Tokeneer project developed by Praxis for the US National Security Agency (NSA) using SPARK and AdaCore’s GNAT technology. SPARK GPL complements Tokeneer, which provides a freely downloadable demonstration of the SPARK technology.

"SPARK has a long and distinguished industrial pedigree being used for large-scale critical development systems all over the world. This pedigree, and the research that has enabled it, is now freely available, and I look forward to seeing the research advances and innovations that will result," said Keith Williams, Praxis Managing Director. "It is also very important that the academic community now has access to such industrial-strength material to support the teaching of high-integrity software engineering."

Developed by Praxis, SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes. There are versions of SPARK based on Ada 83, Ada 95, and Ada 2005, so all leading Ada compilers and tools work out-of-the-box with SPARK.

"AdaCore is committed to the Free Software community, and the launch of SPARK GPL will widen the scope and range of tools available to students and developers interested in learning how to build high-assurance applications," said Robert Dewar, CEO and President, AdaCore. "By making SPARK available to the academic and research community, we hope to stimulate work in improving approaches to developing safety- and security-critical systems."

The SPARK GPL release includes:

  • The SPARK Language Definition
  • Full SPARK Toolset, including RavenSPARK, Examiner, Simplifier and Checker
  • Integration with the latest version of AdaCore’s GPS and GNATBench IDEs
  • Tutorial material for SPARK GPL, included in the accompanying release of the Tokeneer Discovery package
  • Availability of full sources for all the tools

Webinar
A joint webinar between AdaCore and Praxis, providing an introduction and demonstration of SPARK GPL, will be held on October 13, 2009. Academics and Free Software developers are encouraged to participate. It will begin at 5pm European Daylight Time/4pm GMT Daylight Time/11am Eastern Daylight Time/8am Pacific Daylight Time. Register here.

About Altran Praxis

Altran Praxis is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran Praxis leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. It offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are aerospace and defence, rail, nuclear, air traffic management, automotive, medical and security. The company operates globally with active projects in the US, Asia and Europe. The headquarters of Altran Praxis are in Bath (UK) with offices in Sophia Antipolis, London, Paris, Loughborough and Bangalore. Altran Praxis is an expertise centre within, and wholly owned by, Altran which is a global leader in innovation engineering and employs 18,000 staff across the world.

www.altran-praxis.com

Press contacts:

Leena Chauhan
Altran Praxis
press@altran-praxis.com

Chris Measures/Clodagh Boyle
Speed (for Altran Praxis)
altran-praxis@speedcommunications.com

Close...
7th Sep 2009

General Dynamics UK selects SPARK language for major new Royal Navy helicopter project

SPARK used to develop safety-critical system for AgustaWestland AW159 Lynx Wildcat.

Praxis, the international specialist in critical systems engineering and assurance, today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s new AgustaWestland AW159 Lynx Wildcat helicopter.

Read more...

Praxis, the international specialist in critical systems engineering and assurance, today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s new AgustaWestland AW159 Lynx Wildcat helicopter.

SPARK is a high level programming language and toolset designed for writing software for high integrity applications. General Dynamics UK selected SPARK for the project owing to its ability to enable the development and verification of software to the highest level of Ministry of Defence safety certification – Defence Standard (Def Stan) 00-56 issue 2 Safety Integrity Level 4. SPARK enables the application of formal verification techniques in a segregated monitor architecture, ensuring rapid compliance.

Up to seven developers will use SPARK to create the Stores Management System, which controls the deployment of weaponry from the AW159 Lynx Wildcat. Project development completes in mid 2011 and will cover more than 40,000 lines of SPARK code.

The AW159 Lynx Wildcat (formerly called the Future Lynx) will be the Royal Navy’s new maritime surveillance and attack helicopter. Scheduled to enter service in 2015, 28 helicopters have been ordered for the Royal Navy. The AW159 will provide ship defence against surface threats, act in an anti-submarine role and operate as a light utility helicopter. The Stores Management System will enable the AW159 to operate the lightweight Sting Ray torpedo as well as the anticipated Future Air-to-Surface Guided Weapon (FASGW).

General Dynamics UK has used SPARK across its Stores Management System product line since the early 1990s. Previous projects include systems for the Tornado, Harrier and Typhoon aircraft.

"Meeting strict safety-critical certification is central to the new Stores Management System for the AW159 Wildcat," said Steve Hewitt, Programme Manager, Mission & Security Systems, General Dynamics UK Limited. "Our ongoing partnership with Praxis meant that SPARK was the natural choice when it came to developing this mission-critical application to the highest safety standards."

Developed by Praxis, SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes.

"General Dynamics UK is an extremely mature user of Praxis' SPARK technology, and I am delighted that they have once again chosen our technology for a new development project," said Keith Williams, Praxis Managing Director. "This secures SPARK as a core tool for assuring the integrity of advanced weapons systems with its use on a wide range of air platforms."

About Altran Praxis

Altran Praxis is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran Praxis leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. It offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are aerospace and defence, rail, nuclear, air traffic management, automotive, medical and security. The company operates globally with active projects in the US, Asia and Europe. The headquarters of Altran Praxis are in Bath (UK) with offices in Sophia Antipolis, London, Paris, Loughborough and Bangalore. Altran Praxis is an expertise centre within, and wholly owned by, Altran which is a global leader in innovation engineering and employs 18,000 staff across the world.

www.altran-praxis.com

Press contacts:

Leena Chauhan
Altran Praxis
press@altran-praxis.com

Chris Measures/Clodagh Boyle
Speed (for Altran Praxis)
altran-praxis@speedcommunications.com

Close...
3rd Sep 2009

Praxis appoints security business manager

Andrew Proctor to drive security business growth.

Praxis, the international specialist in critical systems engineering and assurance, today announced the appointment of Andrew Proctor as Security Business Manager. Andrew will be responsible for addressing the needs of customers in the security sector.

Read more...

Praxis recognised the growing demand for ultra-low defect software and embedded software within the security sector following the success of the Tokeneer project. Commissioned by the US National Security Agency (NSA) as a demonstrator of high-assurance software applications, the system was delivered by Praxis well ahead of expectations by applying its software development philosophy and practices. The system demonstrated the possibilities of defect free highly secure software application development and execution.

This high-assurance and secure capability has a direct impact on Information Assurance (IA) applications and systems (such as encryption, access control, biometrics and secure radio) where the Praxis expertise can be used by systems developers to produce ultra-low defect output. Praxis provides high integrity, low defect software, critical systems engineering, risk assessment and consultancy to applications where security and safety are crucial. In addition to the security sector, Praxis supports air traffic management, rail, aerospace, defence and nuclear clients.

Andrew brings over 20 years experience in engineering, sales and business development to Praxis, and will be responsible for spearheading the provision of the full range of Praxis’ services to the security sector.

"The Tokeneer project demonstrates that Praxis is the leader in developing and delivering ultra-low defect software to help achieve the highest levels of security and information assurance," said Andrew Proctor, Security Business Manager, Praxis. "By applying the methods and skills of safety critical engineering to security critical applications Praxis has the necessary expertise and experience to deliver solutions to national security organisations and their partners globally."

Following 11 years in the Royal Navy as a communications engineer, Andrew has since accumulated experience driving forward business growth for high technology organisations such as Spirent Communications, SGS Wireless and most recently VT Communications. Andrew is also a member of the Institute of Sales and Marketing Management and aims to apply his skills to assist with the system and security aspects of new programmes and developments in the security industry.

Mike Greenan, Director, Praxis, said: "National security has little room for error and it is vital that agencies have the correct technology in place to eliminate system vulnerabilities. We firmly believe that Andrew’s arrival to the team will help us to embrace this market opportunity and grow our business in this area."

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
30th Jun 2009

Praxis hires sales professional to drive rail business growth

Praxis, the international specialist in safety assurance and critical systems engineering, today announced the appointment of Ken Greenwood as Business Manager in its rail division. Ken will be responsible for steering the business forward by developing existing and new relationships with key partners in the rail industry.

Read more...

Praxis offers industry expertise in all aspects of rail system safety management including safety assurance and assessments, Notified Body certification, Engineering Safety Management (Yellow Book) and ultra low defect embedded software.

Ken brings to Praxis more than 20 years of international experience selling high value solutions to infrastructure providers within a wide range of markets. Through these skills, Ken will use the extensive technical expertise of Praxis to assist with the system and safety aspects of new programmes and developments in the rail industry.

"With the recent increase in demand for rail services, it has never been more important to correctly manage the system and safety aspects of any new technologies designed to increase capacity and reduce congestion. Praxis has the right blend of industry experience and critical systems expertise to meet these market demands," said Ken.

Ken’s career history includes roles held at leading UK and international transportation and technology companies. His most recent post was at Cubic Transportation Systems Limited, where he was responsible for driving UK sales in revenue protection solutions. Prior to that Ken held a variety of roles overseeing global sales and marketing at Schweers Informationstechnologie GMBH, Parkeon Inc, Axalto and GPT Payphone Systems.

Mike Greenan, Director, Praxis, said: "Ken joins Praxis at a perfect time. We have recently expanded the software and safety services we offer to clients, and combined with the growing market opportunity I have no doubt that Ken will help to grow our business in the rail sector."

Part of the global Altran Group of companies, Praxis also delivers high integrity software, consultancy and safety assessment to the aerospace, defence, air traffic management, and nuclear markets.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
22nd May 2009

Praxis receive RoSPA health and safety accolade

Praxis, the international specialist in critical systems engineering, has been recognised by RoSPA for its commitment to protecting the health and well-being of its employees and others. The Silver Award in Occupational Health and Safety clearly demonstrates Praxis’ dedication to improving performance in this crucial area and reinforces the message that good health and safety is vital for business.

Read more...
The Silver award was presented at a ceremony at the Birmingham Hilton Metropole Hotel, at the National Exhibition Centre, on 14 May 2009.

Keith Williams, Managing and Safety Director, Praxis, said: "Praxis aims to be the best place to work in engineering, and taking care over the safety, health and well being of our employees is key to achieving this goal. I am delighted with the award and very pleased for the team that worked so hard to achieve it."

Praxis maintains a high standard of health and safety by only appointing individuals with nationally recognised qualifications in health and safety such as NEBOSH or CIEH. It also has a programme in place for training first aiders and fire wardens, and offers staff support services including an occupational health nurse and assistance on a range of issues including stress counselling. Praxis staff can also access health and safety information at all times through an intranet, internal notice boards and regular updates in company meetings.

David Rawlins, Awards Manager, RoSPA, said: "By winning the RoSPA Silver Award, Praxis has shown that it places great importance on staff welfare by ensuring that a high standard of health and safety measures are in place."

RoSPA is committed to reducing the number of accidents and cases of ill-health in the work place by helping organisations to apply sufficient health and safety management practices.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
2nd Apr 2009

Praxis aids Renault F1 team in ground-breaking energy recovery project

Delivers critical engineering consultancy for system successfully used at Australian Grand Prix.

Read more...

Praxis, an Altran Group company and international specialist in critical systems engineering, has helped the Renault F1 Team’s performance in the season-opening Australian Grand Prix. Working in collaboration with Altran Technologies UK, Praxis provided software consultancy and system analysis to Renault F1 on its new Kinetic Energy Recovery System (KERS).

Fernando Alonso finished fifth in the Australian GP, scoring four points for the Renault F1 Team while his team mate Nelson Piquet retired after racing in the top eight positions.

New for 2009, KERS stores energy created during braking and makes it available for drivers to boost engine performance by up to 80 horsepower (hp) for 6.7 seconds later in the same lap. In the Renault F1 Team system, the energy charges a battery and is then released through a cockpit-mounted boost button. The system consists of three important parts – an electric motor situated between the fuel tank and the engine, linked directly to the crankshaft; lithium-ion batteries and a control system box.

Praxis is part the Altran Group, a technical partner of Renault F1 Team. As part of its partnership, Altran provides engineering assistance to Renault F1 Team. For this project Praxis provided critical systems engineering to the team, analysing the control system software and providing consultancy to ensure it provided optimum performance with minimum risk to the drivers. Renault F1 Team operated its KERS system for the first time in the last week of January.

"KERS is a major new innovation that promises to introduce green technology to Formula One," said Tad Czapski, Vehicle Technology Director, Renault F1 Team. "It
aims to deliver a step forward in performance that could ultimately benefit motorists around the globe. Working with Praxis has helped us meet the complex challenge of creating our KERS system and ensuring it delivers where it matters - on the track."

As well as the two Renault F1 Team cars of Fernando Alonso and Nelson Piquet, the Renault KERS unit will be deployed by the Red Bull Racing Team, which is also powered by Renault engines.

"Creating successful Formula One technology is amongst the toughest challenges in engineering," said Keith Williams, Praxis Managing Director. "It requires ingenuity, high tempo delivery and total engineering precision. Delivering innovation in critical environments to demanding deadlines is central to Praxis’s operations. This project enabled Praxis to transfer its expertise gained from other critical embedded applications, such as fifth generation stealth fighters, to Formula One. It has been a great opportunity to help deliver innovation with tangible benefits, as well as to work with the talented engineers at Renault. Following the Australian Grand Prix result we wish the Renault F1 Team and its drivers every success for the rest of the season."

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
24th Mar 2009

Praxis and AdaCore Announce SPARK Pro

Ada UK Conference, London, UK, March 24th, 2009 - Developers creating safety critical and high assurance systems will benefit from today's launch of SPARK Pro. The new open source development environment has been created by Praxis, international specialist in critical systems engineering, and AdaCore, the leading provider of commercial software solutions for the Ada language.

Read more...

SPARK Pro combines the proven SPARK language and supporting toolset with AdaCore's easy-to-use GNAT Programming Studio (GPS) Integrated Development Environment, backed by unrivalled support services. This provides a powerful method for developing critical systems.

Developed by Praxis, SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes. There are versions of SPARK based on Ada 83, Ada 95, and Ada 2005, so all leading Ada compilers and tools work out-of-the-box with SPARK.

The new development environment will be globally available from AdaCore, with support delivered by both companies using AdaCore’s web based GNAT Tracker support system. Existing SPARK users have the option to transition to the new environment, which is also available as a standalone product. The launch of SPARK Pro is the first available product following the technical and marketing partnership announced in Q4 2008 between Praxis and AdaCore.

"SPARK continues to be used for the development of new advanced critical systems as well as support of existing operational systems, so it is vital that it continues to develop – SPARK Pro is a major step forward in usability and support through our partnership with AdaCore," said Keith Williams, Praxis Managing Director.

"The launch of SPARK Pro integrates the strengths of the best development tools in the market. Our partnership combines our proven expertise with AdaCore’s user interface, global reach and support systems to deliver the perfect solution for safety and security developers. This is great news for the SPARK language and our existing and future customers."

"AdaCore and Praxis share a commitment to enabling high quality, high-integrity development," said Robert Dewar, AdaCore President and CEO.

"I am excited by the possibilities of this partnership. The SPARK technology is an outstanding demonstration of the fact that formal methods technologies are practical today, and hold enormous promise for the future. The launch of SPARK Pro which integrates SPARK Pro and GNAT Pro into a coherent FLOSS tool set and environment extends the benefits of SPARK to existing and new GNAT Pro users. I expect this combination to play a major role in high integrity development, especially for the increasingly important security-critical area".

"Praxis has worked with AdaCore for many years and the development of common technology was the next logical step," said Sylvain Haman, Praxis Director.

"SPARK Pro will enable our clients world-wide to ensure correctness of their software while enjoying the convenience of an enhanced development environment."

Praxis and AdaCore have a long history of working together on high profile systems. These include the Tokeneer project developed by Praxis for the US National Security Agency (NSA) using the SPARK Ada language and toolset and AdaCore GNAT Pro.

SPARK Pro is available now. For more information please visit Praxis or AdaCore.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
24th Feb 2009

Praxis at Ada UK - 24th March 2009

Praxis is attending and exhibiting at the Ada Conference UK to be held on 24th March 2009 in London. Speakers from Praxis will include Rod Chapman, Product Manager for SPARK and Janet Barnes one of Praxis' key technical authorities.

24th Feb 2009

Praxis at ATC Global - 17th to 19th March 2009

Praxis will be exhibiting at ATC Global on 17-19 March 2009 at the Amsterdam Rail Exhibition and Congress Centre.

28th Oct 2008

Praxis and AdaCore Announce Strategic Partnership

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.

Read more...
Praxis’ Correctness by Construction methodology is a combination of mature software engineering techniques, leading-edge tools, and innovative approaches that help bring higher productivity, lower defect rates, and lower support costs for high assurance software. Indeed, Praxis is unusual in offering warranties on the correctness of their delivered software. Correctness by Construction is based on a number of principles, such as expecting requirements to change, eliminating errors before testing, developing incrementally, and writing software that is easy to verify. The methodology has been successfully employed on a number of delivered high-security and safety-critical systems.

AdaCore has a long history in supplying solutions for the avionics safety-critical market with its GNAT Pro High-Integrity Edition for DO-178B. Praxis, the developer of the Ada-based SPARK language and its supporting toolset, has expertise and intensive experience in both the safety-critical and high-security arenas.

“I am convinced there are significant technical and market opportunities for SPARK, and the partnership with AdaCore will enable these opportunities to be realised much faster,” said Keith Williams, Praxis Managing Director. “We share the same technical vision and have the same passion for product support. This is good news for our clients.”

“The new AdaCore-Praxis partnership gives our clients wider access to SPARK worldwide, improved support service, and access to a new high-integrity toolset, SPARK Pro, to be added to AdaCore’s offering during the first half of 2009,” added Sylvain Haman, Praxis International Development Director.

“AdaCore has worked with Praxis for several years, and we appreciate how their Correctness by Construction methodology and the SPARK language and toolset have advanced the state of the practice in the high-security and safety-critical domains,” said Robert Dewar, President and CEO of AdaCore. “Many of our customers are interested in using SPARK with GNAT Pro, and this new partnership will provide them with an effective and well-integrated solution that can address requirements ranging from MILS architectures to DO-178B Level A.”

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...

2008

6th Oct 2008

US National Security Agency releases secure software project to open source community

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.

Read more...
The Tokeneer project was commissioned by the NSA from UK-based Praxis High Integrity Systems as a demonstrator of high-assurance software engineering. Developed using Praxis’ Correctness by Construction (CbyC) methodology it uses the SPARK Ada language and AdaCore’s GNAT Pro environment. The project has demonstrated how to meet or exceed Evaluation Assurance Level (EAL) 5 in the Common Criteria thus demonstrating a path towards the highest levels of security assurance.

The unprecedented release of the project into the community aims to demonstrate how highly secure software can be developed cost-effectively, improving industrial practice and providing a starting point for teaching and academic research. Originally showcased in a conference paper in 2006, it has the long-term aim of improving the development practices of the NSA’s contractors. Tokeneer was created as a fixed price project, taking just 260 person days to create nearly 10,000 lines of high-assurance code, making development costs lower than traditional methods per line of code.

“We are extremely proud of the Tokeneer project,” said Keith Williams, Praxis Managing Director. “We hope the research, teaching, and open-source communities will put the material to good use as a model of high-assurance software development.”

Tokeneer has been written in SPARK Ada, a high level programming language designed for high-assurance applications. Originally a subset of the Ada language, it is designed in such a way that all SPARK programs are legal Ada programs. Ada is the natural choice for mission-critical, high integrity systems due to its combination of flexibility, reliability and ease of use, and SPARK further adds a static verification toolset that combines depth, soundness, efficiency and formal guarantees.

“The Tokeneer project has the potential to revolutionize the development of highly secure systems,” said Robert Dewar, President and CEO of AdaCore. “By releasing Tokeneer to the community, the NSA will help drive good programming practice and demonstrate the importance of SPARK and Ada, to the emerging security market. We are delighted to be involved with Praxis and the NSA in this ground-breaking project."

The project is aimed at both the industrial and academic communities, forming an ideal base for further research in program verification and as a high level teaching aid for educators. It will also be contributed to the Verified Software Repository under the auspices of the current “Grand Challenge” in Dependable Systems Evolution.

“The Tokeneer project is a milestone in the transfer of program verification technology into industrial application. Publication of the full documents for the project has provided unprecedented experimental material for yet further development of the technology by pure academic research. It will serve as a touchstone to chart and measure progress of the basic science of programming, on which the technology is based.”
Sir Tony Hoare, FRS, of Microsoft Research, and founder of the Grand Challenge

“The publication by Praxis and NSA of the Tokeneer system is a fantastic contribution to the software engineering research and teaching community. Good case studies have been very hard to find, and have often been proprietary. Finally, we have a full and open example of a development from a world leader in high integrity systems with exemplary requirements, specifications, design and code. I'm very excited about the impact this might have in our field, in both teaching and research, and the potential it might have in moving us towards a more open community with greater collaboration between industry and academia, and a more constructive engagement of theory and practice."
Professor Daniel Jackson of Massachusetts Institute of Technology, Computer Science Laboratory

Discover more about the Tokeener Project here.

Discover more about SPARK here.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
24th Sep 2008

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.

24th Sep 2008

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.

Read more about SPARK

10th Mar 2008

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. The following are summaries of the articles..

Read more...

P. Nienaltowski, B. Meyer, J. Ostroff: Contracts for concurrency, DOI 10.1007/s00165-007-0063-2, January 2008
The traditional correctness semantics of preconditions and postconditions is not suitable for concurrent programming. This article outlines a new semantics for preconditions and postconditions which applies equally well in concurrent and sequential contexts and permits a flexible use of contracts for specifying the mutual rights and obligations of clients and suppliers while preserving the potential for parallelism. We argue that the new semantics is a generalisation of the traditional correctness semantics. We also propose a proof technique for concurrent programs which supports proofs - similar to those for traditional non-concurrent programs - of partial correctness and loop termination in the presence of asynchrony.
Download the PDF

P. Nienaltowski: Flexible access control policy for SCOOP, DOI 10.1007/s00165-008-0072-9, February 2008
The contract-based SCOOP model enables the construction of object-oriented concurrent applications with little more effort than sequential ones. The model provides strong safety guarantees: mutual exclusion and atomicity at the routine level, and FIFO scheduling of clients' calls. Unfortunately, in the original proposal of the model these guarantees come at a high price: they entail locking all the arguments of a feature call; in most cases, the amount of locking is higher than necessary. We propose two refinements of the access control policy for SCOOP: a type-based mechanism to optimise locking, and a lock passing mechanism for safe handling of complex synchronisation scenarios with mutual locking of several separate objects. These refinements increase the expressive power of the model, give programmers more control over the computation, and enable more potential parallelism, thus reducing the risk of deadlock.
Download the PDF

Please note the above PDFs are pre-print versions. For more information please visit FACJ or email info@altran-praxis.com

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
3rd Mar 2008

Praxis at ATC Global

Two articles by Piotr Nienaltowski of Praxis on concurrent programming with Design by Contract appeared in the Formal Aspects of Computing Journal recently. The following are summaries of the articles..

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.

The event has consistently grown since its launch in 1990 to become the world's largest event for the air traffic control management industry. The exhibition brings together suppliers and key buyers and specifiers of air traffic control and management products and services from all over the world and every area of the industry.

Praxis will be exhibiting on stand H125. The company employs systems, software and safety engineers with almost 20 years' experience in Air Traffic Management and will be showing its full range of services, including;

  • Ultra-low defect software development (to ESARR 6)
  • Safety case development and human factors assessment (to ESARR)
  • Safety training (to ESARR 3, 4 and 6)

Praxis has a proven track record in the ATC and ATM markets.

2007

30th Nov 2007

Praxis sponsors top nuclear industry event

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.

Read more...
Bringing together the industry’s top performers, the prestigious dinner, which acts as a fitting conclusion to the Energy Choices 2007 Conference, will be held at the Royal Lancaster Hotel on Thursday 6 December.

The BNES dinner will be preceded by the society’s annual lecture, which this year will be lead by Sir John Harman, chairman of the Environment Agency. In addition to the leading insight offered during the lecture, dinner guests will also hear from the illustrious chairman of the NIA, Lord O’Neill of Clackmannan in a post-dinner speaking slot.

Due to attract capacity attendance the lecture and annual dinner will enable conference delegates to reflect on discussions taking place earlier in the day, lead by key nuclear industry figureheads such as Rt Hon John Hutton, Brian Cox (CERN), Bill Coley of British Energy, Murray Elston from the Canadian Nuclear Association and Terry Selby on the NDA’s communications challenge.

The conference will also include a special BBC Question Time session chaired by leading broadcaster John Humphreys.

The Energy Choices 2007 Conference, where Praxis will also be exhibiting, will take place at the Church House Conference Centre, London.

The conference will be looking at the key consultations on planning, justification, and strategic sitting of new nuclear power stations following the Government’s White Paper which has underlined nuclear power’s role as an essential part in delivering a low-carbon future for the UK. The decommissioning and waste management aspects of nuclear power will also be high on the agenda.

The conference is being organised by British Nuclear Energy Society.

For further information on the Conference go to
http://www.energyinst.org.uk/documents/ENERGYCHOICES_000.pdf

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
30th Nov 2007

Making a difference

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.

Read more...

Official documents may describe it as a forward air traffic control centre, but in reality it's a Portakabin perched on the edge of a makeshift airstrip. Those inside face the constant threat of enemy attach and protective clothing is a must.

So when forward air traffic controllers in Iraq discovered that their radio headsets were too bulky to wear under a helmet, finding a solution was potentially a matter of life and death.

The task fell to Racal Acoustics, a British defence engineering firm employing around 190 people. "Within two weeks our rapid prototyping lab had adapted, tested, manufactured and shipped a headset that could be warn under a helmet," says Michael Stembridge, Racal's head of engineering. "Today's customers want rapid delivery of protoypes and samples so we have a designated laboratory, which is where we developed the headset."

Such quick responses may not be what is expected from a defence industry better known for taking a decade to develop a submarine or jet fighter. But they are becoming increasingly common through a combination of commercial rivalry and the pressures of active operations in Iraq and Afghanistan.

"The speed and adaptability of our current opponents is massive," says Giles Cowling, from the MoD's Defence Science and Technology Laboratory (DSTL). "The can develop new threats very quickly, so our watchwords now are flexibility and responsiveness."

A degree of lateral thinking may be required according to Cowling. To protect a vehicle from roadside bombs, for example, engineers could add more armour plating. But, in order to calculate the optimum positioning and thickness they may need to know where the bomb is likely to be placed and what it might be made of. An alternative solution could be a bomb detection device. But how will this be fitted and how will the troops use it?

Thinking more laterally still, would it be better to deploy unmanned reconnaissance aircraft to sniff out the enemy before it can detonate, or even place a bomb? And once the unmanned place has located a target, can the information be interpreted in real time to direct a missile strike from a fighter aircraft or armoured vehicle that may be miles away from a target?

Defence engineers call this "systems thinking": combining elements so that the while is greater than the sum of its parts.

"It takes a special kind of teamwork to make it a success," says Cowling, "with people who adopt a flexible approach with different engineering disciplines."

To speed up development defence firms are adopting "lean systems engineering" techniques, which were first developed by the automotive industry. "We want to really understand the requirement and deliver that and nothing else, cutting out all the waste in the process," says Keith Williams, Managing Director of British defence software firm Praxis High Integrity Systems. The approach enables an aircraft's weapon systems to be certified in weeks rather than months.

Systems engineering can be applied to the largest projects. "The key is to break a complex system into manageable parts," says Paul Stein, the MoD's science and technology director. "If you do this right, the cost of inserting new technology during the system's life drops considerably." This will enable new fighting platforms like Eurofighter or the FRES armoured vehicle to remain at the cutting edge for a decade or more.

Another key change in the defence market is support for the whole of a system's life. "Today's defence customer is focused on buying capability, not products, so it's expected that the provider will support a system through its operational life," says Mike Simms, vice-president for account management at aerospace and defence giant EADS.

Maintenance and enhancements can account for 70 per cent of the lifetime value of a contract, and support obligations mean the supplier's staff may have to travel anywhere in the world, including into combat zones.

The effect on defence suppliers can be profound. "You're creating a complete business enterprise that maintains and supports the system through its entire life," says Williams.

First appearing in The Daily Telegraph, Thursday 22 November 2007. (This report was by Paul Bray and is copyright of The Daily Telegraph)

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
30th Aug 2007

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. Thales UK specialises in developing high integrity software for evaluation and validation of mission plans and to ensure that this software is developed to the required standard, SPARK Ada is used as part of a rigorous development process. One of the primary goals was to select a tool with a proven reputation in the Safety community. The SPARK tool met all of the requirements and is now being used on a major programme.

Read more...

SPARK provides a programming language and verification environment for high-integrity software. The core SPARK language combines an unambiguous subset of Ada with annotations or "contracts" that allow wholly static verification of key program properties such as information-flow, absence of run-time errors, program correctness, and invariant safety and security properties. The toolset offers a combination of soundness, completeness, efficiency and analytical depth which is unmatched by any other language. SPARK also meets all known regulatory requirements and standards for high-integrity software.

"We are very pleased that Thales UK has selected SPARK for this programme" said Rod Chapman, SPARK Products Manager and Principal Engineer at Praxis. "This win further re-enforces SPARK's position as the de-facto choice for software where high-integrity or ultra-low defect rates are required."

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
10th Aug 2007

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).

Read more...
The first, “Software for Dependable Systems: Sufficient Evidence?”(link 1 below) from the US National Academies, calls for an evidence-based approach to software assurance - something that Praxis has long practised and advocated in the UK. The report refers to several Praxis projects as examples of best practice in software engineering, particularly in the areas of formal methods and programming language design and verification.

The second report, “Software Security Assurance”(link 2 below) from the US Defense Technical Information Center, also identifies Praxis for its work in developing the Correctness by Construction software process, the SPARK programming language, and the SafSec assurance methodology, which Praxis developed for the UK MoD.

Keith Williams, Managing Director at Praxis, commented, “It’s very encouraging to see these significant US bodies identify the technologies and practices that we have advocated for many years. In particular, the call for a more evidence- and product-based approach to software assurance is very welcome.”

References
1. Link to online article 1
2. Link to online article 2

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
25th Jun 2007

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. Clients of Altran group companies were invited to come along to the chalet to see presentations on some of the key issues currently affecting the Aerospace and Defence sector.

Read more...

Speakers representing Praxis included, Dave Jackson and original founder of Praxis, Dr Martyn Thomas, who was recently awarded a CBE for services to software engineering.

The weather held out to the afternoon where clients enjoyed the incredible air displays from the terrace.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
26th Mar 2007

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.

7th Mar 2007

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.

Read more...

The UK government predicts a doubling of air passenger numbers by 2020 and a trebling by 2030 so the introduction of iFACTS is vital. This new technology, installed at the London Area Control Centre, Swanwick, will bring significant safety and capacity benefits.

iFACTS – Interim Future Area Control Tools Support – will not only provide Air Traffic Controllers with a set of advanced tools to increase capacity to meet the growing demand from the civil aviation industry, it will also alert Controllers to flights which are not following their flight plan and detect medium term conflicts, which will also enhance safety capability.

Praxis has written the specification and developed the new software for iFACTS. The company’s work will build on the NATS-led design, and include the use of advanced software engineering. The contract includes training NATS staff in techniques from Correctness by Construction, Praxis' approach for developing very low defect software in critical applications.

Keith Williams, Praxis Managing Director, said "It is extremely exciting to be able to deploy our capability in critical software on the iFACTS project. Praxis is working with NATS at all levels to meet the challenges of the project and ensure its success."

NATS has pioneered research and development of advanced air traffic control tools for several years from its simulator and research centre at Hurn. The iFACTS project will deliver a subset of these tools onto the system at the company’s main en-route Control Centre at Swanwick in Hampshire.

The system monitors radar for the Controllers, and assesses the viability of various options available to them for manoeuvring aircraft, as well as giving them more time to make decisions. Traditional paper flight information strips will be replaced with electronic data lines and more sophisticated split-screen displays. The system has been designed for robustness, and has built-in contingency.

Final trials of the iFACTS tools are currently under way at Hurn and a demonstration system is already installed in Swanwick’s training unit for controllers to try out. Following full development, training, and installation of new workstations at Swanwick, iFACTS will be introduced into service.

Paul Barron, NATS’ Chief Executive commented:
"This is one of the most exciting developments in the aviation industry in decades and we’re now close to introducing it."

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
23rd Feb 2007

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.

During the six hour visit, they received briefings and saw results from several of Praxis' key projects and participated in some training exercises to learn more about Praxis' business and technical approach. The students had an opportunity to put questions to Praxis' Managing Director, Keith Williams over lunch. They also met several Junior Engineers to learn what life is like in a high-tech Engineering consultancy.

2006

20th Dec 2006

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.

Praxis will be focussing on cost-effective approaches to meeting the requirements of ESARR 4 and ESARR 6, Eurocontrol's safety regulatory requirements for risk assessment and software, and CAP 670 SW01, the UK's form of compliance with ESARR 6.

Please do come and visit us on stand 132.

29th Oct 2006

Praxis appoints New Business Manager to aerospace and nuclear 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.

Ivan will be specifically dealing with major defence suppliers where Praxis is already providing advanced systems engineering services.

Prior to joining Praxis, Ivan worked for over two years with PolySpace UK Ltd and worked across the aerospace, automotive and rail sectors, featuring high profile companies such as Airbus, BAE Systems, Visteon, Land Rover, Delphi and Westinghouse. Prior to this he worked with QNX UK Ltd across the aerospace and defence sectors.

Commenting on the appointment, Mike Greenan, Aerospace and Defence Director at Praxis said: "The appointment of Ivan is a key part of growing the Aerospace and Defence business at Praxis. He has considerable experience which will prove invaluable when working across the current diverse range of projects we have with major defence suppliers."

4th Oct 2006

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.

Read more...
Prior to joining Praxis, Mike worked for over 16 years with British Energy. During this time, he held a number of positions including Station Physicist and Operations Manager at the Dungeness B Nuclear Station.

Mike's 20 years of safety expertise has also seen him carry out safety due diligence for the acquisition of Bruce Nuclear Park for British Energy. Mike is a member of INucE and PWI and is a Charted Nuclear Engineer.

Commenting on the appointment, Sylvain Haman, Director at Praxis said: "Mike's considerable experience of safety engineering within the nuclear sector will undoubtedly assist Praxis to increase work in these sectors. In particular, as there is such a huge safety element to both the decommissioning of nuclear power stations and the licensing applications for new builds, we expect Mike to play a pivotal role in developing work on these hugely important nuclear programmes."

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
27th Jul 2006

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.

Prior to joining Praxis, Allan worked for nearly 10 years with Lockheed Martin UK Ltd in Havant and was also an Intelligence Analyst in Brampton, Whitehall and Berlin. He has worked on many high profile projects, including the Soothsayer project, AIMMS (The Advanced Integration and Management of Maritime Sensors) and GBAD (Ground Based Air Defence).

Commenting on the appointment, Mike Greenan, Aerospace and Defence Director at Praxis said: “Allan is an excellent appointment for Praxis, he has considerable experience of the Aerospace and Defence sector which will enable us to expand our client portfolio in the UK and abroad. The provision of NEC is a vital component of the Ministry of Defence initiative to enhance the operational effectiveness of UK forces and their interoperability with our allies. The critical nature of the data rich environment in which our forces currently operate, means our core capability in systems engineering for complex highly integrated systems becomes more and more relevant.”

14th Jun 2006

Rolls-Royce selects Praxis for software for Trent 1000 EMU

Praxis High Integrity Systems, the UK 's leading developer of critical software systems, 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.

Read more...
This contract follows the recent delivery of a critical software package for the Rolls-Royce Trent 900 EMU, which will go in into service on the Airbus A380 in early 2007. The Boeing 787 and Airbus A380 will be some of the first commercial airliners to benefit from EMU technology, which analyses engine performance data in-flight and provides reports on the condition of engines to ground-based engineers. This information, which is drawn from measurement of vibration, pressure and temperature parameters, enables rapid predictive maintenance, increased operational flexibility and lower cost of ownership.

EMU data will enable these engines (and future members of the Trent family of engines) to maximise efficiency and reduce maintenance by allowing Rolls-Royce support teams to predict likely operational issues and make decisions quickly to maintain the engine or deal with technical problems as soon as the aircraft lands.

Praxis has played an integral part in the design, build and integration of the EMU. Keith Williams, Managing Director of Praxis, commented: "Our record and experience of designing and implementing critical software for advanced applications within the aerospace industry enabled us to win the initial Trent 900 EMU contract, which we have now successfully delivered. We believe that success assisted us in obtaining the order for the Trent 1000 EMU and we look forward to working with Rolls-Royce on this and to seeing the A380 in service next year, powered by the Trent 900 with Praxis software on board."

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
12th Jun 2006

Praxis produce 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).

Read more...

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.

The NSA commissioned this work to evaluate, under controlled conditions, the suitability of Praxis's Correctness by Construction (CbyC) software development method for the development of high-security systems. Praxis and its clients have used CbyC for fifteen years to develop high-integrity software, and the NSA wanted to carry out its own evaluation.

The software developed by Praxis was tested independently of both Praxis and the NSA. During independent test and subsequent use, zero defects were reported. Development costs were lower than traditional methods per line of code.

Keith Williams, Praxis Managing Director, commented "I'm delighted that we are now able to publish the results of this work, which provide further evidence for the cost-effectiveness of Praxis's software development method for high-security software".

The work is reported in the paper "Engineering the Tokeneer Enclave Protection Software", co-authored by Praxis and the NSA, and published in the Proceedings of the IEEE International Symposium on Secure Software Engineering, held in March 2006 in Arlington, Virginia, USA. This paper is available from the Whitepapers section of the Praxis website.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
27th Apr 2006

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.

Read more...

Praxis will use its eSafetyCase tools to develop the Safety Case for Watchkeeper. This recent innovation minimises the Cost and Time of safety argument development and simplifies scrutiny by assessors and approvers.

Praxis worked very closely with Thales UK as part of the bid team and during the risk reduction phase, and also assisted Thales UK in obtaining flight clearance to fly the Elbit Hermes 450 UAV, from which the WK450 air vehicle is derived, at Aberporth in 2005 - the first time a large UAV has flown in civil air space.

Keith Williams, Managing Director of Praxis said: "Watchkeeper is a strategic win, reinforcing our position as the safety partner of choice for defence prime contractors wanting to introduce advanced defence technology such as autonomous systems."

Watchkeeper will provide the UK armed forces with an essential Intelligence, Surveillance, Target Acquisition and Reconnaissance (ISTAR) capability based on a tactical unmanned air vehicle (UAV) system and will be a key component of the UK's drive for Network Enabled Capability (NEC).

Alex Dorrian, CEO Thales UK said: "This is the latest example of Watchkeeper contracts flowing down to the UK supply chain. Bath based Praxis is a key member of our Watchkeeper team. Their expertise in safety engineering and management is unquestioned and was instrumental in getting flight clearances last September for the first UK flight of the Hermes 450, the UAV on which the WK450 is based."

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
23rd Feb 2006

Praxis featured in Financial Times

Praxis High Integrity Systems (Praxis), has been included in an engineering sector article in the Financial Times (February 2006).

Read more...

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.

Positioned alongside industry giants such as BAE SYSTEMS and Network Rail, Praxis Managing Director, Keith Williams was quoted as saying: "Systems engineers will become more and more important as systems become more complex and the ability to connect them becomes more important."

To read the article in full visit: www.ft.com (FT Reports - Engineering. The Demographic Time Bomb is Ticking by Huw Richards).

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
30th Jan 2006

New Business Manager for rapidly expanding transport division

Praxis High Integrity Systems (Praxis), a leading specialist in critical systems engineering has appointed Ben Blackwall as Business Manager for its Transport Division. Following the recent merger between Aspect and Praxis, the Praxis Rail and Underground business has expanded rapidly, creating the opportunity for Ben Blackwall to further develop the company's Dutch Rail work with leading players such as ProRail, NS, Bombardier and Siemens, and respond to the demand for more Safety Management consulting.

Read more...

Prior to joining Praxis, Ben worked with AEA Technology, holding the position of Account Manager for major Transport clients, including London Underground and Metronet.

Praxis has worked with a diverse international client base that includes governmental organisations, regulatory authorities, infrastructure owners, product suppliers and operators within the rail and underground business. Major projects include requirements engineering for the UK 's National ERTMS Programme, safety engineering for the Piccadilly line extension, ISA for the Jubilee and Northern Line Upgrade and Notified Body of Alstom's Eurobalise.

Commenting on the appointment, Sylvain Haman, Director at Praxis said: "We are delighted that Ben Blackwall has joined Praxis. His experience of consulting into the rail and underground business will enable us to embrace increasing requirements for Praxis' expertise in the UK and abroad. This further demonstrates our proven track record in working efficiently with national and international organisations with stringent requirements for safety and certification."

Praxis has developed a global reputation in the fields of safety management, safety critical software development, systems engineering and European Certification.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...

2005

1st Sep 2005

Leading technology publication praises Praxis High Integrity Systems

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.

Read more...

In the article, called 'The Exterminators' , contributing editor Philip E. Ross features the British firm, highlighting their approach to the development of ultra-reliable computer systems. The article showcases the MULTOS CA-an ultra-secure smartcard certification authority that was developed by Praxis HIS for MasterCard International.

Praxis HIS has developed a world-class reputation within the software world for producing near defect-free software. Using mathematically based techniques, known as formal methods, Praxis HIS builds software with a simple creed: that defects should be systematically tracked down and ruthlessly exterminated during all stages of a project.

Although Praxis HIS is tiny when compared to the software giants such as Microsoft, Oracle and SAP it has developed some highly complex and customized systems that need to be incredibly reliable. This includes air-traffic control systems and, more recently, a highly secure demonstration system for the NSA-the U.S. signals intelligence and cryptographic agency.

Commenting on Praxis HIS, John C. Knight, Editor-in-Chief of IEEE Transactions on Software Engineering and Professor of Computer Science at the University of Virginia , said, "They're very, very talented, with a very different approach." Praxis's founders, he says, believed building software wasn't as hard as people made it out to be, "They thought it isn't rocket science, just very careful engineering."

Peter Amey, Praxis Chief Technical Officer commented, "We're delighted that IEEE Spectrum has chosen to highlight the success of Praxis HIS. To be the focus of such a prestigious publication is a real coup for everyone connected with the company."

IEEE Spectrum , with more than 360,000 readers in over 150 countries, explores the development, applications, and implications of new technologies and trends in engineering and science, providing a forum for understanding, discussion, and leadership in these areas.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
19th Apr 2005

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.

Read more...
Rod Chapman, Products Manager at Praxis HIS commented: "AdaMagic is an obvious partner for our SPARK Language and Technology. AdaMagic gives us the ability to use SPARK as a high-level design and specification language while generating readable ANSI C that can be targeted to small devices and machines where SPARK would not normally be considered."

Stephen F. Clairmont, senior vice president, Sales & Strategic Alliances, SofCheck commented: "We were looking for a distribution partner that could not only expand our reach, but that also shared our market focus and dedication to quality. Praxis HIS has earned a reputation as a provider of the highest quality IT consulting and engineering solutions to the safety critical markets that can benefit from SofCheck technology. We are very pleased to be working with them, and anticipate a rewarding relationship."

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
6th Apr 2005

Recruiting the best of the best

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

Read more...

The attendees will have a chance to visit the Praxis HIS offices as well as undergo an interview on the day. Those graduates that are successful will be given the opportunity to join Praxis HIS to work on systems engineering, software development, safety assurance, information security and risk management projects.

The day forms part of the ongoing growth strategy for Praxis HIS and if successful will be repeated at a later date. Graduates will be recruited for the Bath, London and Loughborough offices.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
29th Mar 2005

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.

We have developed the SafSec Methodology, which combines

  • a unified approach to risk assessment for safety and security,
  • a risk directed design process, and
  • a process supporting certification of modules within a modular architecture.

This paper, which introduces the methodology and explains its benefits, was presented at the Safety Critical Systems Symposium in February 2005. Click here if you would like to know more about the SafSec project.

24th Jan 2005

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.

Martin Croxford will be presenting a seminar on meeting the secure software challenge in ATM - how to achieve low-defect secure software at a sensible price, in the light of ATC software regulation such as ESARR 6 and SW01. The seminar will present a case study from Praxis' work with the US National Security Administration. Martin's seminar is on Tuesday 1st February at 15:30.

Visit us on stand 124.

20th Jan 2005

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.

Read more...
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.

RTCA DO-254 "Design Assurance Guidance for Airborne Electronic Hardware", also known as EUROCAE ED-80, is a design and development standard for safety-critical electronic hardware in avionics. It is used by the Federal Aviation Administration, and European Aviation Safety Agency. As an example, it is now requested by Airbus on the A380 and other recent programs, and has been adopted by companies operating in other areas as a representation of "best practice".

As innovators in the area of high-integrity programmable logic development and verification, Praxis HIS brings over a decade of experience in safety-critical software development and verification to the DO-254 Partners Group. We aim to support development and verification of existing systems, and lead research into programmable logic program development techniques.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...

2004

11th Oct 2004

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.

Read more...
The new company remains part of the 16,000 strong Altran Group, a recognised global leader in innovative engineering and technical partner to the Renault F1 team. Praxis High Integrity Systems will lead the service offering in High Technology Engineering for Altran’s US and Northern European business. Altran expects to invest in further growth and international development for the new company, already employing 120 engineers and consultants known for the superlative quality of their contribution to developing vital systems across business and industry.

For more than 20 years, Praxis and HIS have already successfully delivered systems and engineering consultancy across the Aerospace and Defence, Automotive, Rail, Nuclear, Telecommunications and Finance sectors, so the merged company will be a stronger force in these markets in future. Combining proven domain knowledge and experience with new service offerings such as Security Engineering and Delivery Management means more opportunities for new and existing clients to work with the new team.

In a business environment where clients want dependable supply partners able to offer leading-edge services and innovative solutions, Praxis High Integrity Systems delivers. Our client-focussed approach is specifically aimed at understanding client’s needs and challenges and adapting our best-in-class principled engineering to meet those needs. Our goal is always to deliver the right solution at the right quality – fit for purpose first time.

With ‘lean’ engineering processes understood by all our staff, Praxis HIS brings a team approach that makes rapid strides in building resilient solutions to highly complex problems. And to prove it has ultimate confidence in its abilities to do so, Praxis HIS regularly arranges fixed price and gainshare contracts with clients.

Our mission is to be a successful and agile company founded on technical engineering excellence, capable of creating and developing the best engineering talent. The new organisation is structured to deliver this with a mix of Market Sector specialists and Communities of Expertise (CoEx), including Software Engineering, Systems Engineering (including Requirements Engineering), Project/Operational Risk Management, Programme Delivery Management, Safety Engineering, Security Engineering and Human Factors. Each CoEx is hard at work delivering not just expertise into customer projects but also Intellectual Property in the form of software products, training courses, tool templates and more.

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
11th Oct 2004

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

Read more...
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.

About the Academy
For the Altran Engineering Academy talent search, graduates and undergraduates were invited to come up with new ways to boost the safety, reliability or performance of a Renault F1 Car. Backed by Altran, the French-based science and technology consultancy, and The Daily Telegraph which currently sponsor’s ITV’s Formula One coverage, the academy offered a unique prize: the opportunity to work with the Renault F1 Team.
Two months after its launch, Mark Caldwell of Brooklands College won the Altran Engineering Academy 2004. Mark’s idea, which proposes to revolutionise the braking system of an F1 Car by re-inventing its disc brakes was selected from a strong shortlist of five finalists who met at the Renault F1 Factory in Enstone, Oxfordshire for their final presentations. For six months, Renault will give Mark experience, a salary, an apartment and a company car.

Richard Jones, Director of Praxis commented:
"The Altran Engineering Academy has helped put glamour and excitement back into science and engineering. As part of the Altran Group, Praxis is ideally positioned to provide Mark with a valuable insight of the systems and requirements engineering industry He will work alongside experts that are running high profile engineering projects for world renowned companies such as BAE Systems, the Civil Aviation Authority and Network Rail."

Claude-Emmanuel Boisson, Chief Technology Officer (France) of Altran commented: "It is important for Altran to offer young talented engineers a unique opportunity to work and test themselves in Formula One, one of the most competitive environments in the world. This underlines the technological partnership, which unites Altran and Renault Formula One."

About Praxis

Praxis is a systems engineering company specialising in safety and mission critical applications. Praxis leads the world in specific areas of advanced systems engineering such as: ultra low defect software engineering, safety engineering for complex or novel systems, and tools/methods for systems engineering. Praxis offers clients a range of services including turnkey systems development, consultancy, training and R&D. Key market sectors are Aerospace, Defence, Air Traffic Management, Railways and Nuclear. The company operates internationally with active projects in the US, Asia and Europe. The headquarters of Praxis are in Bath (UK) with offices also in London, Loughborough and Paris. It is wholly owned by Altran Technologies which is a global leader in innovation engineering and employs 18, 500 staff across the world.

www.altran-praxis.com

Press contacts:

Altran Praxis
press@altran-praxis.com

Speed Communications
altran-praxis@speedcommunications.com

Close...
1st Jan 2004

How many lightbulbs does it take to change an engineer?

This written by Stephen Summers, one of our Principal consultants, has been widely published in the media including Industry Magazine, Railway Strategies and Aircraft Engineering and Aerospace Technology.

Read the PDF article

1st Jan 2004

Sales Success for new SPARK Book

Following glowing reviews on websites including internet giant amazon.co.uk, the new Praxis High Integrity Systems' technical book, High Integrity Software, The SPARK Approach to Safety and Security has sold more copies in just six months than the first edition sold in its entire lifetime.

Read the review on Amazon.

Read more about SPARK.

1st Jan 2004

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

Formal Methods is heavily used in the development of military systems, but can it be more widely applied? The January 2004 Computing article on Formal Methods discusses the topic, whilst interviewing Anthony Hall, Principal Consultant at Praxis High Integrity Systems.

Altran Praxis BSI Quality Management Accreditation Logo
Multi-national CMMI Appraised