Altran UK (anteriormente conocido 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 que se especializaba en sistemas críticos . [1] Este papel continúa bajo la bandera 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 funcionar el 1 de julio de 1983. El 28 de junio de 1985 se convirtió en una sociedad anónima 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 con el fin de proporcionar fondos para adquisiciones futuras y capital de trabajo 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 el Grupo Altranen 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 compañía ha cambiado de nombre a Altran junto con Altran Xype y Altran Technologies. En diciembre de 2012, AdaCore junto con Altran Praxis lanzaron 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 de gran envergadura utilizando Z ha sido una mejora para el Reino Unido 's Nacional de Servicios de Tráfico Aéreo (NATS). [4] [5]