Altran UK (anteriormente conocida como Altran Praxis , Praxis High Integrity Systems , Praxis Critical Systems , Altran Xype , Xype y Altran Technologies ) es una división de la empresa matriz Altran . Altran Praxis era una empresa de software británica especializada en sistemas críticos . [1] Esta función continúa bajo el estandarte de los servicios de consultoría de ingeniería de alta tecnología proporcionados por el resto del grupo Altran.
La división anteriormente conocida como Praxis (especialistas en sistemas críticos) tiene su sede en SouthGate , Bath , Inglaterra , cerca de la estación de tren de Bath Spa , y también tiene oficinas en Londres , Loughborough , París , Sophia Antipolis y Bangalore .
Altran UK en su conjunto tiene oficinas en Bath , Bristol , Londres , Loughborough , Manchester , Slough y Coventry .
La empresa Praxis Systems Limited fue fundada por Martyn Thomas y David Bean en 1983: se constituyó el 1 de junio de 1983 y comenzó a operar el 1 de julio de 1983. El 28 de junio de 1985 se convirtió en una sociedad anónima llamada Praxis Systems plc . Hasta 1988, Praxis era propiedad casi en su totalidad de su personal. En 1988, Praxis obtuvo financiación de capital de riesgo para proporcionar fondos para futuras adquisiciones y capital de explotación para un crecimiento continuo. El 27 de noviembre de 1992, Praxis fue adquirida por Deloitte Consulting (entonces conocida como Touche Ross), una firma internacional de contables y consultores de gestión. La parte de sistemas críticos de la empresa fue adquirida por Altran Group en 1997. En 2004, Praxis Critical Systems y HIS Consulting se fusionaron para formar Praxis High Integrity Systems. En enero de 2010, Altran fusionó la empresa con SC2 para formar Altran Praxis. [ cita requerida ] Desde entonces, la empresa cambió su nombre a Altran junto con Altran Xype y Altran Technologies. En diciembre de 2012, AdaCore, junto con Altran Praxis, lanzó SPARK Pro 11. [2] En 2013, Altran adquirió Sentaca, una consultora especializada en telecomunicaciones. [ cita requerida ]
Una característica distintiva de la antigua oficina de Praxis es su amplio uso de métodos formales como la notación Z y el conjunto de herramientas SPARK (adquirido a través de la adquisición de los desarrolladores Program Validation Limited en 1994) en su enfoque para mejorar la confiabilidad de la ingeniería de software . [3] Un proyecto importante que utiliza Z ha sido una mejora para los Servicios Nacionales de Tráfico Aéreo (NATS) del Reino Unido . [4] [5]