메뉴 건너뛰기




Volumn , Issue , 2005, Pages 372-381

Real-time specification patterns

Author keywords

Embedded systems; Formal specification; Patterns; Real time requirements

Indexed keywords

ALGORITHMS; COMPUTER SYSTEMS; PATTERN RECOGNITION; PROBLEM SOLVING; SPECIFICATIONS;

EID: 85016690899     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1062455.1062526     Document Type: Conference Paper
Times cited : (94)

References (49)
  • 3
    • 51549096502 scopus 로고
    • Logics and models of real time: A survey
    • J. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Lecture Notes in Computer Science 600. Springer-Verlag
    • R. Alur and T. A. Henzinger. Logics and models of real time: A survey. In J. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real. Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 74-106. Springer-Verlag, 1992.
    • (1992) Real. Time: Theory in Practice , pp. 74-106
    • Alur, R.1    Henzinger, T.A.2
  • 4
    • 43949167687 scopus 로고
    • Real-time logics: Complexity and expressiveness
    • R. Alur and T. A. Henzinger. Real-time logics: complexity and expressiveness. Information and Computation, 104(1):35-77, 1993.
    • (1993) Information and Computation , vol.104 , Issue.1 , pp. 35-77
    • Alur, R.1    Henzinger, T.A.2
  • 7
    • 0002169521 scopus 로고    scopus 로고
    • Temporal logics for real-time system specification
    • P. Bellini, R. Mattolini, and P. Nesi. Temporal logics for real-time system specification. ACM Computing Surveys, 32(1):12-42, 2000.
    • (2000) ACM Computing Surveys , vol.32 , Issue.1 , pp. 12-42
    • Bellini, P.1    Mattolini, R.2    Nesi, P.3
  • 12
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specifications
    • April
    • E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, (2):244-263, April 1986.
    • (1986) ACM Transactions on Programming Languages and Systems , Issue.2 , pp. 244-263
    • Clarke, E.M.1    Emerson, E.A.2    Sistla, A.P.3
  • 23
    • 0025421619 scopus 로고
    • TRIO: A logic language for executable specifications of real-time systems
    • C. Ghezzi, D. Mandrioli, and A. Morzenti. TRIO: A logic language for executable specifications of real-time systems. Journal of Systems and Software, 12(2):107-123, 1990.
    • (1990) Journal of Systems and Software , vol.12 , Issue.2 , pp. 107-123
    • Ghezzi, C.1    Mandrioli, D.2    Morzenti, A.3
  • 24
    • 0003620732 scopus 로고    scopus 로고
    • Applying the SCR requirements method to the light control case study
    • C. L. Heitmeyer and R. Bharadwaj. Applying the SCR requirements method to the light control case study. Journal of Universal Computer Science, 6(7):650-678, 2000.
    • (2000) Journal of Universal Computer Science , vol.6 , Issue.7 , pp. 650-678
    • Heitmeyer, C.L.1    Bharadwaj, R.2
  • 26
    • 84957102718 scopus 로고
    • What good are digital clocks?
    • W. Kuich, editor Lecture Notes in Computer Science 623. Springer-Verlag
    • T. A. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In W. Kuich, editor, ICALP 98: Automata, Languages, and Programming, Lecture Notes in Computer Science 623, pages 545-558. Springer-Verlag, 1992.
    • (1992) ICALP 98: Automata, Languages, and Programming , pp. 545-558
    • Henzinger, T.A.1    Manna, Z.2    Pnueli, A.3
  • 29
    • 0001625292 scopus 로고
    • Safety analysis of timing properties in real-time systems
    • F. Jahanian and A. K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, 12(9):890-904, 1986.
    • (1986) IEEE Transactions on Software Engineering , vol.12 , Issue.9 , pp. 890-904
    • Jahanian, F.1    Mok, A.K.2
  • 31
    • 33344474784 scopus 로고    scopus 로고
    • Real-time specification patterns
    • Computer Science and Engineering, Michigan State University, East Lansing, Michigan, September
    • S. Konrad and B. H. C. Cheng. Real-time specification patterns. Technical Report MSU-CSE-04-37, Computer Science and Engineering, Michigan State University, East Lansing, Michigan, September 2004.
    • (2004) Technical Report , vol.MSU-CSE-04-37
    • Konrad, S.1    Cheng, B.H.C.2
  • 32
    • 33244479894 scopus 로고    scopus 로고
    • Facilitating the derivation and instantiation of specification patterns
    • Computer Science and Engineering, Michigan State University, East Lansing, Michigan, January
    • S. Konrad and B. H. C. Cheng. Facilitating the derivation and instantiation of specification patterns. Technical Report MSU-CSE-05-4, Computer Science and Engineering, Michigan State University, East Lansing, Michigan, January 2005.
    • (2005) Technical Report , vol.MSU-CSE-05-4
    • Konrad, S.1    Cheng, B.H.C.2
  • 34
    • 0001601021 scopus 로고
    • Specifying real-time properties with metric temporal logic
    • R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255-299, 1990.
    • (1990) Real-Time Systems , vol.2 , Issue.4 , pp. 255-299
    • Koymans, R.1
  • 42
    • 84957367505 scopus 로고    scopus 로고
    • Automatic translation of natural-language system specifications into temporal logic
    • Rajeev Alur and Thomas A. Henzinger, editors New Brunswick NJ, USA, Springer Verlag
    • R. Nelken and N. Francez, Automatic translation of natural-language system specifications into temporal logic. In Rajeev Alur and Thomas A. Henzinger, editors, Proc. of the Eighth Int. Conf. on Computer Aided Verification CAV, volume 1102, pages 360-371, New Brunswick, NJ, USA, 1996, Springer Verlag.
    • (1996) Proc. of the Eighth Int. Conf. on Computer Aided Verification CAV , vol.1102 , pp. 360-371
    • Nelken, R.1    Francez, N.2
  • 43
    • 0025401691 scopus 로고
    • Cecil: A sequencing constraint language for automatic static analysis generation
    • K. M. Olender and L. J. Osterweil. Cecil: A sequencing constraint language for automatic static analysis generation. IEEE Transactions on Software Engineering, 16(3):268-280, 1990.
    • (1990) IEEE Transactions on Software Engineering , vol.16 , Issue.3 , pp. 268-280
    • Olender, K.M.1    Osterweil, L.J.2
  • 44
  • 47
    • 33344475745 scopus 로고    scopus 로고
    • Robert Bosch GmbH. Controller Area Network (CAN), 2005. http://www.can.bosch.com/.
    • (2005)


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