Altran UK（旧称：Altran Praxis、Praxis High Integrity Systems、Praxis Critical Systems、Altran Xype、Xype、Altran Technologies）は、親会社Altranの一部門です。Altran Praxisは、クリティカルシステムを専門とする英国のソフトウェアハウスでした。[1]この役割は、Altranグループの他の企業が提供するハイテクエンジニアリングコンサルティングサービスの旗印の下で継続されています。
以前はPraxis（クリティカルシステムスペシャリスト）として知られていたこの部門は、イギリスのバース市サウスゲート（バース・スパ駅の近く）に拠点を置き、ロンドン、ラフバラー、パリ、ソフィア・アンティポリス、バンガロールにもオフィスを構えています。
Altran UK は全体として、バース、ブリストル、ロンドン、ラフバラ、マンチェスター、スラウ、コベントリーにオフィスを構えています。
歴史
Praxis Systems Limited社は、1983年にマーティン・トーマスとデイビッド・ビーンによって設立されました。同社は1983年6月1日に法人化され、1983年7月1日に営業を開始しました。1985年6月28日には、株式会社 Praxis Systems plcとなりました。1987年には、社名変更後のPraxis plcの下にグループ組織が設立されました。[2]
1988年まで、Praxisはほぼ完全に従業員によって所有されていました。1988年にPraxisは将来の買収資金と継続的な成長のための運転資金を調達するためにベンチャーキャピタルファイナンスを獲得しました。1992年11月27日、Praxisは国際的な会計事務所および経営コンサルタント会社であるデロイトコンサルティング（当時はTouche Rossとして知られていました）に買収されました。同社の基幹システム部門は1997年にAltranグループに買収されました。2004年に、Praxis Critical SystemsとHIS Consultingが合併してPraxis High Integrity Systemsが設立されました。2010年1月、同社はAltranによってSC2と合併し、Altran Praxisが設立されました。 [要出典]その後、同社はAltran XypeおよびAltran TechnologiesとともにAltranにブランド名を変更しました。 2012年12月、AdaCoreはAltran Praxisと共同でSPARK Pro 11をリリースしました。[3] 2013年にAltranは専門通信コンサルタントであるSentacaを買収しました。[要出典]
Praxisの最初のプロジェクトは、メインフレームオペレーティングシステムICL VMEに組み込まれたフィールド試験用のUnixサブシステム（VNSと名付けられました）を開発することでした。ICLは後にこれをメインフレームオペレーティングシステムのVME/XおよびOpenVMEバージョンに開発しました。[2] [4]
1980年代後半から1990年代にかけて、Praxis Systemsは、超大規模集積回路の設計を記述、検証、管理するために使用されたハードウェア記述言語ELLAを商用化し、サポートしました。 [5] [2]
旧Praxisオフィスの特徴的な点は、ソフトウェアエンジニアリングの信頼性向上へのアプローチとして、Z表記法やSPARKツールセット（1994年に開発会社Program Validation Limitedを買収して獲得）などの形式手法を広範に活用していることである。[6] Zを使用した主要なプロジェクトとしては、英国の国立航空交通サービス（NATS）の機能強化が挙げられる。[7] [8]
参照
参考文献
- ^ Altran について。
- ^ abc 「Annual Review 1987」（PDF） . PRAXIS plc. 1987. 2025年10月16日閲覧。
- ^ “AdaCore と Altran Praxis が SPARK Pro 11 をリリース”.ドブ博士の。2018 年9 月 4 日に取得。
- ^ Coates, P. (1993). 「VME-X: VMEのオープン化」(PDF) . ICL Technical Journal . ICL: 473. ISSN 0142-1557. 2016年3月5日時点の オリジナル(PDF)からアーカイブ。 2015年11月7日閲覧。
- ^ 「Praxis of Bath、Ecad Inc.のEllaの世界販売権を獲得」Tech Monitor . GlobalData. 1987年11月16日. 2025年10月16日閲覧。
- ^ 出版物、Praxis。
- ^ NATSはレーダー以来最大のATCの進歩を先駆的に実現[永久リンク切れ]、NATS、2007年。
- ^ Antony Savvas、「NATS はレーダー以来最大の航空管制技術革新だと主張する」、Computer Weekly、2007 年 3 月 7 日。
外部リンク
- 企業ウェブサイト
 | 英国の企業に関するこの記事はスタブです。不足している情報を追加して、Wikipedia に貢献してください。 |
