Assessing Critical Adaptations in Automated Adaptive Software Systems by Stage Decomposition
In environments involving a variety of connected devices and systems, there is an ever-increasing demand for automated adaptation. To ensure that all threats are identified and manageable in such environments, quality assurance activities including testing and inspections in design-time should focus...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2024-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10416841/ |
| _version_ | 1797321012337967104 |
|---|---|
| author | Shuji Morisaki Michiyo Wakimoto Norimitsu Kasai |
| author_facet | Shuji Morisaki Michiyo Wakimoto Norimitsu Kasai |
| author_sort | Shuji Morisaki |
| collection | DOAJ |
| description | In environments involving a variety of connected devices and systems, there is an ever-increasing demand for automated adaptation. To ensure that all threats are identified and manageable in such environments, quality assurance activities including testing and inspections in design-time should focus on assessing the reliability of critical adaptations, which may threaten life, economic property, or important information. This work proposes an approach for identifying and evaluating critical adaptations on the basis of their automation level, reliability, detectability, and recoverability by decomposing adaptations into four stages: monitor, analyze, plan, and execute. This work also empirically evaluates the effectiveness of the proposed approach by assessing a real safety-critical telecommunication system with critical adaptation features and comparing the results with the STAMP (System Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) approach. The results of the evaluation indicated that the proposed approach could assess critical adaptation features provided by the system with reasonable effort. Additionally, structured views provided by the proposed approach enable efficient quality assurance activities. In the evaluation, the proposed approach achieves similar results to the STAMP/STPA approach but requires 33% less effort. |
| first_indexed | 2024-03-08T04:52:22Z |
| format | Article |
| id | doaj.art-25dad5b67a134bc493131518b8147a34 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-03-08T04:52:22Z |
| publishDate | 2024-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-25dad5b67a134bc493131518b8147a342024-02-08T00:02:11ZengIEEEIEEE Access2169-35362024-01-0112178591787510.1109/ACCESS.2024.336027510416841Assessing Critical Adaptations in Automated Adaptive Software Systems by Stage DecompositionShuji Morisaki0https://orcid.org/0000-0002-8290-0584Michiyo Wakimoto1https://orcid.org/0000-0003-4873-9616Norimitsu Kasai2https://orcid.org/0000-0002-1366-037XGraduate School of Informatics, Nagoya University, Nagoya, Aichi, JapanGraduate School of Informatics, Nagoya University, Nagoya, Aichi, JapanInformation Security Management and Investigation Department, Communication Systems Center, Security Section, Mitsubishi Electric Corporation, Hyogo, JapanIn environments involving a variety of connected devices and systems, there is an ever-increasing demand for automated adaptation. To ensure that all threats are identified and manageable in such environments, quality assurance activities including testing and inspections in design-time should focus on assessing the reliability of critical adaptations, which may threaten life, economic property, or important information. This work proposes an approach for identifying and evaluating critical adaptations on the basis of their automation level, reliability, detectability, and recoverability by decomposing adaptations into four stages: monitor, analyze, plan, and execute. This work also empirically evaluates the effectiveness of the proposed approach by assessing a real safety-critical telecommunication system with critical adaptation features and comparing the results with the STAMP (System Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) approach. The results of the evaluation indicated that the proposed approach could assess critical adaptation features provided by the system with reasonable effort. Additionally, structured views provided by the proposed approach enable efficient quality assurance activities. In the evaluation, the proposed approach achieves similar results to the STAMP/STPA approach but requires 33% less effort.https://ieeexplore.ieee.org/document/10416841/Automated adaptationinspectionverification and validationsafety |
| spellingShingle | Shuji Morisaki Michiyo Wakimoto Norimitsu Kasai Assessing Critical Adaptations in Automated Adaptive Software Systems by Stage Decomposition IEEE Access Automated adaptation inspection verification and validation safety |
| title | Assessing Critical Adaptations in Automated Adaptive Software Systems by Stage Decomposition |
| title_full | Assessing Critical Adaptations in Automated Adaptive Software Systems by Stage Decomposition |
| title_fullStr | Assessing Critical Adaptations in Automated Adaptive Software Systems by Stage Decomposition |
| title_full_unstemmed | Assessing Critical Adaptations in Automated Adaptive Software Systems by Stage Decomposition |
| title_short | Assessing Critical Adaptations in Automated Adaptive Software Systems by Stage Decomposition |
| title_sort | assessing critical adaptations in automated adaptive software systems by stage decomposition |
| topic | Automated adaptation inspection verification and validation safety |
| url | https://ieeexplore.ieee.org/document/10416841/ |
| work_keys_str_mv | AT shujimorisaki assessingcriticaladaptationsinautomatedadaptivesoftwaresystemsbystagedecomposition AT michiyowakimoto assessingcriticaladaptationsinautomatedadaptivesoftwaresystemsbystagedecomposition AT norimitsukasai assessingcriticaladaptationsinautomatedadaptivesoftwaresystemsbystagedecomposition |