article

Free access

Making real-time reactive systems reliable

Authors:

Keith Marzullo,

Mark WoodAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 25, Issue 1

Pages 45 - 48

https://doi.org/10.1145/122140.122143

Published: 02 January 1991 Publication History

PDF eReader

References

[1]

[1] Jacob I. Aizikowitz. Designing Distributed Services using Refinement Mappings. PhD thesis, Cornell University, Department of Computer Science, January 1990.

Digital Library

Google Scholar

[2]

[2] Ken Birman, Robert Cooper, Keith Marzullo, and Mark Wood. Tools for distributed application management. In preparation, 1990.

Google Scholar

[3]

[3] Kenneth Birman and Keith Marzullo. ISIS and the Meta project. Sun Technology, 2(3):90-104, Summer 1989.

Google Scholar

[4]

[4] D. Harel and A. Pneuli. On the Development of Reactive Systems, pages 477-498. Springer-Verlag, New York, 1985.

Digital Library

Google Scholar

[5]

[5] Keith Marzullo. Implementing fault-tolerant sensors. Technical Report TR 89- 997, Cornell University, January 1990.

Google Scholar

[6]

[6] Keith Marzullo and Paul Chew. Efficient algorithms for masking sensor failures. In preparation, 1990.

Google Scholar

[7]

[7] Fred B. Schneider. The state machine approach: A tutorial. Technical Report TR 86-600, Cornell University, Dept. of Computer Science, Upson Hall, Ithaca, NY 14853, December 1986.

Digital Library

Google Scholar

[8]

[8] R. L. Schwartz, P. M. Melliar-Smith, and F. H. Vogt. An interval logic for higher-level temporal reasoning. In Proceedings of the Second Symposium on Principles of Distributed Computing, pages 173-186. ACM SIGPLAN/SIGOPS, 1983.

Digital Library

Google Scholar

Cited By

View all

Nett EGergeleit MMock M(2001)Enhancing O-O Middleware to Become Time-AwareReal-Time Systems10.1023/A:100814600620920:2(211-228)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.1023/A%3A1008146006209
Nett EGergeleit MMock M(2001)Enhancing O-O Middleware to Become Time-AwareChallenges in Design and Implementation of Middlewares for Real-Time Systems10.1007/978-1-4615-1695-8_6(97-114)Online publication date: 2001
https://doi.org/10.1007/978-1-4615-1695-8_6
Gergeleit Nett Fitzner (1999)On-line prediction of execution times - a basis for adaptive schedulingEngineering Solutions for the Next Millennium 1999 IEEE Canadian Conference on Electrical and Computer Engineering (Cat No 99TH8411) CCECE-9910.1109/WORDS.1999.806581(186-194)Online publication date: 1999
https://doi.org/10.1109/WORDS.1999.806581
Show More Cited By

Index Terms

Making real-time reactive systems reliable
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
2. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Embedded software
      2. Real-time systems software

Recommendations

Cpu time-sharing in real-time systems
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems

Timing correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
TinyTimber, reactive objects in C for real-time embedded systems
DATE '08: Proceedings of the conference on Design, automation and test in Europe

Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manifest in the high-level programming and systems modeling language Timber. In ...

Comments

Information & Contributors

Information

Published In

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 January 1991

Published in SIGOPS Volume 25, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
143
Total Downloads

Downloads (Last 12 months)22
Downloads (Last 6 weeks)10

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Nett EGergeleit MMock M(2001)Enhancing O-O Middleware to Become Time-AwareReal-Time Systems10.1023/A:100814600620920:2(211-228)Online publication date: 1-Mar-2001
https://dl.acm.org/doi/10.1023/A%3A1008146006209
Nett EGergeleit MMock M(2001)Enhancing O-O Middleware to Become Time-AwareChallenges in Design and Implementation of Middlewares for Real-Time Systems10.1007/978-1-4615-1695-8_6(97-114)Online publication date: 2001
https://doi.org/10.1007/978-1-4615-1695-8_6
Gergeleit Nett Fitzner (1999)On-line prediction of execution times - a basis for adaptive schedulingEngineering Solutions for the Next Millennium 1999 IEEE Canadian Conference on Electrical and Computer Engineering (Cat No 99TH8411) CCECE-9910.1109/WORDS.1999.806581(186-194)Online publication date: 1999
https://doi.org/10.1109/WORDS.1999.806581
Mukherjee BSilva DSchwan KGheith A(1999)KTK: kernel support for configurable objects and invocationsDistributed Systems Engineering10.1088/0967-1846/1/5/0011:5(259-270)Online publication date: 1-Jan-1999
https://doi.org/10.1088/0967-1846/1/5/001
Nett EGergeleit MMock M(1998)An adaptive approach to object-oriented real-time computingProceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98)10.1109/ISORC.1998.666806(342-349)Online publication date: 1998
https://doi.org/10.1109/ISORC.1998.666806
Nett EGergeleit MMock M(1998)Guaranteeing Real-Time Behaviour in Adaptive Distributed SystemsIFAC Proceedings Volumes10.1016/S1474-6670(17)41952-531:20(1141-1146)Online publication date: Jul-1998
https://doi.org/10.1016/S1474-6670(17)41952-5
Gu WVetter JSchwan K(1994)An annotated bibliography of interactive program steeringACM SIGPLAN Notices10.1145/185009.18503829:9(140-148)Online publication date: 1-Sep-1994
https://dl.acm.org/doi/10.1145/185009.185038
Gheith AMukherjee BSilva DSchwan K(1994)KTK: kernel support for configurable objects and invocationsProceedings of 2nd International Workshop on Configurable Distributed Systems10.1109/IWCDS.1994.289932(92-103)Online publication date: 1994
https://doi.org/10.1109/IWCDS.1994.289932
Eisenhauer GSchwan KWeiming Gu Mallavarupu N(1994)Falcon-toward interactive parallel programs: the on-line steering of a molecular dynamics applicationProceedings of 3rd IEEE International Symposium on High Performance Distributed Computing10.1109/HPDC.1994.340263(26-33)Online publication date: 1994
https://doi.org/10.1109/HPDC.1994.340263
Ogle DSchwan KSnodgrass R(1993)Application-Dependent Dynamic Monitoring of Distributed and Parallel SystemsIEEE Transactions on Parallel and Distributed Systems10.1109/71.2382994:7(762-778)Online publication date: 1-Jul-1993
https://dl.acm.org/doi/10.1109/71.238299

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Cpu time-sharing in real-time systems

A Survey of WCET Analysis of Real-Time Operating Systems

TinyTimber, reactive objects in C for real-time embedded systems

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations