Art

J-GLOBAL ID：201702298906788340   Reference number：17A0066247

Safety Analysis for Slats and Flaps Control Unit Based on Octagon Abstract Domain

八に基づく襟縫翼制御システムの安全性解析【JST・京大機械翻訳】

Author (5)： Lu Chen (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Huang Zhiqiu (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Kan Shuanglong (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Cao Dejian (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Huang Chuanlin (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics)
Material： Xiaoxing Weixing Jisuanji Xitong  (Mini-Micro Systems)
Volume： 37  Issue： 5  Page： 902-907  Publication year： 2016 
JST Material Number： C2136A  ISSN： 1000-1220  CODEN： XWJXEH  Document type： Article
Article type： 原著論文  Country of issue： China (CHN)  Language： CHINESE (ZH)

Abstract/Point： With the widespread use of emb...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A0066247&from=J-GLOBAL&jstjournalNo=C2136A") }}

Thesaurus term： modeling ,  *safety analysis ,  control program ,  numerical analysis ,  computer program ,  automatic analysis ,  abstract interpretation ,  invariant ,  *Safety ,  *control system ,  air transportation ,  software ,  *system safety ,  embedded software

Author keywords (4)： abstract interpretation ,  octagon abstract domain ,  numerical analysis ,  aircraft controller software

JST classification (1)： Computer system development  (JD02010R)

Terms in the title (4)： 襟 ,  翼 ,  制御システム ,  安全性解析