Advanced Search
Volume 38 Issue 11
Nov.  2012
Turn off MathJax
Article Contents
Abstract
References
Journal of Beijing University of Aeronautics and Astronautics  > 2012  >  (11): 1445-1449.
Li Zhen, Liu Bin, Miao Hong, et al. Modeling and verification of software safety requirement based on ontology[J]. Journal of Beijing University of Aeronautics and Astronautics, 2012, (11): 1445-1449. (in Chinese)
Citation: Li Zhen, Liu Bin, Miao Hong, et al. Modeling and verification of software safety requirement based on ontology[J]. Journal of Beijing University of Aeronautics and Astronautics, 2012, (11): 1445-1449. (in Chinese)
shu

Modeling and verification of software safety requirement based on ontology

  • 1.

    School of Reliability and Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China

  • 2. School of Economics and Managment,Jiangsu University of Science and Techndogy, Zhenjiang 212003, China

  • Received Date: 14 Jun 2011
  • Publish Date: 30 Nov 2012
    Abstract
  • The catastrophic accidents are usually caused by and related to safety requirement and the manual review cannot meet the strict verification requirement of software safetyd.Consequently, the definition of software safety was discussed, the recognized and related standards with guidebooks were strictly selected as the knowledge bases of requirement verification, the ontology models were built by "seven step method", the rules were formally described by the concepts and relations in ontology models to support verification, the tool prototype of formal modeling and verification of software safety requirement was designed and realized, and the tool prototype was used to the comparative experiment between manual verification and automatic verification. The result of the experiment shows that using tool prototype is far better than manual verification in time consumed, verification times and the prototype has a good usability as well.

     

    • FullText(HTML)
    • References(14)
  • [1]
    Gerard L L.An analysis of the ariane 5 flight 501 failure-a system engineering perspective [C]//Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems.NY:IEEE Press,1997:339-346
    [2]
    王继军.胶济客运专线信息安全传输系统方案改进[J].铁路通信信号,2009,45(6):54-55 Wang Jijun.The improvement of system information safety transition of qingdao-jinan line[J].Railway Signaling & Comunication,2009,45(6):54-55(in Chinese)
    [3]
    马李灵珊,刘琳.死亡动车[J].南方人物周刊,2011(26):30-34 Mali Linshan,Liu Lin.Fatal EMU[J].Southern People Weekly,2011(26):30-34(in Chinese)
    [4]
    Leveson N G.Software safety:why,what,and how [J].ACM Computing Surveys,1986,18(2):125-163
    [5]
    Gregory Zoughbi.A UML profile for developing airworthiness-complaint (RTCA DO-178B) safety-critical software[M].Ottawa,Canada:Carleton University,2006
    [6]
    Std 610.12-1990 IEEE standard glossary of software engineering terminology[S]
    [7]
    GJB-438B 2009 军用软件开发文档[S] GJB-438B 2009 Military software development documents[S](in Chinese)
    [8]
    邓志鸿,唐世渭,张铭,等.Ontoglogy研究综述[J].北京大学学报:自然科学版,2002,38(5):730-738 Deng Zhihong,Tang Shiwei,Zhang Ming,et al.Overview of ontology[J].Acta Scicentiarum Naturalum Universitis Pekinesis:Natural Science Edition,2002,38(5):730-738(in Chinese)
    [9]
    钟秀琴,符红光, 佘莉,等.基于本体的几何学知识获取及知识表示[J].计算机学报,2010,33(1):167-174 Zhong Xiuqing,Fu Hongguang,She Li,et al.Geometry knowledge acquisition and representation on Ontology[J].Chinese Journal of Computers,2010,33(1):167-174(in Chinese)
    [10]
    李景,苏晓鹭,钱平. 构建领域本体的方法[J]. 计算机与农业,2003(7):7-10 Li Jing,Su Xiaolu,Qian Ping.The methodology of developing domain ontology[J].Computer and Agriculture,2003(7):7-10(in Chinese)
    [11]
    ptc/07-08-04 A UML profile for MARTE,beta 1[S]
    [12]
    ptc/04-09-01 UML profile for modeling quality of service and fault tolerance characteristics and mechanisms[S]
    [13]
    formal/05-01-02 UML profile for schedulability,performance,and time specification[S]
    [14]
    Wolforth I,Walker M,Papadopoulos Y.A Language for failure patterns and application in safety analysis [C]//Dependability of Computer Systems.NY:IEEE Computer Society,2008:47-54
    • Relative Articles

  • Relative Articles

    [1]XU Bole, ZHANG Zhipeng, LI Liang, XIA Chengyi, CHEN Zengqiang. Security analysis of bounded label Petri net based on strong current state opacity[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0592
    [2]ZHANG Fan, DING Mingsong, CHEN Jianqiang, LIU Wan, JIANG Tao, LI Peng, JIANG Jun. Interactive design and implementation of HPCC-oriented industrial CFD software[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0810
    [3]YANG Z J，ZHANG C F，ZHAO R J，et al. Thermal deformation analysis and experimental verification of spatial deployable antenna hinge[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（1）：243-249 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0219.
    [4]TANG Y，DAI Q，YANG M Y，et al. Software defect prediction algorithm for intra-membrane sparrow optimizing ELM[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（2）：643-654 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0438.
    [5]YANG S C，CUI H G，ZHOU S D，et al. Real-time performance/security guarantee technology of vehicle control operating system[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（7）：2051-2065 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0594.
    [6]JIA Baohui, ZHANG Bo, GAO Yuan. Safety analysis for civil aircraft system based on improved FRAM-STPA[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0670
    [7]GENG Z T，ZHAO J Q. Design and development of virtual simulation experiment software of composite piezoelectric materials[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（11）：3377-3381 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0826.
    [8]ZHANG Fan, LIU Wan, GUO Yong-yan, CENG Zhi-chun, HE Qian-wei, ZHAO Zhong. The application and practice of black box testing technology in Fluid Simulation Software[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0621
    [9]LIU Z Y，ZHANG G，LIU H R，et al. Software robot-based application behavior simulation for cyber security range in industrial control field[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（7）：2237-2244 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0597.
    [10]HU X，CHEN J M，LI H F. Software security vulnerability patterns based on ontology[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（10）：3084-3099 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0783.
    [11]ZHANG Y X，WANG X J，WANG S P，et al. Mechanism of butterfly forward flight and prototype verification based on characteristic motion observation[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（7）：1651-1660 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0497.
    [12]HAN Xiao, ZHOU Ying, HUANG Hai, SHAO Jing-yi. Design and Verification of High-precision Dynamic Temperature Control System[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0297
    [13]ZHANG P，CHI H H，LI J B，et al. Lattice based strong designated verifier signature scheme[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（6）：1294-1300 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0445.
    [14]YANG B，HE Y Z，XU F，et al. Using improved genetic algorithm for software fault localization aided test case generation[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（9）：2279-2288 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0524.
    [15]YANG B，LIU Z，WEI X J，et al. A safety analysis approach for embedded system[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：1930-1939 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0185.
    [16]MA L Q，SUN X Z. Design of flight control system for BWB civil aircraft considering safety[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（4）：804-814 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0341.
    [17]XU F J，ZHOU X，ZHAO J S，et al. Conception and development of software-defined satellite technology[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（7）：1543-1552 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0562.
    [18]ZHANG Pei-hong, ZHOU Gui-yu, SHEN Ying-ying, TANG Jing, ZHAO Wei, JIA Hong-yin. Research on simulation of parallel separation characteristics using NNW-FlowStar software[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0275
    [19]GAO Y T，ZHANG J D. Intelligent orbit determination based on remote sensing image of ontology knowledge base[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（5）：1053-1062 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0417.
    [20]GUO Tai, QIAN Xin, GONG Qi, REN Wenming, YANG Shuanbao, XU Qinggang. Methodology for model based verification requirements capturing and application in civil aircraft development[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(10): 1933-1942. doi: 10.13700/j.bh.1001-5965.2021.0047
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(1873) PDF downloads(860) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return