Pattern-based composition and analysis of virtually synchronized real-time distributed systems

Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012

Volumn , Issue , 2012, Pages 65-74

  Al Nayeem, Abdullah ^a   Sha, Lui ^a   Cofer, Darren D ^b   Miller, Steven M ^b  

^a University of Illinois at Urbana Champaign   (United States)

^b ROCKWELL COLLINS   (United States)

Author keywords

complexity reduction; Design patterns; virtual synchronization

Indexed keywords

ARCHITECTURAL PATTERN; ASYNCHRONOUS SYSTEM; COMPLEXITY REDUCTION; DESIGN PATTERNS; DISTRIBUTED COMPUTATIONS; DISTRIBUTED COORDINATION; DISTRIBUTED PROTOCOLS; HIERARCHICAL CONTROL SYSTEMS; MULTI RATE; REAL-TIME DISTRIBUTED SYSTEMS; STATE TRANSITIONS; SYSTEM LEVELS; TOOL SUPPORT; VIRTUAL SYNCHRONIZATION;

EMBEDDED SYSTEMS; SYNCHRONIZATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84861507919     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCPS.2012.15     Document Type: Conference Paper

References (26)

1. P. H. Feiler, J. Hansson, D. de Niz, and L. Wrage, "System architecture virtual integration: An industrial case study,"Technical Note, CMU/SEI-2009-TR-017, ESC-TR-2009-017, http://www.sei.cmu.edu/ reports/ 09tr017.pdf, 2007.
2. R. N. Charette, "This car runs on code," IEEE Spectrum, 2009.
3. D. D. Cofer, "Complexity-reducing design patterns for cyberphysical systems," AFRL Technical Report AFRL-RZ-WP-TR-2011-2098, 2011.
4. S. P. Miller, D. D. Cofer, L. Sha, J. Meseguer, and A. Al-Nayeem, "Implementing logical synchrony in integrated modular avionics," in Proceedings of DASC, 2009.
5. A. Al-Nayeem, M. Sun, X. Qiu, L. Sha, S. P. Miller, and D. D. Cofer, "A formal architecture pattern for real-time distributed systems," in Proceedings of RTSS, 2009.
6. J. Meseguer and P. C. Ölveczky, "Formalization and correctness of the pals architectural pattern for distributed real-time systems," in Proceedings of ICFEM, 2010.
7. L. Sha, A. Al-Nayeem, M. Sun, J. Meseguer, and P. C. Ölveczky, "PALS: Physically Asynchronous Logically Synchronous Systems," UIUC Technical Report http://hdl.handle.net/2142/11897.
8. Society of Automotive Engineers, "SAE Standards: Architecture Analysis & Design Language (AADL)," AS5506, 2004.
9. K. Birman and T. Joseph, "Exploiting Virtual Synchrony in Distributed Systems," ACM SIGOPS Operating Systems Review, vol. 21, no. 5, pp. 123-138, 1987.
10. R. van Renesse, K. P. Birman, and S. Maffeis, "Horus: A flexible group communication system," Communications of the ACM, vol. 39, April 1996.
11. T. H. Harrison, D. L. Levine, and D. C. Schmidt, "The design and performance of a real-time corba event service,"in Proceedings of OOPSLA, 1997.
12. T. Abdelzaher, S. Dawson, W.-C. Feng, F. Jahanian, S. Johnson, A. Mehra, T. Mitton, A. Shaikh, K. Shin, Z. Wang, H. Zou, M. Bjorkland, and P. Marron, "ARMADA Middleware and Communication Services," Real-Time Systems, vol. 16, no. 2/3, pp. 127-153, 1999.
13. C. Kim, A. Al-Nayeem, H. Yun, P.-L. Wu, and L. Sha, "PALS/PRISM software design description (sdd): Ver. 0.51,"UIUC Technical Report http://hdl.handle.net/2142/25987.
14. S. Tripakis, C. Pinello, A. Benveniste, A. S. Vincent, P. Caspi, and M. D. Natale, "Implementing synchronous models on loosely time triggered architectures," IEEE Transactions on Computers, vol. 57, no. 10, pp. 1300-1314, 2008.
15. A. Benveniste, A. Bouillard, and P. Caspi, "A unifying view of loosely time-triggered architectures," in Proceedings of EMSOFT, 2010.
16. G. Tel, Introduction to Distributed Algorithms, 2nd ed. Cambridge University Press, 2000.
17. H. Kopetz, "The time-triggered architecture," in Proceedings of ISORC, 1998.
18. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, and P. Niebert, "From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications," in Proceedings of LCTES, 2003.
19. J. Rushby, "Systematic formal verification for fault-tolerant time-triggered algorithms," IEEE Transactions on Software Engineering, vol. 25, pp. 651-660, September 1999.
20. A. Pnueli, In transition from global to modular temporal reasoning about programs. Springer-Verlag, 1985.
21. C. S. Pasareanu, M. B. Dwyer, and M. Huth, "Assumeguarantee model checking of software: A comparative case study," in In Theoretical and Practical Aspects of SPIN Model Checking, Lecture Notes in Computer Science, 1999.
22. M. Gheorghiu Bobaru, C. S. Pǎsǎreanu, and D. Giannakopoulou, "Automated assume-guarantee reasoning by abstraction refinement," in Proceedings of CAV, 2008.
23. Y. Zhao, J. Liu, and E. Lee, "A programming model for time-synchronized distributed real-time systems," in Proceedings of RTAS, 2007.
24. W. Steiner and J. Rushby, "TTA and PALS: Formally verified design patterns for distributed cyber-physical systems," in Proceedings of DASC, 2011.
25. A. Al-Nayeem, L. Sha, D. D. Cofer, and S. P. Miller, "Patternbased composition and analysis of virtually synchronized real-time distributed systems," UIUC Technical Report http://hdl.handle.net/2142/29941, 2012.
26. K. Bae, P. Ölveczky, A. Al-Nayeem, and J. Meseguer, "Synchronous AADL and its formal analysis in real-time maude,"in Proceedings of ICFEM, 2011.