메뉴 건너뛰기




Volumn , Issue , 2010, Pages 98-107

VHDL observers for clock constraint checking

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LEVEL; AUTOMATIC TRANSFORMATIONS; CLOCK CONSTRAINTS; CONCURRENT SYSTEMS; DISCRETE-TIME; FIXED POINTS; LOGICAL CLOCK; OPEN SOURCE IMPLEMENTATION; SAFETY PROPERTY; STRUCTURAL TRANSFORMATION; TIME BEHAVIOR;

EID: 77957588968     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2010.5551372     Document Type: Conference Paper
Times cited : (15)

References (20)
  • 1
    • 77955460592 scopus 로고    scopus 로고
    • OMG, Object Management Group, Nov., OMG document number: formal/09-11-102
    • OMG, UML Profile for MARTE, v1.0, Object Management Group, Nov. 2009, OMG document number: formal/09-11-102
    • (2009) UML Profile for MARTE, v1.0
  • 2
    • 38049032301 scopus 로고    scopus 로고
    • Modeling time(s)
    • G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, Eds., Springer
    • C. André, F. Mallet, and R. de Simone, "Modeling time(s)," in MoDELS, ser. Lecture Notes in Computer Science, G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, Eds., vol.4735. Springer, 2007, pp. 559-573.
    • (2007) MoDELS, Ser. Lecture Notes in Computer Science , vol.4735 , pp. 559-573
    • André, C.1    Mallet, F.2    De Simone, R.3
  • 3
    • 77949277661 scopus 로고    scopus 로고
    • Syntax and semantics of the clock constraint specification language (CCSL)
    • [Online]. Available
    • C. André, "Syntax and semantics of the clock constraint specification language (CCSL)," INRIA, Research Report 6925, 05 2009. [Online]. Available: http://hal.inria.fr/inria-00384077/en/
    • (2009) INRIA, Research Report 6925, 05
    • André, C.1
  • 7
    • 70450263665 scopus 로고    scopus 로고
    • Specification and verification of time requirements with CCSL and Esterel
    • C. M. Kirsch and M. T. Kandemir, Eds. ACM
    • C. André and F. Mallet, "Specification and verification of time requirements with CCSL and Esterel," in LCTES, C. M. Kirsch and M. T. Kandemir, Eds. ACM, 2009, pp. 167-176.
    • (2009) LCTES , pp. 167-176
    • André, C.1    Mallet, F.2
  • 8
    • 77957603332 scopus 로고    scopus 로고
    • Verification of clock constraints: CCSL observers in Esterel
    • [Online]. Available
    • C. André, "Verification of clock constraints: CCSL observers in Esterel," INRIA, Research Report 7211, 02 2010. [Online]. Available:http://hal.inria.fr/inria-00458847/en/
    • (2010) INRIA, Research Report 7211, 02
    • André, C.1
  • 10
    • 84947923383 scopus 로고    scopus 로고
    • Model checking via reachability testing for timed automata
    • B. Steffen, Ed., Springer
    • L. Aceto, A. Burgueño, and K. G. Larsen, "Model checking via reachability testing for timed automata," in TACAS, ser. Lecture Notes in Computer Science, B. Steffen, Ed., vol.1384. Springer, 1998, pp. 263-280.
    • (1998) TACAS, Ser. Lecture Notes in Computer Science , vol.1384 , pp. 263-280
    • Aceto, L.1    Burgueño, A.2    Larsen, K.G.3
  • 12
    • 77957568083 scopus 로고    scopus 로고
    • Formal evaluation of quality of service for data acquisition
    • ECSI
    • B. Ben Hedia, F. Jumel, and J.-P. Babau, "Formal evaluation of quality of service for data acquisition," in FDL. ECSI, 2005, pp. 579-589.
    • (2005) FDL , pp. 579-589
    • Ben Hedia, B.1    Jumel, F.2    Babau, J.-P.3
  • 15
    • 0033334449 scopus 로고    scopus 로고
    • A methodology for correct-by-construction latency insensitive design
    • J. K. White and E. Sentovich, Eds. IEEE
    • L. P. Carloni, K. L. McMillan, A. Saldanha, and A. L. Sangiovanni-Vincentelli, "A methodology for correct-by-construction latency insensitive design," in ICCAD, J. K. White and E. Sentovich, Eds. IEEE, 1999, pp. 309-315.
    • (1999) ICCAD , pp. 309-315
    • Carloni, L.P.1    McMillan, K.L.2    Saldanha, A.3    Sangiovanni-Vincentelli, A.L.4
  • 19
    • 0033465710 scopus 로고    scopus 로고
    • Modeling concurrent real-time processes using discrete events
    • E. A. Lee, "Modeling concurrent real-time processes using discrete events," Ann. Software Eng., vol.7, pp. 25-45, 1999.
    • (1999) Ann. Software Eng. , vol.7 , pp. 25-45
    • Lee, E.A.1


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