A Formal Architecture Pattern for Real-Time Distributed Systems
暂无分享,去创建一个
Xiaokang Qiu | Steven P. Miller | Lui Sha | Abdullah Al-Nayeem | Mu Sun | Darren D. Cofer | Xiaokang Qiu | L. Sha | D. Cofer | Mu Sun | A. Al-Nayeem
[1] Alberto L. Sangiovanni-Vincentelli,et al. Implementing Synchronous Models on Loosely Time Triggered Architectures , 2008, IEEE Transactions on Computers.
[2] Bruce Powell Douglass,et al. Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems , 2002 .
[3] Nicolas Halbwachs,et al. Simulation and Verification of Asynchronous Systems by means of a Synchronous Model , 2006, ACSD.
[4] Peter Csaba Ölveczky,et al. Semantics and pragmatics of Real-Time Maude , 2007, High. Order Symb. Comput..
[5] Kenneth P. Birman,et al. Exploiting virtual synchrony in distributed systems , 1987, SOSP '87.
[6] Anees Shaikh,et al. RTCAST: lightweight multicast for real-time process groups , 1996, Proceedings Real-Time Technology and Applications.
[7] Hermann Kopetz,et al. The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).
[8] John Rushby,et al. A Comparison of Bus Architectures for Safety-Critical Embedded Systems , 2003 .
[9] Nicolas Halbwachs,et al. Virtual execution of AADL models via a translation into synchronous programs , 2007, EMSOFT '07.
[10] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[11] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[12] Seif Haridi,et al. Distributed Algorithms , 1992, Lecture Notes in Computer Science.
[13] Peter Csaba Ölveczky,et al. PALS: Physically Asynchronous Logically Synchronous Systems , 2009 .