Event Listing

13 AUG 2013
@ 11:30 am
Seminar
PRECISE Seminar: Cyber-Physical Systems - Continuity and Transitions
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
18 JUL 2013
@ 11:00 am
Seminar
PRECISE Seminar: Rational Synthesis
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
29 MAY 2013
@ 11:30 am
Seminar
PRECISE Seminar: Allocation, Isolation & Dynamics in Compositional RT Systems & Applications to Control System Design
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
05 FEB 2013
@ 11:00 am
Industry
PRECISE Industry Lecture: Toyota - Advanced Driver Assist System (ADAS)
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
19 NOV 2012
@ 12:00 pm
Seminar
PRECISE Seminar: Cyber-Physical Aspects of the Artificial Pancreas
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
12 NOV 2012
@ 1:30 pm
Industry
PRECISE Industry Lecture: The Aerospace Corporation - Current Research and Future Directions in Satellite Engineering
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
07 NOV 2012
@ 4:45 pm
Recruitment
NASA RECRUITING SESSION – Summer 2013 Internship
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
07 NOV 2012
@ 12:00 pm
Seminar
PRECISE Seminar: Research in Verification of Flight-Critical Systems
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
25 OCT 2012
@ 11:30 am
Seminar
PRECISE Seminar: Data Flow Graphs for Verification of Concurrent Programs
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
12 OCT 2012
@ 11:00 am
Webinar
PRECISE Webinar: Perspective on New Graduates’ Resumes – for Automotive Industry only
This webinar will be an informal question & answer session where we will discuss the characteristics of a well-written resume as well as the types of job opportunities for PRECISE students within the automotive industry.  Read more