TY - GEN
T1 - Model-based quality assurance in machine and plant automation using sequence diagrams - A comparison of two research approaches
AU - Rösch, Susanne
AU - Teufl, Sabine
AU - Vogel-Heuser, Birgit
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/9/28
Y1 - 2015/9/28
N2 - Machine and plant automation (M&PA) is becoming more and more complex, especially, as additional functionality is realized by a rising amount of software. In order to meet high requirements regarding the quality of these machines and plants, sophisticated methods for quality assurance (QA) are needed. Interaction diagrams have been established throughout different domains for specifying use cases, requirements and test cases and therefore are an essential part of quality assurance. In this paper two approaches aiming at supporting QA in machine and plant automation, namely Message Sequence Charts (MSCs) in Model-based Integrated Requirements Analysis (MIRA) and Unified Modeling Language Sequence Diagrams (UML SDs) for Programmable Logic Controller testing (UMLSD4PLC), are compared and analyzed regarding their benefit to QA.
AB - Machine and plant automation (M&PA) is becoming more and more complex, especially, as additional functionality is realized by a rising amount of software. In order to meet high requirements regarding the quality of these machines and plants, sophisticated methods for quality assurance (QA) are needed. Interaction diagrams have been established throughout different domains for specifying use cases, requirements and test cases and therefore are an essential part of quality assurance. In this paper two approaches aiming at supporting QA in machine and plant automation, namely Message Sequence Charts (MSCs) in Model-based Integrated Requirements Analysis (MIRA) and Unified Modeling Language Sequence Diagrams (UML SDs) for Programmable Logic Controller testing (UMLSD4PLC), are compared and analyzed regarding their benefit to QA.
KW - Context
KW - Cranes
KW - Engines
KW - Modeling
KW - Standards
KW - Testing
KW - Unified modeling language
UR - http://www.scopus.com/inward/record.url?scp=84949500433&partnerID=8YFLogxK
U2 - 10.1109/INDIN.2015.7281751
DO - 10.1109/INDIN.2015.7281751
M3 - Conference contribution
AN - SCOPUS:84949500433
T3 - Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
SP - 302
EP - 307
BT - Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th International Conference on Industrial Informatics, INDIN 2015
Y2 - 22 July 2015 through 24 July 2015
ER -