Real-time specification patterns

@article{Konrad2005RealtimeSP,
  title={Real-time specification patterns},
  author={Sascha Konrad and B.H.C. Cheng},
  journal={Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.},
  year={2005},
  pages={372-381}
}
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al have developed qualitative specification patterns to facilitate the specification of critical properties, such as those that must be satisfied by embedded systems. Thus far, no analogous repository has been compiled for real-time specification patterns. This paper makes two main contributions: First, based on an analysis of timing-based requirements of several industrial… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 206 CITATIONS

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates

  • 2018 Annual American Control Conference (ACC)
  • 2018
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

SAGA Toolbox: Interactive Testing of Guarded Assertions

  • 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
  • 2017
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Desiree - a Refinement Calculus for Requirements Engineering

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

ReSA Tool: Structured requirements specification and SAT-based consistency-checking

  • 2016 Federated Conference on Computer Science and Information Systems (FedCSIS)
  • 2016
VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

ReSA: An ontology-based requirement specification language tailored to automotive systems

  • 10th IEEE International Symposium on Industrial Embedded Systems (SIES)
  • 2015
VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Reassessing the pattern-based approach for formalizing requirements in the automotive domain

  • 2014 IEEE 22nd International Requirements Engineering Conference (RE)
  • 2014
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Managing Requirements Knowledge

  • Springer Berlin Heidelberg
  • 2013
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2005
2019

CITATION STATISTICS

  • 41 Highly Influenced Citations

  • Averaged 13 Citations per year from 2017 through 2019

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

The Temporal Logic of Reactive and Concurrent Systems

  • Springer New York
  • 1991
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

PROPEL: an approach supporting property elucidation

  • Proceedings of the 24th International Conference on Software Engineering. ICSE 2002
  • 2002
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Patterns in property specifications for finite-state verification

  • Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)
  • 1998
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

The Temporal Rover and the ATG Rover

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL