Event Listing

It is well-known that hardware implementation can outperform the software implementation of the same application, including security primitives such as encryption, by up to several magnitudes. However, hardware implementation may also make security primitives vulnerable… Read more

This talk takes a retrospective look at the course of Cyber-Physical Systems, and then looks forward to challenges ahead.  There have been changes, and more are coming – some seen, some doubtless not anticipated.  But the need for, and interest in, the CPS area is only… Read more

Synthesis is the automated construction of a system from its specification.  The system has to satisfy its specification in all possible environments. Modern systems often interact with other systems, or agents. Many times these agents have objectives of their own, other than… Read more

The recent focus upon compositional design in real-time systems research has yielded a number of promising frameworks for the integration of multiple safety- and time-critical components upon a shared computational platform.  Integration of components has a profound impact… Read more

The demand of higher driving safety is increasing. Several driving assistance systems, e.g., PCS (Pre-Crash safety System), LKA (Lane Keep Assist) are already available in the market. However, highly advanced and integrated safety system: Advanced Drive Assist System is… Read more

Type 1 diabetes (T1D) is an autoimmune disease that causes the destruction of the pancreatic beta cells, permanently suppressing insulin secretion and requiring patients to manually inject or infuse insulin to keep blood sugar levels close to normal.  Self-treatment of T1D… Read more

Successful Earth orbit satellites require many complex interactions to be engineered correctly – both interactions among vehicle subsystems and interactions with the launch and mission environments. Increasing demand for cost-effective vehicles to fly more and more involved… Read more

Langley Aerospace Research Student Scholars (LARSS) provides students with real research experience at one of the world’s premiere research centers.  There are exciting opportunities at NASA Langley for both undergraduate and graduate  students to perform research in almost… Read more

We begin by presenting a very short overview of past and current research carried out by the Safety Critical Avionics Brach (SCAB) at NASA's Langley Research Center (LaRC). We will then discuss several ongoing and new research projects being conducted in the SCAB. In… Read more

In this talk, I will try to make a case for the use of data flow graphs as a suitable notion for abstractions of concurrent programs for the purpose of verification. I will talk about two successful experiences that we have had with these graphs. One is the development of an… Read more