Analysis Framework for Evaluating PLC Software: An Application of Semantic Web Technologies

被引：0
作者：
Feldmann, Stefan [1 ]
Hauer, Florian [1 ]
Ulewicz, Sebastian [1 ]
Vogel-Heuser, Birgit [1 ]
机构：
[1] Tech Univ Munich, Inst Automat & Informat Syst, D-80290 Munich, Germany
来源：
PROCEEDINGS 2016 IEEE 25TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE) | 2016年
关键词：
STATIC ANALYSIS;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
Control software in the automated production systems domain is becoming increasingly complex. As a consequence, appropriate methods to improve control software quality need to be identified. Although sophisticated frameworks and tools for software quality improvement exist in the computer science domain, support for industrial control software development is still limited. As a first step towards addressing this issue, this paper proposes an analysis framework that aims at evaluating control software by means of Semantic Web technologies.
引用
收藏
页码：1048 / 1054
页数：7
相关论文
共 16 条
  • [1] Bringing Energy Efficiency Closer to Application Developers: An Extensible Software Analysis Framework
    Marantos, Charalampos
    Papadopoulos, Lazaros
    Lamprakos, Christos P.
    Salapas, Konstantinos
    Soudris, Dimitrios
    IEEE TRANSACTIONS ON SUSTAINABLE COMPUTING, 2023, 8 (02): : 180 - 193
  • [2] Change analysis on evolving PLC software in automated production systems
    Schlie, Alexander
    Bougouffa, Safa
    Fischer, Juliane
    Schaefer, Ina
    Vogel-Heuser, Birgit
    AT-AUTOMATISIERUNGSTECHNIK, 2018, 66 (10) : 806 - 818
  • [3] An Application of Interval Analysis in Software Static Analysis
    Wang, Yawen
    Gong, Yunzhan
    Chen, Junliang
    Xiao, Qing
    Yang, Zhaohong
    EUC 2008: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING, VOL 2, WORKSHOPS, 2008, : 367 - 372
  • [4] Evaluating Static Analysis Defect Warnings On Production Software
    Ayewah, Nathaniel
    Pugh, William
    Morgenthaler, J. David
    Penix, John
    Zhou, YuQian
    PASTE'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN- SIGSOFT WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS & ENGINEERING, 2007, : 1 - +
  • [5] A New Framework of Security Vulnerabilities Detection in PHP Web Application
    Zhao, Jingling
    Gong, Rulin
    2015 9TH INTERNATIONAL CONFERENCE ON INNOVATIVE MOBILE AND INTERNET SERVICES IN UBIQUITOUS COMPUTING IMIS 2015, 2015, : 271 - 276
  • [6] Jasmine: A Static Analysis Framework for Spring Core Technologies
    Chen, Miao
    Tu, Tengfei
    Zhang, Hua
    Wen, Qiaoyan
    Wang, Weihang
    PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
  • [7] Inferring Page Models for Web Application Analysis
    Athaiya, Snigdha
    PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 412 - 415
  • [8] Scalable Cloud Based Semantic Code Analysis to Support Continuous Integration of Industrial PLC Code
    Bougouffa, Safa
    Diehm, Sebastian
    Schwarz, Michael
    Vogel-Heuser, Birgit
    2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2017, : 621 - 627
  • [9] Open Source Web Application Security: A Static Analysis Approach
    Alenezi, Mamdouh
    Javed, Yasir
    2016 INTERNATIONAL CONFERENCE ON ENGINEERING & MIS (ICEMIS), 2016,
  • [10] phpSAFE: A Security Analysis Tool for OOP Web Application Plugins
    Nunes, Paulo
    Fonseca, Jose
    Vieira, Marco
    2015 45TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, 2015, : 299 - 306
12