Concepts, methods, and languages for building timely intelligent systems

Jay S. Lark, Lee D. Erman, Stephanie Forrest, Kim P. Gostelow, Frederick Hayes-Roth, David M. Smith

Research output: Contribution to journalArticlepeer-review

14 Scopus citations

Abstract

We describe the ABE/RT toolkit-a set of design, development, and experimentation tools for building time-stressed intelligent systems-and its use for the Lockheed Pilot's Associate application. We use the term timely systems to refer to systems with hard real-time requirements for interacting with a human operator or other agents with similar time-scales. The ABE/RT methodology is based on a philosophy of rigorous engineering design in which the application developer works to guarantee the system's timeliness by identifying the various events which require timely responses, determining the worst-case frequencies of these events and the deadlines and durations of the tasks that respond to the events, and then verifying that the run-time system has enough processing resources to complete all mandatory taks by their deadlines. We believe this is the only way in the near-term to build complex real-time intelligent systems that will be reliable enough for critical applications with demanding users. The ABE/RT Toolkit contains a set of languages for specifying the structure and behavior of timely systems, together with tools to simulate those models, log and analyze data collected during simulation runs, predict an application's performance on a specified target hardware architecture, and deploy the application on the target architecture.

Original languageEnglish (US)
Pages (from-to)127-148
Number of pages22
JournalReal-Time Systems
Volume2
Issue number1-2
DOIs
StatePublished - May 1 1990
Externally publishedYes

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modeling and Simulation
  • Computer Science Applications
  • Computer Networks and Communications
  • Control and Optimization
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Concepts, methods, and languages for building timely intelligent systems'. Together they form a unique fingerprint.

Cite this