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.
لیست مقالات
لیست مقالات بایگانی شده
Reconstruction of ECoG signals in response to visual stimuli using a model based on convolutional and regression networks.
Mohammad Amin Lotfi - Kimiya ٍEghbal - Fateneh Zareayan Jahromy
Enhanced Brain Tumor Detection: A Novel CNN Approach Optimized by the Crow Search Algorithm
Maryam Moradi - Sima Emadi
Cross-domain prediction of ultimate strength in corroded reinforced concrete columns using domain adaptation techniques
Melina Sadeghi - Pooria Poorahad - Mahmoud R. Shiravand
Empowering Decision-Making in Venture Investments: A Systematic Review of Machine Learning Applications for Predicting Startup Success
Seyed Mohammad Javad Toghraee - Hadi Nilforoushan - Nafiseh Sanaee
Attention-Driven Deep Generative Modeling of Temporal Networks
Maryam Lotfali Kani - Sadegh Aliakbary - Hamed Malek
From Code to Clinic: Bridging the Implementation Gap in AI-Based Clinical Decision Support
Ehsan Ghazanfari Savadkoohi - Farkhondeh Asadi - Hassan Emami
Hybrid Fuzzy‑Q Learning Approach for Load Balancing in IoT Networks
Fereshteh Taghizadeh - Mohsen Raji - Morteza Keshtkaran
Improving the Quality of Life: The Experience of Women with MS from AI Chatbot Program
Zahra Lotfi foroushani
Attention Mechanisms in Deep Learning for Multiple Sclerosis Classification
Mahdie Azizi hashjin - Mahsa Yaghoobi - Babak Nouri-Moghaddam
PE-iForest: A Perturbation-based Framework for Explainable Anomaly Detection
Aria Shakoo - Mahboobeh Riahi-Madvar
بیشتر
ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 44.5.0
