The Spring System: Integrated Support for Complex Real-TimeSystems

  • Authors:
  • John A. Stankovic;Krithi Ramamritham;Douglas Niehaus;Marty Humphrey;Gary Wallace

  • Affiliations:
  • Department of Computer Science, University of Virginia, Charlottesville, Virginia 22903;Department of Computer Science, University of Massachusetts, Amherst, Massachusetts 01003;Department of Electrical Engineering and Computer Science, University of Kansas, Lawrence, Kansas 66045;Department of Computer Science, University of Virginia, Charlottesville, Virginia 22903;Department of Computer Science, University of Massachusetts, Amherst, Massachusetts 01003

  • Venue:
  • Real-Time Systems
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Spring systemis a highly integrated collection of software and hardware thatsynergistically operates to provide end-to-end support in buildingcomplex real-time applications. In this paper, we show how Spring‘sspecification language, programming language, software generationsystem, and operating system kernel are applied to build a flexiblemanufacturing testbed. The same ingredients have also been usedto realize a predictable version of a robot pick and place applicationused in industry. These applications are good examples of complexreal-time systems that require flexibility. The goal of thispaper is to demonstrate the integrated nature of the system andthe benefits of integration; in particular, the use of reflectiveinformation and the value of function and time composition. Thelessons learned from these applications and the project as awhole are also presented.