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 journalArticle

14 Citations (Scopus)

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

Fingerprint

Intelligent systems
Intelligent Systems
Deadline
Real-time
Runtime Systems
Target
Hardware Architecture
Term
Engineering Design
Experimentation
Time Scales
Concepts
Language
Hardware
Predict
Resources
Methodology
Requirements
Processing
Operator

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

Cite this

Lark, J. S., Erman, L. D., Forrest, S., Gostelow, K. P., Hayes-Roth, F., & Smith, D. M. (1990). Concepts, methods, and languages for building timely intelligent systems. Real-Time Systems, 2(1-2), 127-148. https://doi.org/10.1007/BF01840469

Concepts, methods, and languages for building timely intelligent systems. / Lark, Jay S.; Erman, Lee D.; Forrest, Stephanie; Gostelow, Kim P.; Hayes-Roth, Frederick; Smith, David M.

In: Real-Time Systems, Vol. 2, No. 1-2, 01.05.1990, p. 127-148.

Research output: Contribution to journalArticle

Lark, JS, Erman, LD, Forrest, S, Gostelow, KP, Hayes-Roth, F & Smith, DM 1990, 'Concepts, methods, and languages for building timely intelligent systems', Real-Time Systems, vol. 2, no. 1-2, pp. 127-148. https://doi.org/10.1007/BF01840469
Lark, Jay S. ; Erman, Lee D. ; Forrest, Stephanie ; Gostelow, Kim P. ; Hayes-Roth, Frederick ; Smith, David M. / Concepts, methods, and languages for building timely intelligent systems. In: Real-Time Systems. 1990 ; Vol. 2, No. 1-2. pp. 127-148.
@article{58f0b24705424f02bc5bd6d9d1f82bf6,
title = "Concepts, methods, and languages for building timely intelligent systems",
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.",
author = "Lark, {Jay S.} and Erman, {Lee D.} and Stephanie Forrest and Gostelow, {Kim P.} and Frederick Hayes-Roth and Smith, {David M.}",
year = "1990",
month = "5",
day = "1",
doi = "10.1007/BF01840469",
language = "English (US)",
volume = "2",
pages = "127--148",
journal = "Real-Time Systems",
issn = "0922-6443",
publisher = "Springer Netherlands",
number = "1-2",

}

TY - JOUR

T1 - Concepts, methods, and languages for building timely intelligent systems

AU - Lark, Jay S.

AU - Erman, Lee D.

AU - Forrest, Stephanie

AU - Gostelow, Kim P.

AU - Hayes-Roth, Frederick

AU - Smith, David M.

PY - 1990/5/1

Y1 - 1990/5/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0343633755&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0343633755&partnerID=8YFLogxK

U2 - 10.1007/BF01840469

DO - 10.1007/BF01840469

M3 - Article

VL - 2

SP - 127

EP - 148

JO - Real-Time Systems

JF - Real-Time Systems

SN - 0922-6443

IS - 1-2

ER -