Formal patterns for multi-rate distributed real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7684 LNCS, Issue , 2013, Pages 1-18

  Bae, Kyungmin ^a   Meseguer, José ^a   Ölveczky, Peter Csaba ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONY; AUTOMOTIVE SYSTEMS; CLOCK SKEWS; DISTRIBUTED REAL TIME SYSTEM; HIERARCHICAL CONTROL; HIERARCHICAL CONTROL SYSTEMS; MODEL TRANSFORMATION; MULTI RATE; NETWORK DELAYS; SYNCHRONOUS SYSTEM; TURNING MANEUVERS;

COMPUTER SOFTWARE; CONTROL SYSTEMS; HIERARCHICAL SYSTEMS;

REAL TIME SYSTEMS;

EID: 84872695137     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-35861-6_1     Document Type: Conference Paper

References (17)

1. Al-Nayeem, A., Sha, L., Cofer, D.D., Miller, S.M.: Pattern-based composition and analysis of virtually synchronized real-time distributed systems. In: Proc. Cyber-Physical Systems (IEEE/ACM ICCPS 2012) (2012)
2. Anderson, J.: Introduction to flight. McGraw-Hill (2005)
3. Awerbuch, B.: Complexity of network synchronization. J. ACM 32(4), 804-823 (1985)
4. Bae, K., Krisiloff, J., Meseguer, J., Ölveczky, P.C.: PALS-based analysis of an airplane multirate control system in Real-Time Maude. In: Proc. FTSCS 2012 (2012); To appear in Electronic Proceedings in Theoretical Computer Science
5. Bae, K., Ölveczky, P.C., Al-Nayeem, A., Meseguer, J.: Synchronous AADL and Its Formal Analysis in Real-Time Maude. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 651-667. Springer, Heidelberg (2011)
6. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007)
7. Girault, A., Ménier, C.: Automatic Production of Globally Asynchronous Locally Synchronous Systems. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 266-281. Springer, Heidelberg (2002)
8. Kopetz, H., Grünsteidl, G.: TTP - a protocol for fault-tolerant real-time systems. IEEE Computer 27(1), 14-23 (1994)
9. Meseguer, J., Ölveczky, P.C.: Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 303-320. Springer, Heidelberg (2010)
10. Meseguer, J., Ölveczky, P.C.: Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comp. Sci. 451, 1-37 (2012)
11. Miller, S.P., Cofer, D.D., Sha, L., Meseguer, J., Al-Nayeem, A.: Implementing logical synchrony in integrated modular avionics. In: Proc. DASC 2009. IEEE (2009)
12. Ölveczky, P.C.: Towards formal modeling and analysis of networks of embedded medical devices in Real-Time Maude. In: Proc. SNPD 2008. IEEE (2008)
13. Ölveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2), 161-196 (2007)
14. Potop-Butucaru, D., Caillaud, B.: Correct-by-construction asynchronous implementation of modular synchronous specifications. Fundam. Inform. 78(1), 131-159 (2007)
15. Rushby, J.: Systematic formal verification for fault-tolerant time-triggered algorithms. IEEE Trans. Software Eng. 25(5), 651-660 (1999)
16. Tel, G., Korach, E., Zaks, S.: Synchronizing ABD networks. IEEE Trans. Networking 2(1), 66-69 (1994)
17. Tripakis, S., Pinello, C., Benveniste, A., Sangiovanni-Vincentelli, A., Caspi, P., DiNatale, M.: Implementing synchronous models on loosely time triggered architectures. IEEE Trans. on Computers 1 (2008)