\n \n \n
\n
\n\n \n \n \n \n \n Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings.\n \n \n \n\n\n \n Zeller, M.; and Höfig, K.,\n editors.\n \n\n\n \n\n\n\n Volume 12297, of Lecture Notes in Computer Science.Springer. 2020.\n
\n\n
\n\n
\n\n
\n\n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@proceedings{Zeller2020b,\n editor = {Marc Zeller and\n Kai H{\\"{o}}fig},\n title = {Model-Based Safety and Assessment - 7th International Symposium, {IMBSA}\n 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12297},\n publisher = {Springer},\n year = {2020},\n doi = {10.1007/978-3-030-58920-2},\n isbn = {978-3-030-58919-6},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n An Industrial Roadmap for Continuous Delivery of Software for Safety-critical Systems.\n \n \n \n \n\n\n \n Zeller, M.; Ratiu, D.; Rothfelder, M.; and Buschmann, F.\n\n\n \n\n\n\n In
39th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Position Paper, Lisbon, Portugal, September 2020. \n
\n\n
\n\n
\n\n
\n\n \n \n
paper\n \n \n \n
link\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@InProceedings{Zeller2020a,\n author = {Zeller, Marc and Ratiu, Daniel and Rothfelder, Martin and Buschmann, Frank},\n title = {{An Industrial Roadmap for Continuous Delivery of Software for Safety-critical Systems}},\n booktitle = {{39th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Position Paper}},\n year = {2020},\n address = {Lisbon, Portugal},\n month = Sep,\n hal_id = {hal-02931767},\n hal_version = {v1},\n url_Paper\t = {paper/SafecComp2020.pdf},\n url_link = {https://hal-laas.archives-ouvertes.fr/SAFECOMP2020/hal-02931767},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities.\n \n \n \n \n\n\n \n Reich, J.; Frey, J.; Cioroaica, E.; Zeller, M.; and Rothfelder, M.\n\n\n \n\n\n\n In
Zeller, M.; and Höfig, K., editor(s),
Model-Based Safety and Assessment, pages 19–33, Cham, 2020. Springer International Publishing\n
\n\n
\n\n
\n\n
\n\n \n \n
pdf\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@InProceedings{Reich2020a,\n author = {Reich, Jan and Frey, Joshua and Cioroaica, Emilia and Zeller, Marc and Rothfelder, Martin},\n title = {Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities},\n booktitle = {Model-Based Safety and Assessment},\n year = {2020},\n editor = {Zeller, Marc and H{\\"o}fig, Kai},\n pages = {19--33},\n address = {Cham},\n publisher = {Springer International Publishing},\n abstract = {Creating a sound argumentation of why a system is sufficiently safe is a major part of the assurance process. Today, compiling a safety case and maintaining its validity after changes are time-consuming manual work. By using the concept provided by Digital Dependability Identities (DDI), we present a systematic approach for creating a model-connected safety argument that is formally related to safety models such as hazard and risk assessment, safety analysis, architecture, safety requirements or validation. The comprehensively traced DDI model provides the traceability basis to guide argument-driven safety engineering processes. Flaws in arguments or evidence emerging through changes in the product development process are addressed by DDI-based automation. The case study described in this paper evaluates the DDI approach based on the publicly available safety assurance documentation of a Generic Infusion Pump (GIP) system. The evaluation demonstrates that DDIs can capture the relevant safety aspects of the GIP system.},\n doi\t\t= {10.1007/978-3-030-58920-2_2},\n url_pdf\t= {https://www.researchgate.net/profile/Jan_Reich/publication/344106625_Argument-Driven_Safety_Engineering_of_a_Generic_Infusion_Pump_with_Digital_Dependability_Identities/links/5f645df7a6fdcc008629795d/Argument-Driven-Safety-Engineering-of-a-Generic-Infusion-Pump-with-Digital-Dependability-Identities.pdf}\n}\n\n
\n
\n\n\n
\n Creating a sound argumentation of why a system is sufficiently safe is a major part of the assurance process. Today, compiling a safety case and maintaining its validity after changes are time-consuming manual work. By using the concept provided by Digital Dependability Identities (DDI), we present a systematic approach for creating a model-connected safety argument that is formally related to safety models such as hazard and risk assessment, safety analysis, architecture, safety requirements or validation. The comprehensively traced DDI model provides the traceability basis to guide argument-driven safety engineering processes. Flaws in arguments or evidence emerging through changes in the product development process are addressed by DDI-based automation. The case study described in this paper evaluates the DDI approach based on the publicly available safety assurance documentation of a Generic Infusion Pump (GIP) system. The evaluation demonstrates that DDIs can capture the relevant safety aspects of the GIP system.\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Failure Mode Reasoning in Model Based Safety Analysis.\n \n \n \n \n\n\n \n Jahanian, H.; Parker, D.; Zeller, M.; McIver, A.; and Papadopoulos, Y.\n\n\n \n\n\n\n In
Zeller, M.; and Höfig, K., editor(s),
Model-Based Safety and Assessment, pages 130–145, Cham, 2020. Springer International Publishing\n
\n\n
\n\n
\n\n
\n\n \n \n
pdf\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@InProceedings{Jahanian2020,\n author = {Jahanian, Hamid and Parker, David and Zeller, Marc and McIver, Annabelle and Papadopoulos, Yiannis},\n title = {Failure Mode Reasoning in Model Based Safety Analysis},\n booktitle = {Model-Based Safety and Assessment},\n year = {2020},\n editor = {Zeller, Marc and H{\\"o}fig, Kai},\n pages = {130--145},\n address = {Cham},\n publisher = {Springer International Publishing},\n abstract = {Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model-based safety analysis methods, such as HiP-HOPS and CFT, in order to achieve a comprehensive safety analysis of SIS. In this case study, FMR covers the analysis of SIS inputs while HiP-HOPS/CFT models the faults of logic solver and final elements. The SIS program is analyzed by FMR and the results are exported to HiP-HOPS/CFT via automated interfaces. The final outcome is the collective list of SIS failure modes along with their reliability measures. We present and review the results from both qualitative and quantitative perspectives.},\n doi\t\t= {10.1007/978-3-030-58920-2_9},\n url_pdf = {https://arxiv.org/pdf/2005.06279.pdf}\n}\n\n
\n
\n\n\n
\n Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model-based safety analysis methods, such as HiP-HOPS and CFT, in order to achieve a comprehensive safety analysis of SIS. In this case study, FMR covers the analysis of SIS inputs while HiP-HOPS/CFT models the faults of logic solver and final elements. The SIS program is analyzed by FMR and the results are exported to HiP-HOPS/CFT via automated interfaces. The final outcome is the collective list of SIS failure modes along with their reliability measures. We present and review the results from both qualitative and quantitative perspectives.\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Achieving Data Privacy with a Dependability Mechanism for Cyber Physical Systems.\n \n \n \n \n\n\n \n Regan, G.; McCaffery, F.; Paul, P. C.; Reich, J.; Sorokos, I.; Armangeud, E.; Zeller, M.; and Longo, S.\n\n\n \n\n\n\n In
Systems, Software and Services Process Improvement, pages 511–524, Cham, 2020. Springer International Publishing\n
\n\n
\n\n
\n\n
\n\n \n \n
pdf\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@InProceedings{Regan2020a,\n author = {Gilbert Regan and Fergal McCaffery and Pangkaj Chandra Paul and Jan Reich and Ioannis Sorokos and Eric Armangeud and Marc Zeller and Simone Longo},\n title = {Achieving Data Privacy with a Dependability Mechanism for Cyber Physical Systems},\n booktitle\t= {Systems, Software and Services Process Improvement},\n year\t\t= {2020},\n publisher = {Springer International Publishing},\n address\t= {Cham},\n pages\t = {511--524},\n abstract\t= {Cyber-Physical-Systems (CPS), such as smart cars and implanted medical devices, are systems of collaborating computational entities. The open and cooperative nature of CPS poses a significant new challenge in assuring dependability. The DEIS project addresses this important and unsolved challenge through its key innovation which is the concept of a Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. Data protection and privacy is a key component of dependability and is regulated by the General Data Protection Regulation (GDPR) for all European Union (EU) and European Economic Area (EEA) citizens.},\n url_pdf = {https://www.researchgate.net/profile/Jan-Reich-2/publication/343553832_Achieving_Data_Privacy_with_a_Dependability_Mechanism_for_Cyber_Physical_Systems/links/5f56a7c9a6fdcc9879d62822/Achieving-Data-Privacy-with-a-Dependability-Mechanism-for-Cyber-Physical-Systems.pdf}\n}\n\n
\n
\n\n\n
\n Cyber-Physical-Systems (CPS), such as smart cars and implanted medical devices, are systems of collaborating computational entities. The open and cooperative nature of CPS poses a significant new challenge in assuring dependability. The DEIS project addresses this important and unsolved challenge through its key innovation which is the concept of a Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. Data protection and privacy is a key component of dependability and is regulated by the General Data Protection Regulation (GDPR) for all European Union (EU) and European Economic Area (EEA) citizens.\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines.\n \n \n \n \n\n\n \n Kaukewitsch, C.; Papist, H.; Zeller, M.; and Rothfelder, M.\n\n\n \n\n\n\n In
2020 Annual Reliability and Maintainability Symposium (RAMS), pages 1-6, 2020. \n
\n\n
\n\n
\n\n
\n\n \n \n
pdf\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@InProceedings{Kaukewitsch2020,\n author = {Christof Kaukewitsch and Henrik Papist and Marc Zeller and Martin Rothfelder},\n title = {Automatic Generation of {RAMS} Analyses from Model-based Functional Descriptions using {UML} State Machines},\n booktitle = {2020 Annual Reliability and Maintainability Symposium (RAMS)},\n year = {2020},\n pages\t\t\t= {1-6},\n doi\t\t\t= {10.1109/RAMS48030.2020.9153667},\n archiveprefix = {arXiv},\n eprint = {2005.01993},\n url_pdf \t\t= {https://arxiv.org/ftp/arxiv/papers/2005/2005.01993.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Learning and Testing Resilience in Cooperative Multi-Agent Systems.\n \n \n \n \n\n\n \n Phan, T.; Gabor, T.; Sedlmeier, A.; Ritz, F.; Kempter, B.; Klein, C.; Sauer, H.; Schmid, R. N.; Wieghardt, J.; Zeller, M.; and Linnhoff-Popien, C.\n\n\n \n\n\n\n In
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020, pages 1055–1063, 2020. \n
\n\n
\n\n
\n\n
\n\n \n \n
pdf\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@InProceedings{Phan2020,\n author = {Thomy Phan and Thomas Gabor and Andreas Sedlmeier and Fabian Ritz and Bernhard Kempter and Cornel Klein and Horst Sauer and Reiner N. Schmid and Jan Wieghardt and Marc Zeller and Claudia Linnhoff{-}Popien},\n title = {Learning and Testing Resilience in Cooperative Multi-Agent Systems},\n booktitle = {Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13, 2020},\n year = {2020},\n pages = {1055--1063},\n url_pdf = {https://dl.acm.org/doi/pdf/10.5555/3398761.3398884},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Quality Improvement Mechanism for Cyber Physical Systems – An Evaluation.\n \n \n \n \n\n\n \n Regan, G.; Caffery, F. M.; Paul, P. C.; Reich, J.; Armengaud, E.; Kaypmaz, C.; Zeller, M.; Guo, J. Z.; Longo, S.; O'Carroll, E.; and Sorokos, I.\n\n\n \n\n\n\n
Journal of Software: Evolution and Process, 32(11): e2295. 2020.\n
\n\n
\n\n
\n\n
\n\n \n \n
pdf\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n
@Article{Regan2020b,\n author = {Gilbert Regan and Fergal Mc Caffery and Pangkaj Chandra Paul and Jan Reich and Eric Armengaud and Cem Kaypmaz and Marc Zeller and Joe Zhensheng Guo and Simone Longo and Eoin O'Carroll and Ioannis Sorokos},\n title = {Quality Improvement Mechanism for Cyber Physical Systems – An Evaluation},\n journal = {Journal of Software: Evolution and Process},\n volume = {32},\n number = {11},\n pages = {e2295},\n year = {2020},\n doi = {10.1002/smr.2295},\n keywords = {cyber physical system, cyber security, dependability, devaluation},\n abstract = {Abstract The future will encompass heavily interconnected, distributed, heterogeneous and intelligent systems which are bound to have a significant economic and social impact. Cyber physical systems (CPS) such as autonomous cars, smart electric grid, implanted medical devices and smart manufacturing are some practical examples of these intelligent systems. However, due to the open and cooperative nature of CPS, assuring their dependability is a challenge. The DEIS project addresses this important and unsolved challenge by developing the concept of a digital dependability identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. DDIs are synthesised at development time and are the basis for the (semi)automated integration of components into systems during development, as well as for the fully automated dynamic integration of systems into systems of systems in the field.},\n %url_link = {https://onlinelibrary.wiley.com/doi/abs/10.1002/smr.2295},\n url_pdf = {https://eprints.dkit.ie/738/1/Quality%20Improvement%20Mechanism%20for%20Cyber%20Physical%20Systems%20%E2%80%93%20An%20Evaluation.pdf}\n}\n\n
\n
\n\n\n
\n Abstract The future will encompass heavily interconnected, distributed, heterogeneous and intelligent systems which are bound to have a significant economic and social impact. Cyber physical systems (CPS) such as autonomous cars, smart electric grid, implanted medical devices and smart manufacturing are some practical examples of these intelligent systems. However, due to the open and cooperative nature of CPS, assuring their dependability is a challenge. The DEIS project addresses this important and unsolved challenge by developing the concept of a digital dependability identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. DDIs are synthesised at development time and are the basis for the (semi)automated integration of components into systems during development, as well as for the fully automated dynamic integration of systems into systems of systems in the field.\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Realization of model-based safety analysis and Integration with Capella.\n \n \n \n \n\n\n \n Zeller, M.\n\n\n \n\n\n\n Talk @ SiriusCon 2020, June 2020.\n
\n\n
\n\n
\n\n
\n\n \n \n
link\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@Misc{Zeller2020,\n author = {Marc Zeller},\n title = {Realization of model-based safety analysis and Integration with Capella},\n howpublished = {Talk @ SiriusCon 2020},\n month = jun,\n year = {2020},\n url_link = {https://www.slideshare.net/Obeo_corp/siriuscon-2020-realization-of-modelbased-safety-analysis-and-integration-with-capella}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n DEIS - Dependability Engineering Innovation for smart transportation.\n \n \n \n \n\n\n \n Armengaud, E.; Kaypmaz, C.; Ozkaya, E.; Zeller, M.; Longo, S.; Melis, M.; Groppo, R.; O'Carroll, E.; Schneider, D.; Reich, J.; Papadopoulos, Y.; Sorokos, I.; Kelly, T.; Habli, I.; Wei, R.; Villa, F.; and Regan, G.\n\n\n \n\n\n\n In
8th Transport Research Arena TRA 2020, 2020. \n
\n\n
\n\n
\n\n
\n\n \n \n
link\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@InProceedings{Armengaud2020,\n author = {Eric Armengaud and Cem Kaypmaz and Erhan Ozkaya and M. Zeller and S. Longo and M. Melis and R. Groppo and E. O'Carroll and D. Schneider and J. Reich and Y. Papadopoulos and I. Sorokos and T. Kelly and I. Habli and R. Wei and F. Villa and G. Regan},\n title = {DEIS - Dependability Engineering Innovation for smart transportation},\n booktitle = {8th Transport Research Arena TRA 2020},\n year = {2020},\n url_link = {https://www.researchgate.net/profile/Jan-Reich-2/publication/341072793_DEIS_-Dependability_Engineering_Innovation_for_smart_transportation/links/5eac1055a6fdcc70509e0aae/DEIS-Dependability-Engineering-Innovation-for-smart-transportation.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Securing a Dependability Improvement Mechanism for Cyber Physical Systems.\n \n \n \n \n\n\n \n Regan, G.; McCaffery, F.; Paul, P. C.; amd Jan Reich, I. S.; Armengaud, E.; and Zeller, M.\n\n\n \n\n\n\n In
Proceedings of the 18th International Conference on Software Engineering Research and Practice (SERP), 2020. \n
\n\n
\n\n
\n\n
\n\n \n \n
link\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@InProceedings{Regan2020,\n author = {Gilbert Regan and Fergal McCaffery and Pangkaj Chandra Paul and Ioannis Sorokos amd Jan Reich and Eric Armengaud and Marc Zeller},\n title = {Securing a Dependability Improvement Mechanism for Cyber Physical Systems},\n booktitle = {Proceedings of the 18th International Conference on Software Engineering Research and Practice (SERP)},\n year = {2020},\n abstract = {The open and cooperative nature of Cyber-Physical Systems (CPS) poses a signifi-cant new challenge in assuring dependability. A European funded project named DEIS addresses this important and unsolved challenge by developing technologies that facilitate the efficient synthesis of components and systems based on their de-pendability information. The key innovation that is the aim of DEIS is the corre-sponding concept of a Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. In this paper we present an overview of the DDI, and provide the protocol for ensur-ing the security of the DDI while it is in transit and rest. Additionally, we provide con-fidentiality, integrity and availability validation of the protocol.},\n url_link = {https://eprints.dkit.ie/739/}\n}\n\n
\n
\n\n\n
\n The open and cooperative nature of Cyber-Physical Systems (CPS) poses a signifi-cant new challenge in assuring dependability. A European funded project named DEIS addresses this important and unsolved challenge by developing technologies that facilitate the efficient synthesis of components and systems based on their de-pendability information. The key innovation that is the aim of DEIS is the corre-sponding concept of a Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS or CPS component. In this paper we present an overview of the DDI, and provide the protocol for ensur-ing the security of the DDI while it is in transit and rest. Additionally, we provide con-fidentiality, integrity and availability validation of the protocol.\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Simulation-Based Robust Scheduling for Smart Factories Considering Improved Test Strategies.\n \n \n \n\n\n \n Hipp, U.; Zeh, T.; Klein, W.; Joanni, A.; Rothbauer, S.; and Zeller, M.\n\n\n \n\n\n\n In
2020 Annual Reliability and Maintainability Symposium (RAMS), pages 1-7, 2020. \n
\n\n
\n\n
\n\n
\n\n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@InProceedings{Hipp2020,\n author = {Ulrich Hipp and Tobias Zeh and Wolfram Klein and Andreas Joanni and Stefan Rothbauer and Marc Zeller},\n title = {Simulation-Based Robust Scheduling for Smart Factories Considering Improved Test Strategies},\n booktitle = {2020 Annual Reliability and Maintainability Symposium (RAMS)},\n year = {2020},\n pages\t\t= {1-7},\n doi\t\t= {10.1109/RAMS48030.2020.9153657}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n The scenario coevolution paradigm: adaptive quality assurance for adaptive systems.\n \n \n \n \n\n\n \n Gabor, T.; Sedlmeier, A.; Phan, T.; Ritz, F.; Kiermeier, M.; Belzner, L.; Kempter, B.; Klein, C.; Sauer, H.; Schmid, R.; and others\n\n\n \n\n\n\n
International Journal on Software Tools for Technology Transfer,1433-2787. March 2020.\n
\n\n
\n\n
\n\n
\n\n \n \n
pdf\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@Article{Gabor2020,\n author = {Gabor, Thomas and Sedlmeier, Andreas and Phan, Thomy and Ritz, Fabian and Kiermeier, Marie and Belzner, Lenz and Kempter, Bernhard and Klein, Cornel and Sauer, Horst and Schmid, Reiner and others},\n title = {The scenario coevolution paradigm: adaptive quality assurance for adaptive systems},\n journal = {International Journal on Software Tools for Technology Transfer},\n year = {2020},\n pages = {1433-2787},\n month = mar,\n abstract = {Systems are becoming increasingly more adaptive, using techniques like machine learning to enhance their behavior on their own rather than only through human developers programming them. We analyze the impact the advent of these new techniques has on the discipline of rigorous software engineering, especially on the issue of quality assurance. To this end, we provide a general description of the processes related to machine learning and embed them into a formal framework for the analysis of adaptivity, recognizing that to test an adaptive system a new approach to adaptive testing is necessary. We introduce scenario coevolution as a design pattern describing how system and test can work as antagonists in the process of software evolution. While the general pattern applies to large-scale processes (including human developers further augmenting the system), we show all techniques on a smaller-scale example of an agent navigating a simple smart factory. We point out new aspects in software engineering for adaptive systems that may be tackled naturally using scenario coevolution. This work is a substantially extended take on Gabor et al. (International symposium on leveraging applications of formal methods, Springer, pp 137–154, 2018).},\n doi = {10.1007/s10009-020-00560-5},\n publisher = {Springer},\n url_pdf = {https://link.springer.com/content/pdf/10.1007/s10009-020-00560-5.pdf},\n}\n\n
\n
\n\n\n
\n Systems are becoming increasingly more adaptive, using techniques like machine learning to enhance their behavior on their own rather than only through human developers programming them. We analyze the impact the advent of these new techniques has on the discipline of rigorous software engineering, especially on the issue of quality assurance. To this end, we provide a general description of the processes related to machine learning and embed them into a formal framework for the analysis of adaptivity, recognizing that to test an adaptive system a new approach to adaptive testing is necessary. We introduce scenario coevolution as a design pattern describing how system and test can work as antagonists in the process of software evolution. While the general pattern applies to large-scale processes (including human developers further augmenting the system), we show all techniques on a smaller-scale example of an agent navigating a simple smart factory. We point out new aspects in software engineering for adaptive systems that may be tackled naturally using scenario coevolution. This work is a substantially extended take on Gabor et al. (International symposium on leveraging applications of formal methods, Springer, pp 137–154, 2018).\n
\n\n\n
\n\n\n\n\n\n