Graph transformation is often used to transform domain models from one domain specific language (DSML) to another. In some cases, the DSMLs are based on a formalism that has many implementation variants, such as Statecharts. For instance, it could be necessary to transform iLogix Statechart models into Matlab Stateflow models. The preservation of behavior of the models is crucial in such transf...

We describe sal-atg, a tool for automated test generation that will be distributed as part of the next release of SAL. Given a SAL specification augmented with Boolean trap variables representing test goals, sal-atg generates an efficient set of tests to drive the trap variables to TRUE; SAL specifications are typically instrumented with trap variables representing structural coverage criteria ...

This paper reports on the study and early experiments of the available technologies for the formal validation and verification of Automated Code Generator which took place in the GeneAuto project. GeneAuto aims at the development of an ACG for a safe subset of the Matlab/Simulink/Stateflow modelling language which will be used for the development of certified safety critical embedded real time ...

Abstract Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS combine continuous discrete dynamics—a fault in physical component manifests itself very different way than state machine. Furthermore, faults can propagate both time space before they be detected at the observable interface of model. As consequence, explaining reason an observed failure challenging o...

هدف: هدف این پژوهش مقایسه اثربخشی امیددرمانی و معنویت درمانی بر کیفیت زندگی، قند خون فشار زنان میانسال مبتلا به دیابت نوع دو بود. روش: حاضر نیمه آزمایشی با طرح پیش آزمون- پس پیگیری گروه گواه جامعه آماری شامل تمام 2 مراجعه کننده مرکز تحقیقات دیابت، متابولیسم غدد شهر تهران در سال 1399 بودند که ‏45 نفر شیوه نمونه‌گیری دسترس انتخاب صورت تصادفی آزمایش یک (هر 15 نفر) قرار گرفتند. ابزار پرسشنامه کوتاه...