SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 253, Issue 1, 2001, Pages 119-152

Verification, refinement and scheduling of real-time programs

(2) Liu, Zhiming a Joseph, Mathai b

a UNIVERSITY OF LEICESTER (United Kingdom)

b TATA RESEARCH DEVELOPMENT AND DESIGN CENTRE (India)

Author keywords

Feasibility; Real time program; Refinement; Schedulability; Specification

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; RESPONSE TIME (COMPUTER SYSTEMS);

REAL TIME PROGRAMS;

REAL TIME SYSTEMS;

EID: 0034925311 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00091-8 Document Type: Article

Times cited : (9)

References (34)

1
- 0026154452
- The existence of refinement mappings
- (1991) Theoret. Comput. Sci. , vol.83 , Issue.2 , pp. 253-284
- Abadi, M.¹ Lamport, L.²

2
- 84968436089
- An old-fashioned recipe for real-time
- W.P. de Rover, J.W. de Bakker, C. Huizing, G. Rozenberg (Eds.), Real-Time: Theory in Practice, Springer, The Netherlands
- (1992) Lecture Notes in Computer Science , vol.600
- Abadi, M.¹ Lamport, L.²

3
- 0024129970
- A calculus of refinements for program derivations
- (1988) Acta Inform. , vol.25 , pp. 593-624
- Back, R.J.R.¹

4
- 0024129970
- A calculus of refinements for program derivations
- (1988) Acta Inform. , vol.25 , pp. 593-624
- Back, R.J.R.¹

5
- 0004502421
- Technical Report, Department of Computer Science, University of York
- (1995) Feasibility analysis of fault-tolerant real-time tasks
- Burns, A.¹ Davis, R.² Punnekkat, S.³

6
- 0004457208
- Advanced fixed priority scheduling
- M. Joseph (Ed.), Prentice-Hall, London
- (1996) Real-Time Systems: Specification, Verification and Analysis , pp. 32-65
- Burns, A.¹ Wellings, A.²

7
- 0004159094
- Addison-Wesley, New York
- (1988) Parallel Program Design: A Foundation
- Chandy, K.M.¹ Misra, J.²

8
- 84957709018
- Mechanical verification of concurrent systems with TLA
- G. Bochmann (Ed.), Proc. 4th Internat. Conf. on Computer Aided Verification, Springer, Montreal, Canada
- (1992) Lecture Notes in Computer Science , vol.663 , pp. 44-55
- Engberg, U.¹ Grønning, P.² Lamport, L.³

9
- 0002780749
- Assigning meanings to programs
- J.T. Schwartz (Ed.), Mathematical Aspects of Computer Science, American Mathematical Society, Providence, RI
- (1967) Proc. Symp. in Applied Mathematics , vol.19 , pp. 19-32
- Floyd, R.W.¹

10
- 4243587739
- Technical Report TR94-1409, Department of Computer Science, Cornell University, Ithaca, New York
- (1994) Reasoning about programs by exploiting the environment , pp. 14853
- Fix, L.¹ Schneider, F.B.²

11
- 84882765517
- Temporal proof methodologies for real-time systems
- ACM Press, New York, USA
- (1991) Proc. 8th ACM Annu. Symp. on Principles of Programming Languages , pp. 269-276
- Henzinger, T.¹ Manna, Z.² Pnueli, A.³

12
- 0000581671
- Temporal proof methodologies for timed transition systems
- (1994) Inform. Comput. , vol.112 , Issue.2 , pp. 273-337
- Henzinger, T.¹ Manna, Z.² Pnueli, A.³

13
- 84855539042
- Specification and Compositional Verification of Real-Time Systems, Springer, Berlin
- (1991) Lecture Notes in Computer Science , vol.558
- Hooman, J.¹

14
- 0042963799
- Dynamic scheduling in the presence of faults: Specification and verification
- B. Jonsson, J. Parrow (Eds.) Proc. 4th Internat. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, Uppsala, Sweden
- (1996) Lecture Notes in Computer Science , vol.1135 , pp. 279-298
- Janowski, T.¹ Joseph, M.²

15
- 0022796618
- Finding Response times in a real-time system
- (1986) Comput. J. , vol.29 , Issue.5 , pp. 390-395
- Joseph, M.¹ Pandya, P.²

16
- 0016972709
- Formal verification of parallel programs
- (1976) Commun. ACM , vol.19 , Issue.7 , pp. 371-384
- Keller, R.¹

17
- 84958044036
- Verifying clocked transition systems
- R. Alur, T.A. Henzinger, E.D. Sontag (Eds.), Hybrid Systems III, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1066
- Kesten, Y.¹ Manna, Z.² Pnueli, A.³

18
- 0028424892
- The temporal logic of actions
- (1994) ACM Trans. Program. Languages Systems , vol.16 , Issue.3 , pp. 872-923
- Lamport, L.¹

19
- 0003785253
- Ph.D. Thesis, Department of Computer Science, University of Warwick
- (1991) Fault-Tolerant Programming by Transformations
- Liu, Z.¹

20
- 0004455312
- Specifying and verifying recovery in asynchronous communicating systems
- J. Vytopil (Ed.), Kluwer Academic Publishers, Boston
- (1993) Formal Techniques in Real-Time and Fault Tolerant Systems , pp. 137-166
- Liu, Z.¹ Joseph, M.²

21
- 0042963803
- Stepwise development of fault-tolerant reactive systems
- H. Langmaack, W.-P. de Roever, J. Vytopil (Eds.), Proc. 3rd Internat. Symp. on Formal Techniques in Real-Time and Fault Tolerant Systems, Springer, Lübeck, Germany, September
- (1994) Lecture Notes in Computer Science , vol.863 , pp. 529-546
- Liu, Z.¹ Joseph, M.²

22
- 0029702507
- Verification of fault-tolerance and real-time
- Sendai, IEEE Computer Society Press, Silver Spring, MD
- (1996) Proc. 26th Annu. Internat. Symp. on Fault-Tolerant Computing , pp. 220-229
- Liu, Z.¹ Joseph, M.²

23
- 84958747318
- Formalzing real-time scheduling as program refinement
- M. Bertran, T. Rus (Eds.), Proc. Transformation-Based Reactive Systems Development, Arts'97, Springer, Palma, Mallorca, Spain
- (1997) Lecture Notes in Computer Science , vol.1231 , pp. 294-309
- Liu, Z.¹ Joseph, M.²

24
- 0029428046
- Verification of schedulability
- (1995) Formal Aspects Comput. , vol.7 , Issue.5 , pp. 510-532
- Liu, Z.¹ Joseph, M.² Janowski, T.³

25
- 84974687699
- Scheduling algorithms for multiprogramming in a hard real-time environment
- (1973) J. ACM , vol.20 , Issue.1 , pp. 40-61
- Liu, C.L.¹ Layland, J.W.²

26
- 21044449861
- Technical Report 1997/30, Department of Maths and Computer Science, University of Leicester
- (1997) Compositional inductive verification of duration properties of real-time systems
- Liu, Z.¹ Ravn, A.P.² Li, X.³

27
- 0004491877
- Verifying duration properties of timed transition systems
- D. Gries, W.-P. de Roever (Eds.), Shelter Island, New York, USA, Chapman & Hall, London
- (1998) Proc. IFIP Working Conf. on Programming Concepts and Methods, PROCOMET'98 , pp. 327-345
- Liu, Z.¹ Ravn, A.P.² Li, X.³

28
- 0023534382
- The rate-monotonic scheduling algorithms: Exact characterisation and average case behaviour
- Santa Monica, CA, USA, IEEE Computer Society Press, Silver Spring, MD
- (1989) Proc. 10th IEEE Real-time Systems Symposium , pp. 261-270
- Lehoczky, J.¹ Sha, L.² Ding, Y.³

29
- 0004455313
- Technical Report PRG-TR-2-95, Oxford University Computing Laboratory
- (1995) Refinement of complex systems: a case study
- Lowe, G.¹ Zedan, H.²

30
- 0003799504
- Springer, New York
- (1991) The Temporal Logic of Reactive and Concurrent Systems: Specification
- Manna, Z.¹ Pnueli, A.²

31
- 4243662019
- Technical Report STAN-CS-TR-1566, Computer Science Department, Stanford University
- (1996) Clocked transition systems
- Manna, Z.¹ Pnueli, A.²

32
- 85047040703
- The temporal logic of programs
- U.S.A., IEEE Computer Society Press, Silver Spring, MD
- (1977) Proceedings of the 18th Annual Symposium on Foundations of Computer Science , pp. 46-57
- Pnueli, A.¹

33
- 0026285434
- A calculus of durations
- (1991) Inform. Process. Lett. , vol.40 , Issue.5 , pp. 269-276
- Zhou, C.C.¹ Hoare, C.A.R.² Ravn, A.P.³

34
- 84887500616
- Duration specifications for shared processors
- J. Vytopil (Ed.), Proc. 2nd Internat. Symp. on Formal Techniques in Real-Time and Fault Tolerant Systems, Springer, Nijmegen, the Netherlands, January
- (1992) Lecture Notes in Computer Science , vol.571
- Zhou, C.C.¹ Hansen, M.R.² Ravn, A.P.³ Rischel, H.⁴

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.