1 |
A. Al-Nayeem, L. Sha, D. D. Cofer, and S. P. Miller, "Pattern-based composition and analysis of virtually synchronized real-time distributed systems," in Proc. of Proceedings of 3rd International Conference on Cyber-Physical Systems (ICCPS), 2012. Article (CrossRef Link)
|
2 |
A. Jain, E. Y. Chang, and Y.-F. Wang, "Adaptive stream resource management using kalman filters," in Proc. of SIGMOD '04: Proceedings of the 2004 ACM SIGMOD international conference on Management of data. New York, NY, USA: ACM Press, pp. 11-22, 2004. Article (CrossRef Link)
|
3 |
V. Fay-Wolfe, L. C. DiPippo, G. Cooper, R. Johnson, P. Kortmann, and B. Thuraisingham. "Real-time CORBA," Parallel and Distributed Systems, IEEE Transactions on, vol. 11, no. 10, pp. 1073-1089, 2000. Article (CrossRef Link)
DOI
|
4 |
K. P. Birman, M. Hayden, O. Ozkasap, Z. Xiao, M. Budiu, and Y. Minsky, "Bimodal multicast," ACM Trans. Comput. Syst., vol. 17, no. 2, pp. 41-88, May 1999. Article (CrossRef Link)
DOI
|
5 |
R. Obermaisser, "Reuse of can-based legacy applications in time triggered architectures," IEEE Transactions on Industrial Informatics, vol. 2, no. 4, pp. 255-268, 2006. Article (CrossRef Link)
DOI
|
6 |
W. Steiner and J. Rushby, "TTA and PALS: Formally verified design patterns for distributed cyber-physical systems," in Proc. of Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th, oct. 2011, pp. 79-86, 2011. Article (CrossRef Link)
|
7 |
K. P. Birman, "Replication and fault-tolerance in the ISIS system," ACM SIGOPS Operating Systems Review, vol. 19, no. 5, pp. 79-86, 1985. Article (CrossRef Link)
DOI
|
8 |
A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, and R. De Simone, "The synchronous languages 12 years later," Proceedings of the IEEE, vol. 91, no. 1, pp. 64-83. 2003. Article (CrossRef Link)
DOI
|
9 |
P. T. Eugster, R. Guerraoui, S. B. Handurukande, P. Kouznetsov, and A.-M. Kermarrec, "Lightweight probabilistic broadcast," ACM Trans. Comput. Syst., vol. 21, no. 4, pp. 341-374, Nov. 2003. Article (CrossRef Link)
DOI
ScienceOn
|
10 |
L. Sha, A. Al-Nayeem, M. Sun, J. Meseguer, and P. C. Olveczky, "PALS: Physically Asynchronous Logically Synchronous Systems," University of Illinois at Urbana-Champaign, http://www.ideals.illinois.edu/handle/2142/11897, Tech. Rep., 2009.
|
11 |
C. Kim, M. Sun, S. Mohan, H. Yun, L. Sha, and T. F. Abdelzaher, "A framework for the safe interoperability of medical devices in the presence of network failures," in Proc. of Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10. ACM, pp. 149-158, 2010. Article (CrossRef Link)
|
12 |
J. Meseguer and P. C. Olveczky, "Formalization and correctness of the PALS architectural pattern for distributed real-time systems," in Proc. of Proceedings of the 12th international conference on Formal engineering methods and software engineering, ICFEM'10. Berlin, Heidelberg: Springer-Verlag, pp. 303-320, 2010. Article (CrossRef Link)
|
13 |
W. Kang, K. Kapitanova, and S. H. Son, "RDDS: A real-time data distribution service for cyber-physical systems," IEEE Trans. Industrial Informatics, vol. 8, no. 2, pp. 393-405, 2012. Article (CrossRef Link)
DOI
ScienceOn
|
14 |
A. Kermarrec and M. Steen. "Gossiping in distributed systems," SIGOPS Oper. Syst. Rev. vol. 41, no. 5, pp. 2-7, October 2007. Article (CrossRef Link)
DOI
|
15 |
J. Pereira, R. Luis, and O. Rui. "Semantically reliable multicast: Definition, implementation, and performance evaluation," Computers, IEEE Transactions on, vol. 52, no.2, pp. 150-165, 2003. Article (CrossRef Link)
DOI
|
16 |
S. Ranganathan, A. D. George, R. W. Todd, and M. C. Chidester, "Gossip-style failure detection and distributed consensus for scalable heterogeneous clusters," Cluster Computing, vol. 4, no. 3, pp. 197-209, Jul. 2001. Article (CrossRef Link)
DOI
|
17 |
A. Al-Nayeem, C. Kim, W. Kang, P.-L. Wu, and L. Sha, "Middleware design for physically-asynchronous logically-synchronous (pals) systems," in Proc. of Proceedings of the 13th ACM international conference on Embedded software (Emsoft'13), 2013. Article (CrossRef Link)
|
18 |
N. Kottenstette, X. Koutsoukos, J. Hall, J. Sztipanovits, and P. Antsaklis, "Passivity-based design of wireless networked control systems for robustness to time-varying delays," in Proc. of Proceedings of the 2008 Real-Time Systems Symposium, RTSS '08, 2008. Article (CrossRef Link)
|
19 |
S. Miller, D. Cofer, L. Sha, J. Meseguer, and A. Al-Nayeem, "Implementing logical synchrony in integrated modular avionics," in Proc. of Digital Avionics Systems Conference, 2009. DASC '09. IEEE/AIAA 28th, pp. 1.A.3-1 -1.A.3-12, oct.2009. Article (CrossRef Link)
|
20 |
H. Kopetz and G. Bauer, "The time-triggered architecture," Proceedings of the IEEE, vol. 91, no. 1, pp. 112-126, Jan 2003. Article (CrossRef Link)
DOI
|
21 |
N. Leveson and C. Turner, "An investigation of the therac-25 accidents," Computer, vol. 26, no. 7, pp. 18-41, July 1993. Article (CrossRef Link)
|
22 |
"MD PnP Project: Getting connected for patient safety, http://www.mdpnp.org," 2012.
|
23 |
S. Andalam, P.S. Roop, A. Girault, "Deterministic, predictable and light-weight multithreading using PRET-C," Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, pp. 1653-1656, IEEE, 2010 Article (CrossRef Link)
|
24 |
G. Berry and G. Gonthier, "The esterel synchronous programming language: design, semantics, implementation," Sci. Comput. Program., vol. 19, no. 2, pp. 87-152, Nov. 1992. Article (CrossRef Link)
DOI
ScienceOn
|