Specification and analysis of timing requirements for real-time systems in the CBD approach

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 561
  • Download : 0
In real-time software, not only computation errors but also timing errors can cause system failures, which eventually result in significant physical damages or threats to human life. To efficiently guarantee the timely execution of expected functions, it is necessary to clearly specify and formally verify timing requirements before performing detailed system design. With the expected benefit of reusability and extensibility, component technology has been gradually applied to developing industrial applications including real-time systems. However, most of component-based approaches applied to real-time systems lack in a systematic and rigorous approach to specifying and verifying timing requirements at an earlier development stage. This paper proposes a component-based approach to specifying and verifying timing requirements for real-time systems in a systematic and compositional manner. We first describe behaviors of the constituent components including timing requirements in UML diagrams, and then translate the UML diagrams into MTER nets, an extension of TER nets, to perform timing analysis in a compositional way. The merit of the proposed approach is that the specification and analysis results can be reused and independently maintained.
Publisher
SPRINGER
Issue Date
2007-07
Language
English
Article Type
Article
Keywords

FORMALISM

Citation

REAL-TIME SYSTEMS, v.36, no.1-2, pp.135 - 158

ISSN
0922-6443
DOI
10.1007/s11241-007-9017-2
URI
http://hdl.handle.net/10203/88443
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0