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 (ALgebraic TRANslator) is a programming language for the formal manipulation of rational functions of several variables with integer coefficients. It was developed at Bell Labs in 1960s. ALTRAN is a FORTRAN version of ALPAK rational algebra ...

. Altran Praxis was a British

software house A software company is a company whose primary products are various forms of software, software technology, distribution, and software product development. They make up the software industry. Types There are a number of different types of softw ...

that specialised in

critical system A critical system is a system which must be highly reliable and retain this reliability as it evolves without incurring prohibitive costs. There are four types of critical systems: safety critical, mission critical, business critical and securit ...

s. This role is continued under the banner of high-tech engineering consultancy services provided by the rest of the Altran group. The division formerly known as Praxis (the critical systems specialists) is based in

SouthGate Southgate or South Gate may refer to: Places Australia *Southgate, Sylvania *Southgate Arts and Leisure Precinct, an area within Southbank, Victoria Canada *Southgate, Ontario, a township in Grey County * Southgate, Middlesex County, Ontario Ed ...

Bath Bath may refer to: * Bathing, immersion in a fluid ** Bathtub, a large open container for water, in which a person may wash their body ** Public bathing, a public place where people bathe * Thermae, ancient Roman public bathing facilities Plac ...

England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe b ...

, close to

Bath Spa railway station Bath Spa railway station is the principal station serving the city of Bath in South West England. It is on the Great Western Main Line, down the line from the zero point at between to the east and to the west. Its three-letter station code ...

, and also have offices in

London London is the capital and largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary down to the North Sea, and has been a majo ...

Loughborough Loughborough ( ) is a market town in the Charnwood borough of Leicestershire, England, the seat of Charnwood Borough Council and Loughborough University. At the 2011 census the town's built-up area had a population of 59,932 , the second larg ...

Paris Paris () is the capital and most populous city of France, with an estimated population of 2,165,423 residents in 2019 in an area of more than 105 km² (41 sq mi), making it the 30th most densely populated city in the world in 2020. S ...

Sophia Antipolis (wisdom), gr, (Ἀντίπολις, antipolis) ("opposite city" from its position on the opposite side of the Var estuary from Nice, also former name of Antibes, part of the technology park) , postal_code = 06220 (Vallauris), 06250 (Mo ...

, and

Bangalore Bangalore (), officially Bengaluru (), is the capital and largest city of the Indian state of Karnataka. It has a population of more than and a metropolitan population of around , making it the third most populous city and fifth most ...

. Altran UK as a whole has offices in

Bristol Bristol () is a city, ceremonial county and unitary authority in England. Situated on the River Avon, it is bordered by the ceremonial counties of Gloucestershire to the north and Somerset to the south. Bristol is the most populous city in ...

Manchester Manchester () is a city in Greater Manchester, England. It had a population of 552,000 in 2021. It is bordered by the Cheshire Plain to the south, the Pennines to the north and east, and the neighbouring city of Salford to the west. The t ...

Slough Slough () is a town and unparished area in the unitary authority of the same name in Berkshire, England, bordering west London. It lies in the Thames Valley, west of central London and north-east of Reading, at the intersection of the M4 ...

and

Coventry Coventry ( or ) is a City status in the United Kingdom, city in the West Midlands (county), West Midlands, England. It is on the River Sherbourne. Coventry has been a large settlement for centuries, although it was not founded and given its ...

. The company Praxis Systems Limited was founded by

Martyn Thomas Martyn Thomas CBE FREng FIET FRSA (born 1948) is a British independent consultant and software engineer. Overview Martyn Thomas founded the software engineering company Praxis in 1983, based in Bath, southern England. He has a special inte ...

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 A public limited company (legally abbreviated to PLC or plc) is a type of public company under United Kingdom company law, some Commonwealth of Nations, Commonwealth jurisdictions, and the Republic of Ireland. It is a limited liability 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 Deloitte Touche Tohmatsu Limited (), commonly referred to as Deloitte, is an international professional services network headquartered in London, England. Deloitte is the largest professional services network by revenue and number of profession ...

(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. 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. In 2013, Altran acquired Sentaca, a specialty telecoms consultancy. A distinguishing feature of the former Praxis office's is its extensive use of

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expec ...

such as the

Z notation The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abrial ...

and the

SPARK Spark commonly refers to: * Spark (fire), a small glowing particle or ember * Electric spark, a form of electrical discharge Spark may also refer to: Places * Spark Point, a rocky point in the South Shetland Islands People * Spark (surname) * ...

toolset (acquired through the takeover of the developers Program Validation Limited in 1994) in its approach to improving the reliability of

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

. A major project using Z has been an enhancement for the

United Kingdom The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a country in Europe, off the north-western coast of the continental mainland. It comprises England, Scotland, Wales and North ...

National Air Traffic Services NATS Holdings, formerly National Air Traffic Services and commonly referred to as NATS, is the main air navigation service provider in the United Kingdom. It inherited the traditions of UK air traffic control, which (founded over Croydon Airp ...

(NATS).Antony Savvas
NATS claims the biggest air traffic control innovation since radar
''

Computer Weekly ''Computer Weekly'' is a digital magazine and website for IT professionals in the United Kingdom. It was formerly published as a weekly print magazine by Reed Business Information for over 45 years. Topics covered within the magazine include outs ...

'', 7 March 2007.

References

External links

Company website
Companies established in 1983 1983 establishments in England Companies based in Bath, Somerset Software companies of the United Kingdom Formal methods organizations {{UK-company-stub

See also

References

External links