Tag: 2018 Seminars
-
11-07-2018 | Jean-Baptiste Jeannin: Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System
Title: Formal Methods Seminar: Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System Speaker: Jean-Baptiste Jeannin, Assistant Professor, University of Michigan – Ann Arbor Date: Wednesday, November 7, 2018 Time: 1:00PM Location: B1230, R264A Abstract: Software plays an ever-increasing role in the design and operation of all aircraft, from UAVs to airliners. On-board software is rigorously developed following…
-
12-07-2018 | Rocco Salvia: Solving Mixed Real and Floating-Point Formulas
Title: Formal Methods Seminar: Solving Mixed Real and Floating-Point Formulas Speaker: Rocco Salvia (University of Utah, PhD Student), NIA Visitor Date: Friday, December 7, 2018 Time: 10:30am – 12:00pm Location: NASA/LaRC, Bldg. 1230, Room 264A Host: Cesar A. Munoz, NASA/LaRC Abstract: Reasoning about mixed real and floating-point arithmetic is essential for modeling round-off errors and for developing accurate analysis tools for…
-
11-30-2018 | Frank Dedden: Monitoring UAV Flights with Copilot
Title: “Monitoring UAV flights with Copilot” Presenter: Frank Dedden, NIA Visitor (Utrecht University) Date: Friday, November 30, 2018 Time: 11AM-Noon Location: NASA/LaRC/ Building 1230, Room 264A Sponsor: Alwyn Goodloe, NASA/LaRC Abstract: Ultra-critical systems require high level assurances that cannot always be guaranteed at compile time. The use of runtime verification (RV) allows us to monitor these systems at runtime, detect property…
-
11-26-2018 | Mark Hurtado: Low Speed Control Vortex Axial Fan Design for Minimum Noise
Title: Low Speed Control Vortex Axial Fan Design for Minimum Noise Speaker: Mark Hurtado, PhD Candidate, Virginia Tech Date: Monday, November 26, 2018 Time: 10:00am -11:00am Location: NIA, Room 137 Abstract: Axial flow fans are critical in maintaining a safe work environment by effectively circulating air in occupied areas. However, commercial ventilation fans are often loud and cause noise induced hearing…
-
11-16-2018 | Nina Hong: Spectroscopic Ellipsometry and its Recent Applications
Title: Spectroscopic Ellipsometry and its Recent Applications Speaker: Dr. Nina Hong (J.A. Woollam Co.) Date: Friday, November 16, 2018 Time: 10:00 am – 11:00 am Location: IESB (Bldg. 2102), Rm. 201 Abstract: Spectroscopic ellipsometry (SE) is a proven optical measurement technique for thin film characterization. Ellipsometry measures the polarization state change upon sample reflection or transmission. It…
-
11-02-2018 | Laura Titolo: PRECiSA A Static Analysis Tool for Floating-Point Programs
Formal Methods Seminar Title: PRECiSA: A Static Analysis Tool for Floating-Point Programs Speaker: Laura Titolo, Staff Scientist, NIA Date: Friday, November 2, 2018 Time: 10:30am Location: B1230, R264A Abstract: Floating-point numbers are the most common finite representation of real numbers in computer programs and they offer a good trade-off between efficiency and precision. However, in safety-critical systems, round-off errors due…
-
10-19-2018 | Marco Feliu: Eliminating Unstable Tests in Floating-Point Programs
Title: Formal Methods Seminar: Eliminating Unstable Tests in Floating-Point Programs Speaker: Marco Feliu, Staff Scientist, NIA Date: Friday, October 19, 2018 Time: 10:30am Location: B1230, R264A Abstract: Round-off errors arising from the difference between real numbers and their floating-point representation cause the control flow of conditional floating-point statements to deviate from the ideal flow of the real-number computation. This problem,…
-
10-05-2018 | Masanori Onozuka: Star Power for a Sustainable Future: Successes and Challenges in the International Thermonuclear Experimental Reactor Project
Title: Star Power for a Sustainable Future: Successes and Challenges in the International Thermonuclear Experimental Reactor Project Speaker: Dr. Masanori Onozuka, Project Director, International Thermonuclear Experimental Reactor (ITER) – France Date: Friday, October 5, 2018 Time: 1:00pm Location: NASA/LaRC, IESB, Rooms 114/115 Host: Stephen M. Casey, NASA/LaRC Abstract: ITER (International Thermonuclear Experimental Reactor) is one of the most ambitious energy projects in…
-
10-01-2018 | Tomohiro Irie: Overset Mesh and Related Technology in scFLOW
108th NIA CFD Seminar: Overset mesh and related technology in scFLOW Date: Monday, October 1, 2018 Time: 11am-noon (EDT) Room: NIA, Rm137 Speaker: Tomohiro Irie Weblink: http://hiroakinishikawa.com/niacfds Abstract: scFLOW is a commercial CFD code developed by Software Cradle since 2016. I introduced the overset mesh technology of SC/Tetra at NIA seminar in 2014. scFLOW is a successor product of SC/Tetra. scFLOW…
-
09-27-2018 | Olivier Bauchau: Solutions of Boundary Value and Periodic Problems for Flexible Multibody Dynamics Systems
107th NIA CFD Seminar Topic: Solutions of Boundary Value and Periodic Problems for Flexible Multibody Dynamics Systems Date: Thursday, September 27, 2018 Time: 11am-noon (EDT) Room: NIA, Rm101 Speaker: Olivier A. Bauchau Abstract: Traditionally, the solution of flexible multibody dynamics problems is obtained via time marching. Many problems, however, are formulated as boundary value or periodic problems. The dynamic response of…