Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation

Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent across every model of a system, and identifying constraints on system design imposed by these modeling assumptions. We have proposed a model transformation approach based on abstract interpretation, a static program analysis technique. Abstract interpretation allows us to define transformations that are provably correct and specific. This work develops the foundations of this approach to model transformation. We define model transformation in terms of abstract interpretation and prove the soundness of our approach. Furthermore, we develop formalisms useful for encoding model properties. This work provides a methodology for relating models of different aspects of a system and for applying modeling techniques from one system domain, such as smart power grids, to other domains, such as water distribution networks.Comment: 8 pages, 4 figures; to appear in HASE 2019 proceeding

A rare haemoglobin variant identified as k woolwich in a Pakistani male

Haemoglobin (Hb) K Woolwich is a rare Hb variant which was first described in a family from West Indies and its occurrence was later reported mainly in Black families from many African countries. We report a case of a young male who came for evaluation of anemia. His complete blood count showed hypochromic, microcytic anemia and his serum ferritin was low. Hb electrophoresis done as part of initial workup showed an abnormal band which moved faster than HbA. For further evaluation, Hb analysis by high performance liquid chromatography was subsequently performed and revealed Hb K Woolwich. This is a rare Hb variant recognized in Pakistani population for the first time through careful interpretation of the chromatographic behavior of the H

Induction process of trainees in pathology residency

This article describes the evolution of the induction process of pathology residency at The Aga Khan University hospital. The Department of Postgraduate Medical Education was established in 1985. The induction process is an exhaustive exercise that includes an admission test held simultaneously in Karachi, Hyderabad, Lahore, and Rawalpindi, followed by an interview of the shortlisted candidates. The pathology residency program was started 25 years ago and since then the induction process has undergone major changes with the course of time

Leishmania donovani bodies in bone marrow

Key clinical message: We report a case of a 5-year-old female, resident of Afghanistan, who presented with fever and massive splenomegaly. Bone marrow revealed Leishmania donovani bodies (LD bodies) in macrophages characterized by a kinetoplast and characteristic double dot appearance. She was diagnosed as visceral leishmaniasis which is transmitted by sandflies (Phlebotomus)

Cost effective improvement in the protocol for detection of haemoglobin variants –a step forward in quality assurance

Background: We report the results of a cost effective improvement in the protocol for detection of haemoglobin variants which incorporates the findings of peripheral blood film along with the results of HPLC. Findings: A total of n = 10,844 samples were received from January 2011 till August 2011. Diagnosis of haemoglobinopathy was made in n = 1123 samples while other abnormalities included iron deficiency anaemia, megaloblastic anaemia, malarial parasite, autoimmune haemolytic anaemia and G6PD deficiency (n = 2473).Conclusion: We diagnosed 23% of abnormalities other than haemoglobinopathy by reviewing peripheral smear of samples received for detection of haemoglobin variants. This resulted in providing proper diagnosis to the referring physician without increment in cost