Learn 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)
Late-phase long-term potentiation (L-LTP), a cellular model for long-term memory (LTM), requires de novo protein synthesis. An attractive hypothesis for synapse specificity of long-term memory is "synaptic tagging": synaptic activity generates a tag, which "captures" the PRPs (plasticity-related proteins) derived outside of synapses. Here we provide(More)
Recently, several evolutionary conserved signaling pathways that play prominent roles in regulating early neurodevelopment have been found to regulate synaptic remodeling in the adult. To test whether adult neuronal expression of bone morphogenic protein (BMP) signaling components also plays a postnatal role in regulating neuronal plasticity, we modulated(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)
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)
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)
Late fetal and early postnatal iron deficiency (ID) is a common condition that causes learning and memory impairments in humans while they are iron deficient and following iron repletion. Rodent models of fetal ID demonstrate significant short- and long-term hippocampal structural and biochemical abnormalities that may predispose hippocampal area CA1 to(More)
The extracellular matrix molecule tenascin-C (TN-C) has been shown to be involved in hippocampal synaptic plasticity in vitro. Here, we describe a deficit in hippocampus-dependent contextual memory in TN-C-deficient mice using the step-down avoidance paradigm. We further show that a fragment of TN-C containing the fibronectin type-III repeats 6-8 (FN6-8),(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)
Smad4 is a unique nuclear transducer for all TGF-beta signaling pathways and regulates gene transcription during development and tissue homeostasis. To elucidate the postnatal role of TGF-beta signaling in the mammalian brain, we generated forebrain-specific Smad4 knock-out mice. Surprisingly, the mutants showed no alteration in long-term potentiation and(More)