An HMM_Model‐Checker for complex systems | ASJP

المجلة الجزائرية للعلوم
Volume 7, Numéro 14, Pages 76-79
2021-06-03

An Hmm_model‐checker For Complex Systems

Authors : Assiaa Ferroum . Rachid Boudour .

Abstract

Nowadays, probabilisticverification for embeddedsystems continues to attract more and more actors in the researchcommunity. Given a formula of the logic POCTL describing the specifications of a system, an HMM model, and a miningalgorithm to check if itissatisfied or not. This workpresentssome contributions in the verificationarea: the HMM as a new model, an implementation in the NetBeans 6.5 environment of a toolcalled "HMM_Model-Checker". Safetyproperties are checked on a case study of a real embedded system Hubble SpaceTelescope, results are encouraging.

Keywords

Complexsystems, Probabilistic model checking, HMM, POCTL

Hmm_model-checker Pour La Vérification Probabiliste

Ferroum Assia . Boudour Rachid .
pages 14-24.

دور برمجيات المعالجة الآلية للغة في بناء المعاجم الحاسوبية المدقق الإملائي والمحلل الصرفي أنموذجا The Role Of Automated Language Processing Software In Building Electronic Lexicons Spelling Checker And Morphological Analyzer As A Model

تاوريريت حسام الدين . شاشه إيمان .
ص 531-546.

من عقدة أوديب إلى عقدة قابيل: نَحو تحليلٍ نفسيٍّ أنتروبولوجيٍّ للمحكي الديني The Religious Narrative: From The Oedipus Complex To The Cain Complex . Towards An Anthropological Psychoanalysis

المودن حسن .
ص 23-36.

آثار استخدام أنظمة ذكاء الأعمال على التميز التنظيمي من خلال الدور الوسيط لمتغير الابداع الإداري دراسة حالة مجمع صيدال (المديرية العامة) The Effects Of Using Business Intelligence Systems On Organizational Excellence Through The Mediating Role For The Administrative Creativity Variable, A Case Study Of Saidal Complex (general Directorate)

توايتية الطاهر .
ص 109-132.

The Role Of Information Systems In Activating Strategic Intelligence: Evidence From The Agricultural Equipment Complex (cma) In Sidi Bel Abbès, Algeria

Mehdaoui Kaouther Fatima . Hadir Abdelkader .
pages 381-398.