Altran Praxis

Last updated

Altran UK (formerly known as Altran Praxis, Praxis High Integrity Systems, Praxis Critical Systems, Altran Xype, Xype and Altran Technologies) is a division of parent company Altran. Altran Praxis was a British software house that specialised in critical systems. [1] This role is continued under the banner of high-tech engineering consultancy services provided by the rest of the Altran group.

Contents

The division formerly known as Praxis (the critical systems specialists) is based in SouthGate, Bath, England, close to Bath Spa railway station, and also has offices in London, Loughborough, Paris, Sophia Antipolis, and Bangalore.

Altran UK as a whole has offices in Bath, Bristol, London, Loughborough, Manchester, Slough and Coventry.

The company Praxis Systems Limited was founded by Martyn Thomas and David Bean in 1983: it was incorporated on 1 June 1983 and commenced business on 1 July 1983. On 28 June 1985 it became a Public limited company Praxis Systems plc. Until 1988, Praxis was owned almost entirely by its staff. In 1988 Praxis obtained venture capital finance in order to provide funds for future acquisitions and working capital for continued growth. On 27 November 1992 Praxis was acquired by Deloitte Consulting (then known as Touche Ross), an international firm of accountants and management consultants. The critical systems part of the company was acquired by the Altran Group in 1997. In 2004, Praxis Critical Systems and HIS Consulting merged to form Praxis High Integrity Systems. In January 2010, the company was merged with SC2 by Altran to form Altran Praxis. [ citation needed ]The company has since been rebranded to Altran along with Altran Xype and Altran Technologies. In December 2012, AdaCore along with Altran Praxis released SPARK Pro 11. [2] In 2013, Altran acquired Sentaca, a specialty telecoms consultancy.[ citation needed ]

A distinguishing feature of the former Praxis office's is its extensive use of formal methods such as the Z notation and the SPARK toolset (acquired through the takeover of the developers Program Validation Limited in 1994) in its approach to improving the reliability of software engineering. [3] A major project using Z has been an enhancement for the United Kingdom's National Air Traffic Services (NATS). [4] [5]

See also

Related Research Articles

<span class="mw-page-title-main">Ada (programming language)</span> High-level programming language first released in 1980

Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC). As of 2020, the standard, called Ada 2012 informally, is ISO/IEC 8652:2012.

SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential. It facilitates the development of applications that demand safety, security, or business integrity.

Capgemini Engineering is a global innovation and engineering consulting firm founded in 1982 in France by Alexis Kniazeff and Hubert Martigny. Altran operates primarily in high technology and innovation consultancy, which account for nearly 75% of its turnover. Administrative and information consultancy accounts for 20% of its turnover with strategy and management consulting making up the rest. The firm is active in most engineering domains, particularly electronics and IT technology. In 2018, Altran generated €2.916 billion in revenues and employed over 46,693 people around the world. Since 18 June 2015, Altran has been led by CEO Dominique Cerutti. Altran was acquired by Capgemini in 2019 and renamed as "Capgemini Engineering" on 8 April 2021, due to the merger with Capgemini's Engineering and R&D services.

CMG was a consulting company focused on telecommunications and computing and based in London, United Kingdom. It was once a constituent of the FTSE 100 Index until it merged with Logica in 2002.

<span class="mw-page-title-main">SELEX Sistemi Integrati</span>

SELEX Sistemi Integrati S.p.A. was an aerospace, defence and security-related electronics manufacturing company headquartered in Rome, Italy and a wholly owned subsidiary of Finmeccanica. It designed and developed systems for homeland security; systems and radar sensors for air defence, battlefield management, naval warfare, coastal and maritime surveillance; air traffic control; and turn-key airport solutions. The company had around 4,500 employees. On 1 January 2013, it merged with its sister companies SELEX Galileo and SELEX Elsag to form Selex ES.

J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.

<span class="mw-page-title-main">Rambøll Management</span>

Ramboll Management Consulting is an independent company in the Ramboll Group. Ramboll Management Consulting is an international management consultancy firm with close to 600 consultants, making it one of the largest management consultancies in Northern Europe. Their main office is in Copenhagen; they also have offices in Aarhus, Berlin, Hamburg, Bruxelles, Oslo, Stockholm and Helsinki. This is next to the nearly 300 offices the Ramboll Group has across the globe.

<span class="mw-page-title-main">Capco</span> Business consultancy company

Capco is a business and technology management consultancy owned by Wipro, operating primarily in the financial services and energy sectors. Capco's operational headquarters are in London, England, with 32 offices across the Americas, Europe, and Asia Pacific. The company offers services primarily in banking, capital markets, wealth and investment management, insurance, finance, risk & compliance. It also has an energy consulting practice in the US.

<span class="mw-page-title-main">EPAM Systems</span> American technology company

EPAM Systems, Inc. is an American company that specializes in software engineering services, digital platform engineering, and digital product design, operating out of Newtown, Pennsylvania. EPAM is a founding member of the MACH Alliance.

Mercer is an American consulting firm founded in 1945. It is one of the four operating subsidiaries of global professional services firm Marsh McLennan. Mercer is headquartered in New York City with offices in 43 countries and operations in 130 countries. The company primarily provides human resources and financial services consulting services to its clients.

<span class="mw-page-title-main">Mouchel</span> UK business services company

Mouchel Group was an infrastructure and business services company headquartered in Woking, United Kingdom. It provided advisory, design, project delivery and managed services associated with infrastructure and business services across the highways and transportation, local government, emergency services, property, health, education and utility markets across the world.

<span class="mw-page-title-main">ErgoGroup</span> Nordic tech company

ErgoGroup was a Nordic information technology corporation, systems integrator and consulting company headquartered in Oslo, Norway. The company provided services for IT operations, business solutions, outsourcing, infrastructure and consulting. ErgoGroup had a total of 90 offices and regional branches throughout Norway, Sweden and Finland, and was a subsidiary of Posten Norge, the Norwegian Postal Service. It was the second largest ICT operations company in Norway. The company also held partial ownership in SYSteam, TransWare, Gecko, Eiendomsverdi, Buypass, Eye-Share and Bekk Consulting. ErgoGroup merged with EDB Business Partner in 2010, creating EVRY.

Martyn Thomas CBE FREng FIET FRSA is a British independent consultant and software engineer.

Alsys, SA. was a software development company created to support initial work on the Ada programming language. In July 1995, Alsys merged to become Thomson Software Products (TSP), which merged into Aonix in 1996.

'The Queen's Award for Enterprise: International Trade (Export) (2010)' was awarded on 21 April.

<span class="mw-page-title-main">SLR Consulting</span>

SLR Consulting is a privately owned international environmental consultancy with offices in Europe, North America, Australasia, and Africa. In 2017, it reported revenues of £129.6 million. It delivers advice and support on a wide range of strategic and project-specific issues to a diverse and growing base of business, regulatory and government clients.

Arcadis NV is a global design, engineering and management consulting company based in the Zuidas, Amsterdam, Netherlands. It currently operates in excess of 350 offices across 40 countries. The company is a member of the Next 150 index.

Cambridge Consultants, part of Capgemini Invent, develops breakthrough products and services, creates and licenses intellectual property, and provides business consultancy in technology-critical issues for clients worldwide. The company has offices in Cambridge (UK), Boston (USA), Tokyo and Singapore, Cambridge Consultants offers solutions across a diverse range of industries including medical and life science, industrial and energy, consumer and retail, and communications and infrastructure. In 2021, Cambridge Consultants became part of Capgemini Invent.

RSK Group is a privately held UK-based environmental, engineering and technical services group, comprising over 175 companies employing some 10,000 people and with turnover of £796m in 2022.

References

  1. ↑ About us, Altran.
  2. ↑ "AdaCore and Altran Praxis Release SPARK Pro 11". Dr. Dobb's. Retrieved 4 September 2018.
  3. ↑ Publications, Praxis.
  4. ↑ NATS pioneers biggest ATC advance since radar [ permanent dead link ], NATS, 2007.
  5. ↑ Antony Savvas, NATS claims the biggest air traffic control innovation since radar, Computer Weekly , 7 March 2007.


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.