Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification-Reference-Cited by-同舟云学术

Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification

Published:1999 Issue: Volume: Page:494-510
ISSN:0302-9743
Container-title:Software Engineering — ESEC/FSE ’99
language:
Short-container-title:

Author:

Braberman Victor A.,Felder Miguel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48166-4_30

Reference27 articles.

1. R. Alur, D. Dill. Automata for Modeling Real Time Systems. Proceedings of 17the International Colloquium On Automata Languages and Programming, 1990.

2. N.C. Audsley, A. Burns, M. Richardson, K. Tindell, A. Wellings. Applying New Scheduling Theory to Static Priority Preemptive Scheduling Software Engineering Journal, vol. 8, no. 5, pp. 284–292, September 1993.

3. N.C. Audsley, A. Burns, M.F. Richardson, A.J. Wellings. STRESS: A Simulator For Hard Real-Time Systems. Software Practice and Experience, 1994.

4. G.S. Avrunin, J.C. Corbett, L.K. Dillon. Analyzing Partially Implemented Real-Time Systems. Proceedings of the International Conference on Software Engineering, pp. 228–238, May 1997.

5. L. Bass, P. Clements, R. Kazman. Software Architecture in Practice. Addisson Wesley, SEI series in Software Engineering.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Compositional Sequentialization of Periodic Programs;Lecture Notes in Computer Science;2013

2. Case study on distributed and fault tolerant system modeling based on timed automata;Journal of Systems and Software;2009-10

3. Resources in process algebra;The Journal of Logic and Algebraic Programming;2007-05

4. Timed Weak Simulation Verification and Its Application to Stepwise Refinement of Real-Time Software;Embedded and Ubiquitous Computing – EUC 2005;2005

5. ObsSlice: A Timed Automata Slicer Based on Observers;Computer Aided Verification;2004