Learn More
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In particular, in a mixed-criticality system, low criticality applications must be prevented from interfering with high criticality ones. In this paper, we introduce a new design(More)
In networked cyber physical systems real time global computations, e.g., the supervisory control of a flight control system, require consistent views, consistent actions and synchronized state transitions across network nodes in real time. This paper presents a real time logical synchrony protocol, Physically Asynchronous Logically Synchronous (PALS), to(More)
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing application-level fault-tolerance methods, even if formally verified, leave the system vulnerable to errors in the real-time operating system (RTOS), middleware, and microprocessor. We(More)
Alzheimer's disease (AD) is a neurodegenerative disorder that causes progressive memory and cognitive decline due to the selective neuronal loss in the cortex and hippocampus of the brains. Generation of human induced pluoripotent stem (hiPS) cells holds great promise for disease modeling and drug discovery in AD. In this study, we used neurons with(More)
—Pattern solutions [1] for software and architec-tures have significantly reduced design, verification, and validation times by mapping challenging problems into a solved generic problem. In the paper, we present an architecture pattern for ensuring synchronous computation semantics using the PALS protocol [2]. We develop a modeling framework in AADL to(More)
We address two necessary issues needed for developing safe and reliable MD PnP systems: robust wireless networking and automated checking for component interoperability and reliability. First, the robustness of a wireless network can be improved by the use of DSSS-CDMA, which tradeoff throughput to achieve higher reliability and persistence of connections(More)
Modern cyber-physical systems are found in important domains such as automobiles, medical devices, building automation, avionics, etc.. Hence, they are increasingly prone to security violations. Often such vulnerabilities occur as a result of contradictory requirements between the safety/real-time properties and the security needs of the system. In this(More)
Truncation of tau protein is considered an early event in Alzheimer's disease (AD) and is believed to play a major pathogenic role in sporadic AD. However, causative factors that trigger tau truncation in AD remain poorly understood. In the present study, we demonstrate that CXCL1 (C-X-C motif ligand 1), a specific ligand for the chemokine receptor CXCR2,(More)
There exists a growing need for automated interoperability among medical devices in modern healthcare systems. This requirement is not just for convenience, but to prevent the possibility of errors due to the complexity of interactions between the devices and human operators. Hence, a system supporting such interoperability is supposed to provide the means(More)