A formal architecture pattern for real-time distributed systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2009, Pages 161-170

  Al Nayeem, Abdullah ^a   Sun, Mu ^a   Qiu, Xiaokang ^a   Sha, Lui ^a   Miller, Steven P ^b   Cofer, Darren D ^b  

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

^b ROCKWELL COLLINS   (United States)

Author keywords

Architecture description language; Architecture pattern; Formal verification; GALS; Logical synchronization

Indexed keywords

ARCHITECTURE DESCRIPTION LANGUAGE; ARCHITECTURE DESCRIPTION LANGUAGES; ASYNCHRONOUS DESIGN; FORMAL VERIFICATION; FORMAL VERIFICATIONS; META MODEL; MODELING FRAMEWORKS; REAL-TIME DISTRIBUTED SYSTEMS; REDUNDANT SYSTEM;

LINGUISTICS; NETWORK ARCHITECTURE; POSITRON ANNIHILATION SPECTROSCOPY; SEMANTICS; SOFTWARE ARCHITECTURE; VERIFICATION;

REAL TIME SYSTEMS;

EID: 77649314785     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2009.50     Document Type: Conference Paper

References (17)

1. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
2. L. Sha, A. Al-Nayeem, M. Sun, J. Meseguer, and P. C. Ölveczky, "PALS: Physically Asynchronous Logically Synchronous Systems," University of Illinois at Urbana-Champaign, http://hdl.handle.net/2142/11897, Tech. Rep., 2009.
3. S. P. Miller, M. W. Whalen, D. OBrien, M. P. Heimdahl, and A. Joshi, "A Methodology for the Design and Verification of Globally Asynchronous/Locally Synchronous Architectures." NASA Contractor Report CR-2005-213912, 2005.
4. Society of Automotive Engineers, "SAE Standards: Architecture Analysis & Design Language (AADL)," AS5506, 2004.
5. P. C. Ölveczky and J. Meseguer, "Semantics and Pragmatics of Real-Time Maude," Higher-Order and Symbolic Computation, vol. 20, no. 1-2, pp. 161-196, 2007.
6. N. Lynch, Distributed Algorithms. Morgan Kaufmann Publishers Inc: San Fransisco, CA, 1996.
7. OSATE, "www.aadl.info."
8. Eclipse Modeling Framework, "www.eclipse.org/modeling/emf/."
9. B. P. Douglass, Real-time Design Patterns Robust Scalable Architecture for Real-time Systems. Addison-Wesley, 2006.
10. N. Halbwachs and L. Mandel, "Simulation and Verification of Asynchronous Systems by means of a Synchronous Model," in Proceedings of the 6th International Conference on Application of Concurrency to System Design, 2006.
11. E. Jahier, N. Halbwachs, P. Raymond, X. Nicollin, and D. Lesens, "Virtual Execution of AADL Models via a Translation into Synchronous Programs," in Proceedings of the 7th ACM & IEEE International Conference on Embedded Software, 2007.
12. S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni-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.
13. H. Kopetz, "The Time-Triggered Architecture," in Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1998.
14. J. Rushby, "A Comparison of Bus Architectures for Safety-Critical Embedded Systems." NASA Contractor Report CR-2003-212161, 2001.
15. K. Birman and T. Joseph, "Exploiting Virtual Synchrony in Distributed Systems," ACM SIGOPS Operating Systems Review, vol. 21, no. 5, pp. 123-138, 1987.
16. T. Abdelzaher, A. Shaikh, S. Johnson, F. Jahanian, and K. Shin, "RTCAST: Lightweight Multicast for Real-Time Process Groups," in Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996.
17. RTCA, "DO-178B - Software Considerations in Airborne Systems and Equipment Certification," RTCA Inc., 1992.