article

Methods for validating real-time constraints

Authors:

Jane W. S. Liu,

Rhan HaAuthors Info & Claims

Journal of Systems and Software, Volume 30, Issue 1-2

Pages 85 - 98

https://doi.org/10.1016/0164-1212(94)00118-7

Published: 01 July 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Pont MBanner M(2004)Designing embedded systems using patternsJournal of Systems and Software10.1016/S0164-1212(03)00006-271:3(201-213)Online publication date: 1-May-2004
https://dl.acm.org/doi/10.1016/S0164-1212%2803%2900006-2
Cha HHa R(2002)Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time SystemsProceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems10.5555/646486.694480(83-97)Online publication date: 8-Apr-2002
https://dl.acm.org/doi/10.5555/646486.694480
Moser LMelliar-Smith PThomopoulos E(1997)Probabilistic Analysis of Real-Time Dependable SystemsProceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)10.5555/523512.837712Online publication date: 5-Feb-1997
https://dl.acm.org/doi/10.5555/523512.837712

Index Terms

Methods for validating real-time constraints

Recommendations

Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints

The design of embedded real-time systems (RTS) is challenging due to the criticality of the timing constraints of these systems. Various informal and formal methods for RTS design have been proposed, both in the design space and the real-time execution ...
Atomic Objects for Real-Time Distributed Systems with Mixed Time Constraints
Special issue on object-oriented real-time systems

Two types of applications are considered: hard real-time (HRT) and soft real-time (SRT). HRT applications need to meet their deadlines under all circumstances; deadlines of SRT applications may occasionally be missed. Both applications are constructed ...
Cpu time-sharing in real-time systems

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Systems and Software

Journal of Systems and Software Volume 30, Issue 1-2

Double issue on reengineering complex systems

July/Aug. 1995

156 pages

ISSN:0164-1212

Editors:
Robert L. Glass
Computing Trends, Los Angeles, CA
,
R. D. Semmel
The Johns Hopkins Univ., Laurel, MD
,
M. Wilson
Naval Surface Warfare Center, Silver Spring, MD

Issue’s Table of Contents

Publisher

Elsevier Science Inc.

United States

Publication History

Published: 01 July 1995

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pont MBanner M(2004)Designing embedded systems using patternsJournal of Systems and Software10.1016/S0164-1212(03)00006-271:3(201-213)Online publication date: 1-May-2004
https://dl.acm.org/doi/10.1016/S0164-1212%2803%2900006-2
Cha HHa R(2002)Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time SystemsProceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems10.5555/646486.694480(83-97)Online publication date: 8-Apr-2002
https://dl.acm.org/doi/10.5555/646486.694480
Moser LMelliar-Smith PThomopoulos E(1997)Probabilistic Analysis of Real-Time Dependable SystemsProceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)10.5555/523512.837712Online publication date: 5-Feb-1997
https://dl.acm.org/doi/10.5555/523512.837712

Abstract

Cited By

Index Terms

Recommendations

Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints

Atomic Objects for Real-Time Distributed Systems with Mixed Time Constraints

Cpu time-sharing in real-time systems

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations