An Ounce of Prevention is Worth a Pound of Cure: Towards Physically-Correct Specifications of Embedded Real-Time Systems

  • Bestavros, Azer
ORKG logo Add to ORKG
Publication date
January 1994
Publisher
Boston University Computer Science Department

Abstract

Predictability — the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is a formalism that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Unrealistic systems — possessing properties such as clairvoyance, caprice, infinite capacity, or perfect timing — cannot even be specified. We argue that this "ounce of prevention" ...

Extracted data

Related items

Building Responsive Systems from Physically-correct Specifications
October 1993

Predictability - the ability to foretell that an implementation will not violate a set of specified ...

OS Support for Portable Bulk Synchronous Parallel Programs
  • Heddaya, Abdelsalam
  • Fahmy, Amr
December 1994

Predictability -- the ability to foretell that an implementation will not violate a set of specified...

PREDICTIVE SUFFICIENCY AND THE USE OF STORED INTERNAL STATE
  • David J. Musliner
  • Edmund H. Durfee
  • Kang G. Shin
January 1994

In all embedded computing systems, some delay exists between sensing and acting. By choosing an acti...

We use cookies to provide a better user experience.