Cortisol, family coping and burden in informal caregivers of addicts

This study focuses on the prospective mediation role of family coping between burden and cortisol levels in informal caregivers of addicts as well as on the feasible use of two different ways to analyse the salivary cortisol levels. Participants were 120 Portuguese informal caregivers of addicts. The cortisol samples were collected at awakening, 45 minutes later and after a 30 minute presentation of images taken from the International Affective Picture System. Family coping and caregiver burden were measured using the Portuguese versions of the Caregiver Reaction Assessment, and the Family Crisis Oriented Personal Evaluation Scale. Cortisol samples were collected in salivettes and the results were computed in order to determine the Area Under the Curve scores (AUCg, AUCi). Results found family coping to be negatively correlated with burden and AUCg levels (i.e. overall intensity) and positively correlated with either AUCg and AUCi (i.e. change over time). The mediation model revealed that family coping was a partial mediator in the relationship between the burden and AUCg levels. Therefore, Family Coping appears to be an essential variable in understanding the stress response and should be considered in further studies and interventions. In addition, the use of two different formulas for calculating cortisol levels provided important new information concerning the relationship between cortisol, burden and family coping. It seems that burden has a more profound effect on the overall intensity of the neuroendocrine response to caregiver stress and not so much on the sensitivity of the system.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Monitoring for a decidable fragment of MTL-∫

Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results.