A Methodology for Knowledge-Based Debugging of Real-Time    Software Systems
{'Code': '05010500', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Janet L. Gatton', 'PO_EMAI': None, 'PO_PHON': None}
A significant amount of effort and time is devoted to debugging in all          phases of software development cycle.  In fact, debugging is one of the         sources for the software crisis the computer industry is facing today.          To diagnose and fix an error, it is necessary to reproduce the error.           Generally, reproduction of an error is not possible in real-time                software systems because of the timing constraints involved and their           non-deterministic characters.  The unpredictable sequence in which the          inputs arrive at a certain point in time will not exhibit the same              behavior of the system upon repeated execution of the program.  This            project will develop a methodology for knowledge-based debugging of             real-time software systems.  A program execution monitoring method is           first used to record a system execution history in a non-interfering            manner--that is without corrupting the critical timing requirements of          the target system.  The traces, thus collected are analyzed to isolate          the bug in an off-line mode.  The examination of voluminous traces is a         laborious and boring task that requires a high degree of expertise.             This expertise is encapsulated into a knowledge-based system and the            examination process automated to at least localize the fault and answer         questions about its reasoning.  Such an approach will definitely                shorten the overall debugging time and contribute towards software              productivity and reliability.
{'FirstName': 'Jeffrey', 'LastName': 'Tsai', 'PI_MID_INIT': 'J', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Jeffrey J Tsai', 'EmailAddress': 'tsai@cs.uic.edu', 'NSF_ID': '000297922', 'StartDate': '07/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Illinois at Chicago', 'CityName': 'CHICAGO', 'ZipCode': '606124305', 'PhoneNumber': '3129962862', 'StreetAddress': '809 S MARSHFIELD AVE M/C 551', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Illinois', 'StateCode': 'IL', 'CONGRESSDISTRICT': '07', 'CONGRESS_DISTRICT_ORG': 'IL07', 'ORG_UEI_NUM': 'W8XEAJDKMXH3', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF ILLINOIS', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '288000', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8809381.xml'}