Altran Praxis - Altran Praxis - Wikipedia

Альтран Великобритания (ранее известный как Altran Praxis, Системы высокой надежности Praxis, Критические системы Праксиса, Альтран Ксайпе, Xype и Альтран Технологии) является подразделением материнской компании Альтран. Альтран Праксис был британцем программное обеспечение это специализировалось на критические системы.[1] Эта роль продолжается под знаменем высокотехнологичных инженерных консультационных услуг, предоставляемых остальной частью группы Altran.

Подразделение, ранее известное как Praxis (специалисты по критическим системам), базируется в Южные ворота, Ванна, Англия, рядом с Бат-Спа вокзал, а также иметь офисы в Лондон, Loughborough, Париж, София Антиполис, и Бангалор.

Альтран Великобритания в целом имеет офисы в Ванна, Бристоль, Лондон, Loughborough, Манчестер, Slough и Ковентри.

Компания Praxis Systems Limited был основан Мартин Томас и Дэвид Бин в 1983 году: компания была зарегистрирована 1 июня 1983 года и начала свою деятельность 1 июля 1983 года. 28 июня 1985 года она стала Публичная компания с ограниченной ответственностью Praxis Systems plcДо 1988 года Praxis почти полностью принадлежала ее персоналу. В 1988 году Praxis получила венчурное финансирование, чтобы предоставить средства для будущих приобретений и оборотный капитал для дальнейшего роста. 27 ноября 1992 года Praxis была приобретена компанией. Deloitte Consulting (в то время известная как Touche Ross), международная бухгалтерская и управленческая фирма. Часть компании, занимающаяся критическими системами, была приобретена Альтран Групп в 1997 г. В 2004 г. Praxis Critical Systems и HIS Consulting объединились в Praxis High Integrity Systems. В январе 2010 года компания была объединена с SC2 компанией Altran и образована Altran Praxis.[нужна цитата ]С тех пор компания была переименована в Altran вместе с Altran Xype и Altran Technologies. В декабре 2012 года AdaCore вместе с Altran Praxis выпустили SPARK Pro 11.[2] В 2013 году компания Altran приобрела Sentaca, специализированную консалтинговую компанию в области телекоммуникаций.[нужна цитата ]

Отличительной чертой бывшего офиса Praxis является широкое использование формальные методы такой как Обозначение Z и ИСКРА набор инструментов (приобретенный в результате поглощения разработчиков Ограниченная проверка программы в 1994 г.) в своем подходе к повышению надежности программная инженерия.[3] Крупный проект, использующий Z, был улучшением объединенное Королевство с Национальные службы воздушного движения (NATS).[4][5]

Смотрите также

  • Энтони Холл, бывший сотрудник, теперь консультант
  • IPSE (Praxis был ключевым участником влиятельного проекта IPSE2.5)

Рекомендации

  1. ^ О нас, Альтран.
  2. ^ «AdaCore и Altran Praxis выпускают SPARK Pro 11». Доктора Добба. Получено 2018-09-04.
  3. ^ Публикации, Praxis.
  4. ^ NATS является пионером самого большого прогресса в области УВД со времен радара[постоянная мертвая ссылка ], НАЦ, 2007.
  5. ^ Антоний Саввас, NATS заявляет о крупнейшей инновации в области управления воздушным движением со времен радара, Computer Weekly, 7 марта 2007 г.

внешняя ссылка