Abstract:
Predictability { the ability to foretell that an implementation will not violate a set of speci ed 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 speci cations. The backbone of our methodology is a formalism that restricts expressiveness in a way that allows the speci cation of only reactive, spontaneous, and causal computation. Unrealistic systems { possessing properties such as clairvoyance, caprice, in-nite capacity, or perfect timing { cannot even be speci ed. We argue that this \ounce ofprevention " atthe speci cation level is likely to spare alotoftimeand energy in the development cycle of responsive systems { not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed. 1
Citations
|
400
|
An introduction to input/output automata
– Lynch, Tuttle
- 1989
|
|
370
|
Automata for modeling real-time systems
– Alur, Dill
- 1990
|
|
337
|
Model-checking for real-time systems
– Alur, Courcoubetis, et al.
- 1990
|
|
189
|
The Spring Kernel: A New Paradigm for Real-Time Systems
– Stankovic, Ramamritham
- 1991
|
|
120
|
Scheduling periodic jobs that allow imprecise results
– Chung, Liu, et al.
- 1990
|
|
113
|
Real-time Systems and their Programming Languages
– Burns, Wellings
- 1990
|
|
110
|
Real-Time Euclid: A Language for Reliable Real-Time Systems
– Kligerman, Stoyenko
- 1986
|
|
77
|
Forward and backward simulations for timing-based systems
– Lynch, Vaandrager
- 1991
|
|
38
|
Toward a discipline of real-time programming
– Wirth
- 1977
|
|
31
|
A logic of concrete time intervals
– Lewis
- 1990
|
|
16
|
Management of sensori-motor activity in mobile robots
– Bestavros, Clark, et al.
- 1990
|
|
13
|
and Hagit Attiya. Using mappings to prove timing properties
– Lynch
- 1990
|
|
9
|
Planning for embedded systems: A real-time prospective
– Bestavros
- 1991
|
|
9
|
Cleopatra compiler design and implementation
– Bestavros, Reich, et al.
- 1992
|
|
8
|
The IOTA: A model for real-time parallel computation
– Bestavros
- 1990
|
|
8
|
A robotics system for manipulation using directed vision feedback
– Clark, Ferrier, et al.
- 1991
|
|
7
|
Critical (of) issues in real-time systems: A position paper
– Schneider
- 1988
|
|
7
|
Time constrained automata
– Tuttle, Meritt, et al.
- 1988
|
|
6
|
6.852 distributed algorithms lecture notes: The I/O Automata
– Lynch, Goldman
- 1988
|
|
5
|
TRA-based real-time executable speci cation using CLEOPATRA
– Bestavros
- 1990
|
|
5
|
Speci cation and veri cation or realtime embedded systems using the Time-constrained Reactive Automata
– Bestavros
- 1991
|
|
5
|
An operational approach to requirements speci cation for embedded systems
– Zave
- 1982
|
|
3
|
capricious timing faults, causality, and real-time speci cations
– Clairvoyance
- 1991
|
|
2
|
Time-constrainedReactive Automata: A novel development methodology for embedded realtime systems
– Bestavros
- 1991
|
|
1
|
Towardsasystemtheory for interconnected Condition/Event systems
– Sreenivas
- 1990
|
