Amjad Gawanmeh

Learn More
SystemC is a system level language recently proposed to raise the abstraction level for embedded systems design and verification. We propose a verification methodology for SystemC designs based on a combination of static code analysis and SystemC semantics described with abstract state machines (ASM). We abstract the source SystemC design into hypergraphs(More)
Fast Health Interoperable Resources (FHIR) is the recently proposed standard from HL7. Its distinguishing features include the user friendly implementation, support of built-in terminologies and for widely-used web standards. Given the safety-critical nature of FHIR, the rigorous analysis of e-health systems using the FHIR is a dire need since they are(More)
Modern healthcare systems benefit from the phenomenal advances that continue to be made in ICT. These advances have resulted in the development of several technologies that have become fundamental parts of electronic healthcare systems such as wireless body sensor networks (WBSNs). WBSNs integrate wearable and implanted devices with wireless communication(More)
Formal models are necessary to capture the semantics and behavior of processes of various systems. They characterize and provide insight into the behavior of real systems and thus identify their deterministic and non-deterministic features. The design and deployment of healthcare systems utilize the current technology development in order to improve(More)
Recording the electrical activity of the heart over a period of time as detected using electrical sensors is referred to as Electrocardiography (ECG). ECG is recorded as a collection of signal waves that has repetitive patterns. These patterns are usually used in the complex diagnosis process through which ECG may indicate certain problems related to the(More)
Electrical sensors are used to detect and record the electrical activity of the heart over a period of time, this operation is referred to as Electrocardiography (ECG) in medical science. Hence ECG is composed of a set of signal waves that repeats themselves and are usually useful in medical diagnosis, where certain ECG patterns and the occupancy of(More)