Gul A Agha

US Patent:

20080082969, Apr 3, 2008

Filed:

Apr 3, 2007

Appl. No.:

11/695995

Inventors:

Gul Agha - Champaign IL, US
Darko Marinov - Champaign IL, US
Koushik Sen - Kensington CA, US

Assignee:

The Board of Trustees of the University of Illinois - Urbana IL

International Classification:

G06F 9/44

US Classification:

717130000

Abstract:

The present software testing technique successfully tests software programs that have dynamic data structures and that use pointer operations. The technique iteratively executes the software program using concrete execution and symbolic execution, simultaneously. The concrete execution is driven by inputs generated based on a logical input map, which is updated during symbolic execution. The logical input map represents the inputs using finite memory graphs and scalar symbolic variables.

US Patent:

20080209436, Aug 28, 2008

Filed:

Oct 24, 2007

Appl. No.:

11/923060

Inventors:

Gul Agha - Champaign IL, US
Koushik Sen - Kensington CA, US

International Classification:

G06F 9/46

US Classification:

718106

Abstract:

In accordance with one or more aspects, one or more programs having multiple actors is executed following a first execution path. A race condition among different ones of the multiple actors in the first execution path is identified, and an order in which two events involved in the race condition are executed is flipped so as to create a second execution path. The multiple actors are then executed following the second execution path, and any errors identified in the first execution path or the second execution path are reported.

US Patent:

20130130734, May 23, 2013

Filed:

May 24, 2011

Appl. No.:

13/696747

Inventors:

Jennifer Rice - Lubbock TX, US
Gul Agha - Urbana IL, US

Assignee:

The Board of Trustees of the University of Illinois - Urbane IL

International Classification:

G01P 15/18
H04W 52/02

US Classification:

455517, 73510, 73497

Abstract:

A smart sensor circuit board comprises an interface to a wireless smart sensor board platform, a multi-axis accelerometer having a sensitivity that can measure ambient structural vibrations resulting from non-catastrophic routine environmental factors, an analog to digital converter (ADC) for converting signals from the multi-axis accelerometer having a plurality of individual channels including oversampling, filtering, and decimation, and each channel being individually programmable for gain, anti-aliasing, cut-off frequency, sampling, and frequency providing data to the interface, and a low noise and high sensitivity amplifier having the plurality of individual channels to receive signals from the multi-axis accelerometer.

US Patent:

58871438, Mar 23, 1999

Filed:

Oct 26, 1995

Appl. No.:

8/548617

Inventors:

Masahiko Saito - Hitachi, JP
Gul A. Agha - Urbana IL

Assignee:

Hitachi, Ltd. - Tokyo

International Classification:

G06F 1516
H04L 700

US Classification:

39520078

Abstract:

A distributed computing system including a plurality of computers, wherein the execution of programs by the computers to perform real-time tasks are synchronized with each other. Each of the computers includes a local clock which is synchronized with the local clocks of the other computers and a start time determining apparatus for determining execution time of a program to be executed by the computer. The program to be executed by the computer is executed in synchronism with programs in the other computers under timing constraints. The execution time is determined by the start time determining apparatus by negotiating with the start time determining apparatus of the other computers. Each of the computers further includes scheduling apparatus for scheduling the execution of the program to be executed by the computer based on the execution time negotiated by the start time determining apparatus, and a synchronized sporadic server which is executed periodically and at the same time as the execution of the synchronized sporadic servers on the other computers. The synchronized sporadic server supports the scheduling apparatus to schedule the execution of programs based on the timing constraints imposed by the start time determining apparatus.

US Patent:

20170184470, Jun 29, 2017

Filed:

Nov 7, 2016

Appl. No.:

15/344992

Inventors:

- Urbana IL, US
Gul Agha - Urbana IL, US

International Classification:

G01M 5/00

Abstract:

A high sensitivity structural health monitoring network includes a plurality of sensor nodes disposed apart from each other and communicating through one or more sensor channels. The nodes include smart sensor circuit boards with an interface to a wireless smart sensor board platform, a multi-axis accelerometer having a measurement range and resolution set to provide sensitivity to measure ambient structural vibrations an analog to digital converter for converting signals that includes a plurality of individual channels being individually programmable for signal conditioning for providing data to the interface. A network framework provides network services including a time synchronization service with network-wide global timestamps for sensor data and a unified sensing service that supports collection of data for all sensor channels from all nodes together with a single set of associated time stamps.

US Patent:

20160047708, Feb 18, 2016

Filed:

Jul 16, 2015

Appl. No.:

14/801219

Inventors:

- Urbana IL, US
Gul Agha - Urbana IL, US

International Classification:

G01M 5/00
G01P 15/18

Abstract:

A high sensitivity structural health monitoring network includes a plurality of sensor nodes disposed apart from each other and communicating through one or more sensor channels. The nodes include smart sensor circuit boards with an interface to a wireless smart sensor board platform, a multi-axis accelerometer having a measurement range and resolution set to provide sensitivity to measure ambient structural vibrations an analog to digital converter for converting signals that includes a plurality of individual channels being individually programmable for signal conditioning for providing data to the interface. A network framework provides network services including a time synchronization service with network-wide global timestamps for sensor data and a unified sensing service that supports collection of data for all sensor channels from all nodes together with a single set of associated time stamps.