لطفا منتظر بمانید ...
0% Complete
صفحه اصلی
/
دومین همایش بین المللی هوش مصنوعی
Towards Automated Self-Aware System Design: Process-Based Models to MAPE-K Architecture
نویسندگان :
Maryam Samsam Sokhiravi
1
Seyed-Hosein Attarzadeh-Niaki
2
1- دانشگاه شهید بهشتی
2- دانشگاه شهید بهشتی
کلمات کلیدی :
Self-Awarenes،Cyber-Physical System،MAPE-K،Scenario-Aware Dataflow،Formal System Design،Design Flow,،Smart Home
چکیده :
We present a systematic design flow to connect abstract behavioral models of self-aware cyber-physical systems to their executable realization. We use an Abstract Process-based Self-aware Model (APSA) and concretely capture it as a Scenario-Aware Dataflow (SADF) model and guarantee timing and resource bounds. The functional components of APSA are then systematically mapped to the roles of the MAPE-K reference architecture and implemented using the MAPE Specification Language (MSL), which automatically generates executable Abstract State Machines (ASMs). A smart-home comfort-control case study demonstrates that the resulting self-adaptive system remains fully traceable to its high-level behavioral model.
لیست مقالات
لیست مقالات بایگانی شده
A Multi-Dimensional Taxonomy and Practical Framework for MLOps Monitoring
Tina Hafezi - Sara Pour Faraj - Seyed Mohammad Amin Alemohammad - Niloofar Mirzaei Chahardeh
Customer Segmentation in Online Tire Sales Using RFM and Quantity: A Comparison of K-Means, MiniBatchKMeans, and DBSCAN with Quality Improvement via Density-Based Refinement
Seyed Mohammadreza Jalalian Shahri - Seyed Hashem Mohtashami
Early Prediction of Inhibitory Control Lapses from Unconstrained Gaze Dynamics
Rezvane Mirzapour - Farhane Mirzapour - Mehdi Delrobaei
Enhanced Brain Tumor Detection: A Novel CNN Approach Optimized by the Crow Search Algorithm
Maryam Moradi - Sima Emadi
Towards Automated Self-Aware System Design: Process-Based Models to MAPE-K Architecture
Maryam Samsam Sokhiravi - Seyed-Hosein Attarzadeh-Niaki
Soil Shear Strength Prediction Using Genetic-Optimized Boosting Machine Learning Models
Mohammadreza Ghadami - Ali Noorzad - Hamid Mohammadnezhad
Enhanced lung cancer detection through SMOTE-ENN resampling with optimized machine learning classifiers and LOOCV
Alireza Kazempoor Choobari - Sadegh Sulaimany
The progression of artificial intelligence toward applicability in biomaterial and tissue engineering
Maryam Tamimi - Hamid Mahdavi
Vision-based Static Detection of Windows Malware with Rule-Augmented Feature Maps
Mahdi Seyfipoor - Mohammad Mahdi Eskandari - Siamak Mohammadi
Integrated Reactive-Proactive Multi-Agent Coordination: A SACR Communication Protocol with Strategic Planning Framework
Mostafa Mehrabi - Monireh Abdoos
بیشتر
ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 44.8.0
