×

关于ASM在软件设计中的实际应用的报告。 (英语) Zbl 0976.68567号

Gurevich,Yuri(编辑)等人,抽象状态机。理论和应用。国际研讨会,ASM 2000,瑞士蒙特韦里塔,2000年3月19日至24日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1912, 361-366 (2000).
概要:西门子公司技术部使用ASM设计一个名为FALKO的软件包中的组件。FALKO的主要目的是构建和验证铁路系统的时间表。为了进行仿真,在FALKO中对整个闭环交通控制系统进行建模。FALKO的铁路流程模型部分是使用ASM方法正式指定的。C++代码由正式规范生成,并与其他组件的手写C++代码一起编译,以获得FALKO可执行文件。该项目始于1998年5月,于1999年3月完成。此后,维也纳地铁运营商使用FALKO验证整个地铁运营服务。
关于整个系列,请参见[Zbl 0947.00040号].

MSC公司:

68单位99 计算方法和应用
68号01 软件理论的一般主题

软件:

法尔科
PDF格式BibTeX公司 XML格式引用