Verifying Policy Enforcers

Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed focusing only on the behavior of the application that must be monitored, the effect of multiple enforcers that enforce different policies might be hard to predict. So far, mechanisms to resolve interferences between enforcers have been based on priority mechanisms and heuristics. Although these methods provide a mechanism to take decisions when multiple enforcers try to affect the execution at a same time, they do not guarantee the lack of interference on the global behavior of the system. In this paper we present a verification strategy that can be exploited to discover interferences between sets of enforcers and thus safely identify a-priori the enforcers that can co-exist at run-time. In our evaluation, we experimented our verification method with several policy enforcers for Android and discovered some incompatibilities.Comment: Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, and Yli\`es Falcone. Verifying Policy Enforcers. Proceedings of 17th International Conference on Runtime Verification (RV), 2017. (to appear

Android Based Education Application Design For Tuberculosis Patients In Tasikmalaya City

Tuberculosis (TB) is an infectious disease with a high incidence rate in Indonesia. This disease is a health problem nationally and globally. Disobedience of TB patients in taking medication is an obstacle in healing. PMO (Drug Supervisor) officers have a very important duty to ensure TB patients are disciplined in taking their medication, so they can improve patient’s quality of life. However, majority of patients forget to take medicine frequently and PMO to remind them in taking medicine unconsistently. This means that there is a high probability that good behavior that is carried out after education is not consistent, because patients do not have adequate support systems to comply with treatment and orderly in preventing transmission. The purpose of this study was to design an android-based educational application for TB patients in Tasikmalaya city. Prototype design was used in this research. The results found 4 features in the application design such as education (providing health education through pictures, posters and videos), screening (tracking of families are at high risk of spreading), taking medication (remind and evaluate of taking medication) and consultation (counseling related to disease). Based on the test results, it can be concluded that the SMART-TB application design can able to provide information and convenience for some TB patients in reporting taking medication and health-related consultations. Keywords: Tuberculosis; application design; Android base