阿尔特兰普拉克西斯

阿尔特兰普拉克西斯是一家英国软件工程和技术咨询公司，专门从事关键系统和高完整性软件。其组织根源可追溯至1983年由马丁·托马斯和大卫·比恩在巴斯创立的普拉克西斯系统公司。该公司开发了用于可靠性、可追溯性和可证明正确性至关重要的环境的工程方法和软件，包括航空航天、国防、铁路、电信和空中交通管理。 普拉克西斯以将形式化方法应用于软件和系统工程而闻名。其工作包括使用Z符号（一种形式化规范技术）和SPARK工具集，该工具集支持基于Ada编程语言的高完整性软件的开发和分析。该公司还参与了ELLA的工作，ELLA是一种用于超大规模集成电路设计和验证的电子硬件描述语言。其早期工作包括为ICL的VME大型机操作系统开发Unix子系统，后来的项目包括为英国国家空中交通服务进行增强。 最初的普拉克西斯组织多次变更所有权和结构。它于1985年成为上市公司，并于1987年采用集团结构。在经历了一段员工持股和利润分享的时期后，于1988年获得风险投资。德勤咨询（当时称为Touche Ross）于1992年11月27日收购了普拉克西斯。关键系统业务随后于1997年被阿尔特兰集团收购，而德勤保留了商业和工业系统活动。 2004年，普拉克西斯关键系统与HIS咨询合并，成立普拉克西斯高完整性系统公司。2010年1月，阿尔特兰将该业务与SC2合并，成立阿尔特兰普拉克西斯。该组织后来与阿尔特兰相关品牌（包括Altran Xype和Altran Technologies）一起运营或在其旗下运营，之后更名为Altran UK或并入阿尔特兰更广泛的高科技工程咨询业务。因此，独立的阿尔特兰普拉克西斯品牌最好被理解为一个历史性的专业部门，而不是一个活跃的独立公司。

阿尔特兰普拉克西斯源于普拉克西斯系统公司，这是一家由马丁·托马斯和大卫·比恩于1983年在巴斯创立的软件工程公司。该公司于1983年6月1日注册成立，并于次月开始运营。它最初以软件工程组织自居，后来发展出以员工为导向的所有权文化，包括利润分享计划。普拉克西斯于1985年成为上市公司，1987年创建集团结构，并于1988年获得风险投资以支持扩张、收购和营运资金。 普拉克西斯早期的技术工作包括开发VNS，这是嵌入在ICL的VME大型机操作系统中的Unix子系统。ICL随后将相关技术发展为VME/X和OpenVME版本。在20世纪80年代末和90年代，普拉克西斯还将ELLA商业化并支持，ELLA是一种用于超大规模集成电路设计、验证和管理的电子硬件描述语言。 该业务的一个核心特点是使用形式化方法和严格的保证技术。普拉克西斯将Z符号应用于形式化规范，并参与了诸如英国国家空中交通服务增强等项目。该公司还与SPARK密切相关，SPARK是一种基于Ada的编程语言和工具集，旨在用于高完整性软件。普拉克西斯于1994年收购了SPARK的开发者Program Validation Limited。此次收购增强了其在静态分析、形式化推理以及安全关键和受监管环境软件开发方面的能力。 1992年11月27日，普拉克西斯被德勤咨询（当时以Touche Ross名义运营）收购。该业务继续使用普拉克西斯名称，尽管德勤保留了原始组织的不同部分。1997年，阿尔特兰收购了关键系统部门，而德勤保留了商业和工业系统部门。普拉克西斯名称随后主要与加入阿尔特兰的高完整性和关键系统活动相关联。 普拉克西斯关键系统于2004年与HIS咨询合并，成立普拉克西斯高完整性系统公司。2010年1月，阿尔特兰将该组织与SC2合并，产生阿尔特兰普拉克西斯。该业务从其位于巴斯SouthGate的历史基地运营，靠近巴斯温泉火车站，并在伦敦、拉夫堡、巴黎、索菲亚安蒂波利斯和班加罗尔设有办公室或相关业务。 该组织后来成为阿尔特兰更广泛运营结构的一部分，并以阿尔特兰相关名称重新命名，包括Altran UK、Altran Xype和Altran Technologies。专业能力继续存在于阿尔特兰的高科技工程咨询活动中，但阿尔特兰普拉克西斯似乎不再作为独立的独立品牌运营。其历史重要性在于形式化软件工程、安全关键系统专业知识以及对SPARK生态系统的贡献的结合。

• 2012

  SPARK Pro 11发布

  [1]Altran Praxisen.wikipedia.org

  AdaCore和阿尔特兰普拉克西斯发布了SPARK Pro 11版本。

• 2010

  阿尔特兰普拉克西斯创建

  [1]Altran Praxisen.wikipedia.org

  阿尔特兰于1月将普拉克西斯高完整性系统与SC2合并，形成阿尔特兰普拉克西斯。

• 2004

  普拉克西斯高完整性系统公司成立

  [1]Altran Praxisen.wikipedia.org

  普拉克西斯关键系统与HIS咨询合并为普拉克西斯高完整性系统公司。

• 1997

  关键系统部门加入阿尔特兰

  [1]Altran Praxisen.wikipedia.org

  阿尔特兰收购了普拉克西斯的关键系统部门。

• 1994

  收购Program Validation Limited

  [1]Altran Praxisen.wikipedia.org

  普拉克西斯收购了SPARK工具集的开发者，增强了其高完整性软件能力。

• 1992

  被德勤咨询收购

  [1]Altran Praxisen.wikipedia.org

  德勤咨询（当时称为Touche Ross）于11月27日收购了普拉克西斯。

• 1988

  风险投资融资

  [1]Altran Praxisen.wikipedia.org

  普拉克西斯获得风险投资以资助收购和持续增长。

• 1985

  普拉克西斯成为上市公司

  [1]Altran Praxisen.wikipedia.org

  普拉克西斯系统公司成为普拉克西斯系统公众有限公司。

• 1983

  普拉克西斯系统公司成立

  [1]Altran Praxisen.wikipedia.org

  马丁·托马斯和大卫·比恩创立了普拉克西斯系统公司，一家英国软件工程公司。

面向安全关键、受监管和任务关键领域的高保障软件和系统工程专家。

• 高完整性编程语言和验证工具集

  SPARK

  SPARK是一种源自Ada生态系统的编程语言和支持工具链。它旨在使软件的重要属性显式化并易于分析，包括通过契约、静态分析和形式化验证。该技术与普拉克西斯的高完整性工程实践密切相关，旨在用于嵌入式、安全关键和受监管系统，在这些系统中，开发人员必须提供软件按规范行为的证据。

• 电子硬件描述语言

  ELLA

  ELLA是一种电子硬件描述语言，用于描述、验证和管理超大规模集成电路设计。普拉克西斯在20世纪80年代末和90年代将该技术商业化并提供支持，将其工程组合从应用软件扩展到面向硬件的设计和验证。

• 形式化规范和系统工程

  Z符号服务

  普拉克西斯使用Z符号和相关形式化方法来规范并推理系统行为。这些服务构成了公司针对关键系统的更广泛咨询和工程产品的一部分，包括与英国空中交通管理相关的工作。该产品不是传统的打包软件产品，而是一种专业工程能力。

• 2010

  SC2与普拉克西斯高完整性系统合并并购

  背景

  阿尔特兰寻求整合互补的关键系统和工程能力。

  采取的行动

  阿尔特兰于2010年1月将SC2与普拉克西斯高完整性系统合并，创建阿尔特兰普拉克西斯。

  后续影响

  新组织作为阿尔特兰的专业关键系统和高完整性软件业务运营，之后更名为更广泛的阿尔特兰结构。

  来源

• 2004

  普拉克西斯关键系统与HIS咨询合并并购

  背景

  阿尔特兰整合了相关的高完整性工程能力，以创建一个更广泛的专业组织。

  采取的行动

  普拉克西斯关键系统和HIS咨询合并为普拉克西斯高完整性系统公司。

  后续影响

  合并后的组织成为阿尔特兰普拉克西斯的直接前身。

  来源

• 1997

  阿尔特兰收购普拉克西斯的关键系统部门并购

  背景

  普拉克西斯自1992年起由德勤咨询所有，但其关键系统活动代表了一种与阿尔特兰技术咨询模式一致的专业工程能力。

  采取的行动

  阿尔特兰收购了关键系统部门，而德勤保留了商业和工业系统部门。

  后续影响

  被收购的业务继续以普拉克西斯相关名称进行专业工作，并最终成为阿尔特兰普拉克西斯的一部分。

  来源

1. 1Altran Praxisen.wikipedia.org