Conference
Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques
| العنوان: | Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques |
|---|---|
| المؤلفون: | Clerissi, D, Rocco, J D, Di Ruscio, D, Di Sipio, C, Ihirwe, F, Mariani, L, Micucci, D, Rossi, MT, Rubei, R |
| المساهمون: | Clerissi, D, Rocco, J, Di Ruscio, D, Di Sipio, C, Ihirwe, F, Mariani, L, Micucci, D, Rossi, M, Rubei, R |
| بيانات النشر: | Institute of Electrical and Electronics Engineers Inc. |
| سنة النشر: | 2023 |
| المجموعة: | Università degli Studi di Milano-Bicocca: BOA (Bicocca Open Archive) |
| مصطلحات موضوعية: | Internet of Thing, Model-Based Testing, Model-Driven Engineering, Software Analysi |
| الوصف: | IoT systems' complexity and susceptibility to failures pose significant challenges in ensuring their reliable operation. Failures can be internally generated or caused by external factors, impacting both the system's correctness and its surrounding environment. To investigate these complexities, various modeling approaches have been proposed to raise the level of abstraction, facilitating automation and analysis. Failure-Logic Analysis (FLA) is a technique that helps predict potential failure scenarios by defining how a component's failure logic behaves and spreads throughout the system. However, manually specifying FLA rules can be arduous and error-prone, leading to incomplete or inaccurate specifications. In this paper, we propose adopting testing methodologies to improve the completeness and correctness of these rules. How failures may propagate within an IoT system can be observed by systematically injecting failures, while running test cases to collect evidence useful to add, complete and refine FLA rules. |
| نوع الوثيقة: | conference object |
| اللغة: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/isbn/9798350324983; info:eu-repo/semantics/altIdentifier/wos/WOS:001137051500072; ispartofbook:Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023; 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2023 - 1 October 2023 through 6 October 2023; firstpage:520; lastpage:529; numberofpages:10; https://hdl.handle.net/10281/454288; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85182389708 |
| DOI: | 10.1109/MODELS-C59198.2023.00089 |
| الاتاحة: | https://hdl.handle.net/10281/454288 https://doi.org/10.1109/MODELS-C59198.2023.00089 |
| رقم الانضمام: | edsbas.514F1E9A |
| قاعدة البيانات: | BASE |
| DOI: | 10.1109/MODELS-C59198.2023.00089 |
|---|