Analyzing a wind turbine system: From simulation to formal verification

详细信息    查看全文

• 作者：Cristina Seceleanu^a ; ^{cristina.seceleanu@mdh.se} ; Morgan Johansson^b ; ^{morgan.e.johansson@se.abb.com} ; Jagadish Suryadevara^c ; ^{jagadish.suryadevara@volvo.com} ; Gaetana Sapienza^b ; ^a ; ^{gaetana.sapienza@se.abb.com} ; Tiberiu Seceleanu^b ; ^a ; ^{tiberiu.seceleanu@se.abb.com} ; Stein-Erik Ellevseth^d ; ^{steinee@eunet.no} ; Paul Pettersson^a ; ^{paul.pettersson@mdh.se}
• 关键词：Wind turbine system ; Model-based testing ; MaTeLo ; Model checking ; UPPAAL
• 刊名：Science of Computer Programming
• 出版年：2017
• 出版时间：1 January 2017
• 年：2017
• 卷：133
• 期：part_P2
• 页码：216-242
• 全文大小：3947 K
• 卷排序：133

文摘

Integrated framework for applying model-based tools to designing industrial systems. Formal analysis of a wind turbine industrial system against various requirements. A CCSL-based execution semantics of the plant and controller components of the wind turbine.