ReForm:快速需求形式化的工具 作者 乔治·吉安塔米迪斯 爱尔兰联合技术研究中心 乔治奥斯·帕帕尼科劳 爱尔兰联合技术研究中心 马塞洛·米兰达 葡萄牙米尼奥大学 贡萨洛·萨利纳斯·埃尔南多 爱尔兰联合技术研究中心 胡安·瓦尔弗德·阿尔卡拉 爱尔兰联合技术研究中心 苏雷什·维卢鲁 ServisBOT有限公司爱尔兰Arclabs研究中心 Stylianos Basagiannis公司 爱尔兰联合技术研究中心 内政部: https://doi.org/10.14279/tuj.eceasst.79.1117 摘要 在工业环境中采用正式的方法实践有时可能具有挑战性。另一方面,现在比以往任何时候都更需要在复杂系统的设计中进行形式化和验证。为了简化基于工业模型的系统工程工作流中形式化方法的集成,UTRC Ireland开发了一种工具,旨在使工业工程师尽可能轻松地将需求形式化。开发的方法是一种端到端的解决方案,从自然语言需求开始作为输入,一直到MATLAB/Simulink中的自动生成监控器。我们使用自然语言处理和机器学习技术从需求中(半)自动提取模式,这大大减少了遗留需求和新需求所需的形式化工作量。对于监控器生成,我们提供了自己的方法,在某些情况下,该方法的性能优于现有最先进工具的数量级。 下载 PDF格式 出版 2021-05-10 如何引用 [1]G.Giantamidis,“重新形成:快速需求形式化的工具”,埃塞塞特第79卷,2021年5月。 更多引文格式 ACM公司 ACS公司 亚太地区 澳大利亚北卡罗来纳州 芝加哥 哈佛 电气与电子工程师协会 MLA公司 图拉宾语 温哥华 下载引文 尾注/佐特罗/门德利(RIS) BibTeX公司 问题 第79卷(2020):第二期验证和测试工业应用互动研讨会,ETAPS 2020研讨会(InterAVT 2020) 章节 文章 许可证 版权所有(c)2021 EASST电子通信 本作品根据Creative Commons Attribution 4.0国际许可.