Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper describes the verification of the fault protection engine of the Deep-Impact spacecraft flight software using a temporal logic based run-time monitoring tool.

This paper presents our ongoing work on a tool prototype called SANTE (Static ANalysis andTEsting), implementing a combination of static analysis and structural program testing for detection of run-time errors in C programs. First, a static analysis tool (Frama-C) is called to generate alarms when it cannot ensure the absence of run-time errors. Second, these alarms guide a structural test gene...

Hardware-Software Systems and Application to Robot Control Design Vincent Mooney, Toshiyuki Sakamoto & Giovanni De Micheli Computer Systems Lab, Stanford Univ., Stanford, CA 94305 Abstract We present a tool that automatically generates a run-time scheduler for a target architecture from a heterogeneous system-level speci cation in both Verilog HDL and C. Part of the run-time scheduler is implem...

In friction stir welding frictional heat is generated by the rotating tool, sliding over the stationary plate along the weld centre. Tool being the only source of heat producing member, its geometrical design influences the heat generation rate. In this present work, effects of variation in tool shoulder and tool pin taper angles on thermal history during joining are analysed. Tools with triang...

A 300 amu closed-ion-source RGA (Leybold-Inficon Transpector 2) sampling gases directly from the reactor of an ULVAC ERA-1000 cluster tool has been used for real time process monitoring of a W CVD process. The process involves H2 reduction of WF6 at a total pressure of 67 Pa (0.5 torr) to produce W films on Si wafers heated at temperatures around 350° C. The normalized RGA signals for the H2 re...