Model-based quality assurance in machine and plant automation using sequence diagrams - A comparison of two research approaches (bibtex)
by Rösch, Susanne, Teufl, Sabine and Vogel-Heuser, Birgit
Abstract:
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. \textcopyright 2015 IEEE.
Reference:
Model-based quality assurance in machine and plant automation using sequence diagrams - A comparison of two research approaches (Rösch, Susanne, Teufl, Sabine and Vogel-Heuser, Birgit), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, 2015.
Bibtex Entry:
@inproceedings{RsTeVo2015,
abstract = {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. {\textcopyright} 2015 IEEE.},
address = {Cambridge, UK},
author = {R{\"{o}}sch, Susanne and Teufl, Sabine and Vogel-Heuser, Birgit},
booktitle = {Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015},
doi = {10.1109/INDIN.2015.7281751},
isbn = {9781479966493},
keywords = {Context,Cranes,Engines,Modeling,Standards,Testing,Unified modeling language,modemas},
mendeley-tags = {modemas},
pages = {302--307},
title = {{Model-based quality assurance in machine and plant automation using sequence diagrams - A comparison of two research approaches}},
url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84949500433{\&}partnerID=40{\&}md5=d697177f9e3239d74f63317b6ad6c8c2},
year = {2015}
}
Powered by bibtexbrowser