메뉴 건너뛰기




Volumn 105, Issue , 2012, Pages 5-21

PALS-based analysis of an airplane multirate control system in real-time maude

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT; AIRCRAFT CONTROL; EMBEDDED SYSTEMS; EXPLOSIONS; HYBRID SYSTEMS; MODEL CHECKING; REAL TIME SYSTEMS; SECURITY SYSTEMS;

EID: 84872698983     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.105.2     Document Type: Conference Paper
Times cited : (7)

References (13)
  • 1
    • 84861507919 scopus 로고    scopus 로고
    • Pattern-based composition and analysis of virtually synchronized real-time distributed systems
    • IEEE
    • A. Al-Nayeem, L. Sha, D. D. Cofer & S. M. Miller (2012): Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. In: Proc. ICCPS'12, IEEE, pp. 65-74, doi:10.1109/ICCPS.2012.15.
    • (2012) Proc. ICCPS'12 , pp. 65-74
    • Al-Nayeem, A.1    Sha, L.2    Cofer, D.D.3    Miller, S.M.4
  • 4
    • 85062001440 scopus 로고    scopus 로고
    • Formal patterns for multi-rate distributed real-time systems
    • LNCS, Springer. To appear
    • K. Bae, J. Meseguer & P. C. Ölveczky (2012): Formal Patterns for Multi-Rate Distributed Real-Time Systems. In: Proc. FACS'12, LNCS, Springer. To appear.
    • (2012) Proc. FACS'12
    • Bae, K.1    Meseguer, J.2    Ölveczky, P.C.3
  • 5
    • 80455140612 scopus 로고    scopus 로고
    • Synchronous AADL and its formal analysis in real-time maude
    • LNCS Springer
    • K. Bae, P. C. Ölveczky, A. Al-Nayeem & J. Meseguer (2011): Synchronous AADL and its Formal Analysis in Real-Time Maude. In: Proc. ICFEM'11, LNCS 6991, Springer, pp. 651-667, doi:10.1007/978-3-642-24559-6 43.
    • (2011) Proc. ICFEM'11 , vol.6991 , pp. 651-667
    • Bae, K.1    Ölveczky, P.C.2    Al-Nayeem, A.3    Meseguer, J.4
  • 8
    • 84868330125 scopus 로고    scopus 로고
    • Timed CTL model checking in real-time maude
    • LNCS Springer
    • D. Lepri, E. Ábrahám & P.C. Olveczky (2012): Timed CTL Model Checking in Real-Time Maude. In: Proc. WRLA'12, LNCS 7571, Springer, pp. 182-200, doi:10.1007/978-3-642-34005-5 10.
    • (2012) Proc. WRLA'12 , vol.7571 , pp. 182-200
    • Lepri, D.1    Ábrahám, E.2    Olveczky, P.C.3
  • 9
    • 78649543257 scopus 로고    scopus 로고
    • Formalization and correctness of the PALS architectural pattern for distributed real-time systems
    • LNCS Springer
    • J. Meseguer & P. C. Ölveczky (2010): Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. In: Proc. ICFEM'10, LNCS 6447, Springer, pp. 303-320, doi:10.1007/978-3-642-16901-4 21.
    • (2010) Proc. ICFEM'10 , vol.6447 , pp. 303-320
    • Meseguer, J.1    Ölveczky, P.C.2
  • 10
    • 84863989473 scopus 로고    scopus 로고
    • Formalization and correctness of the PALS architectural pattern for distributed real-time systems
    • J. Meseguer & P. C. Ölveczky (2012): Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comp. Sci. 451, pp. 1-37, doi:10.1016/j.tcs.2012.05.040.
    • (2012) Theor. Comp. Sci. , vol.451 , pp. 1-37
    • Meseguer, J.1    Ölveczky, P.C.2
  • 12
    • 34047233385 scopus 로고    scopus 로고
    • Semantics and pragmatics of real-time maude
    • P. C. Ölveczky & J. Meseguer (2007): Semantics and Pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2), pp. 161-196, doi:10.1007/s10990-007-9001-5.
    • (2007) Higher-Order and Symbolic Computation , vol.20 , Issue.1-2 , pp. 161-196
    • Ölveczky, P.C.1    Meseguer, J.2
  • 13
    • 84255178708 scopus 로고    scopus 로고
    • TTA and PALS: Formally verified design patterns for distributed cyber-physical systems
    • W. Steiner & J. Rushby (2011): TTA and PALS: Formally verified design patterns for distributed cyber-physical systems. In: Proc. DASC'11, IEEE, doi:10.1109/DASC.2011.6096120.
    • (2011) Proc. DASC'11, IEEE
    • Steiner, W.1    Rushby, J.2


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