法尔科

ASMs在软件设计中的实际应用报告西门子公司技术部已将ASMs用于设计名为FALKO的软件包中的一个组件。FALKO的主要目的是编制和验证铁路系统的时刻表。为了进行仿真，在FALKO中对整个闭环交通控制系统进行了建模。FALKO的铁路过程模型部分采用ASM方法进行了形式化描述。C++代码由形式化规范生成，与其他组件的手写C++代码一起编译，得到FALKO可执行文件。该项目于1998年5月开始，1999年3月结束。从那时起，维也纳地铁运营商就开始使用FALKO来验证整个地铁运营服务。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 11篇文章

显示结果1到11，共11个。
按年份排序(引用)

  1. Börger，Egon:面向主题的软件设计方法和抽象状态机方法（2012）
  2. Börger，Egon:高层系统设计与分析的抽象状态机方法（2010）
  3. Jonathan P.Bowen；Hinchey，Michael G.：十诫十年：ASM、B、Z和VSR网络课程（2009）ioport公司
  4. Börger，Egon:地面模型的构建和分析及其改进作为验证基于计算机的系统的基础（2007）
  5. Farahbod，Roozbeh；Gervasi，Vincenzo；Glässer，Uwe:CoreASM:一个可扩展的ASM执行引擎（2007）
  6. Börger，Egon：系统设计和分析的ASM方法。教程简介（2005）
  7. Nowack，Antje:抽象状态机的保护碎片（2005）
  8. Börger，Egon:通过结构化技术为ASMs设计重用（2001）
  9. Mike Barnett；Börger，Egon；Gurevich，Yuri；Schulte，Wolfram；Veanes，Margus:在微软使用抽象状态机：案例研究（2000）
  10. Börger，Egon:千年之交的抽象状态机（2000）
  11. Börger，Egon；Päppinghaus，Peter；Schmid，Joachim:ASMs在软件设计中的实际应用报告（2000）