A software tool-set for the application of model-based diagnosis in power engineering

被引:0
|
作者
Davidson, E [1 ]
McArthur, SDJ [1 ]
McDonald, JR [1 ]
机构
[1] Univ Strathclyde, Inst Energy & Environm, Glasgow, Lanark, Scotland
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Previous research has shown the suitability of Model-based reasoning (MBR), a powerful AI technique, for diagnostics and the validation of power system protection equipment [1]. However there are a number of barriers which prevent the propagation of this technology to other areas of engineering. Unresolved research issues coupled with a lack of reusable and extensible software tools make MBR difficult for engineers to exploit without developing systems from first principles. This paper presents a MBR tool-set which aims to provide engineers with software tools that aid the development and application of MBR within engineering applications. The difficulties associated with the industrial application of MBR as well as the design and implementation of the tool-set will be discussed.
引用
收藏
页码:77 / 90
页数:14
相关论文
共 50 条
  • [21] A formal approach to AADL model-based software engineering
    Mkaouar, Hana
    Zalila, Bechir
    Hugues, Jerome
    Jmaiel, Mohamed
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (02) : 219 - 247
  • [22] Improving Model-Based Testing in Automotive Software Engineering
    Kriebel, Stefan
    Markthaler, Matthias
    Salman, Karin Samira
    Greifenberg, Timo
    Hillemacher, Steffen
    Rumpe, Bernhard
    Schulze, Christoph
    Wortmann, Andreas
    Orth, Philipp
    Richenhagen, Johannes
    [J]. 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - SOFTWARE ENGINEERING IN PRACTICE TRACK (ICSE-SEIP 2018), 2018, : 172 - 180
  • [23] A model-based approach for software engineering of interaction techniques
    Ladry, Jean Francois
    Palanque, Philippe
    Navarre, David
    Barboni, Eric
    Winckler, Marco
    [J]. IHM'10: 22EME CONFERENCE FRANCOPHONE SUR L'INTERACTION HOMME-MACHINE, 2010, : 81 - 88
  • [24] A formal approach to AADL model-based software engineering
    Hana Mkaouar
    Bechir Zalila
    Jérôme Hugues
    Mohamed Jmaiel
    [J]. International Journal on Software Tools for Technology Transfer, 2020, 22 : 219 - 247
  • [25] Model-Based Systems Engineering (MBSE) Application in Nuclear Power Plants (NPP)
    Kawamura, Ken
    Arifin, Habibi Husain
    Ong, Ho Kit Robert
    Brun, Thomas
    Chimplee, Nasis
    Wu, Daphne
    [J]. INCOSE International Symposium, 2024, 34 (01) : 864 - 880
  • [26] Role model of model-based systems engineering application
    Graessler, Iris
    Wiechel, Dominik
    Pottebaum, Jens
    [J]. 19TH DRIVE TRAIN TECHNOLOGY CONFERENCE (ATK 2021), 2021, 1097
  • [27] Java']Java2CSP-A Model-Based Diagnosis Tool Not Only for Software Debugging
    Wotawa, Franz
    Dumitru, Vlad Andrei
    [J]. INTELLIGENT DECISION TECHNOLOGIES, KES-IDT 2021, 2021, 238 : 519 - 529
  • [28] Toward Model-Based Requirement Engineering Tool Support
    Reza, Hassan
    Sehgal, Rashmi
    Straub, Jeremy
    Alexander, Nicholas
    [J]. 2017 IEEE AEROSPACE CONFERENCE, 2017,
  • [29] Parallelized Hitting Set Computation for Model-Based Diagnosis
    Jannach, Dietmar
    Schmitz, Thomas
    Shchekotykhin, Kostyantyn
    [J]. PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1503 - 1510
  • [30] Using Model-Based Diagnosis to Improve Software Testing
    Zamir, Tom
    Stern, Roni
    Kalech, Meir
    [J]. PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 1135 - 1141