{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T19:40:08Z","timestamp":1750966808744,"version":"3.41.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,10,26]],"date-time":"2017-10-26T00:00:00Z","timestamp":1508976000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Embedded Systems"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1186\/s13639-017-0082-x","type":"journal-article","created":{"date-parts":[[2017,10,26]],"date-time":"2017-10-26T12:18:38Z","timestamp":1509020318000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Generation of fault-tolerant state-based communication schedules for real-time systems"],"prefix":"10.1186","volume":"2017","author":[{"given":"Akramul","family":"Azim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,26]]},"reference":[{"key":"82_CR1","unstructured":"A Avizienis, J Laprie, B Randell, in IARP\/IEEE-RAS workshop on robot dependability: technological challenge of dependable robots in human environments. Fundamental Concepts of Computer System Dependability (South Korea, 2001), pp. 1\u201316."},{"issue":"1","key":"82_CR2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TSE.1987.232562","volume":"13","author":"R Koo","year":"1987","unstructured":"R Koo, S Toueg, Checkpointing and rollback-recovery for distributed systems. IEEE Trans. Softw. Eng.13(1), 23\u201331 (1987).","journal-title":"IEEE Trans. Softw. Eng."},{"key":"82_CR3","doi-asserted-by":"crossref","unstructured":"A Girault, C Lavarenne, M Sighireanu, Y Sorel, in International Conference on Distributed Computing Systems. Fault-tolerant static scheduling for real-time distributed embedded systems (USA, 2001), pp. 695\u2013698.","DOI":"10.1109\/ICDSC.2001.919002"},{"key":"82_CR4","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1109\/12.364541","volume":"44","author":"D Boley","year":"1995","unstructured":"D Boley, GH Golub, SN Saxena, EJ Mccluskey, Floating point fault tolerance with backward error assertions. IEEE Trans. Comput.44:, 302\u2013311 (1995).","journal-title":"IEEE Trans. Comput."},{"key":"82_CR5","doi-asserted-by":"crossref","unstructured":"V Izosimov, P Pop, P Eles, Z Peng, in Conference on Design, Automation and Test in Europe. Design optimization of time- and cost-constrained fault-tolerant embedded systems (Germany, 2005), pp. 864\u2013869.","DOI":"10.1109\/DATE.2005.116"},{"key":"82_CR6","unstructured":"H Kopetz, R Obermaisser, P Peti, N Suri, in Technische Univ. Wien, Vienna, Austria. Rep. 22. From a federated to an integrated architecture for dependable embedded real-time systems (Austria, 2004)."},{"key":"82_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TII.2009.2026642","volume":"5","author":"S Fischmeister","year":"2009","unstructured":"S Fischmeister, R Trausmuth, I Lee, Hardware acceleration for conditional state-based communication scheduling on real-time Ethernet. IEEE Trans. Ind. Informatic. 5:, 3 (2009).","journal-title":"IEEE Trans. Ind. Informatic"},{"key":"82_CR8","doi-asserted-by":"crossref","unstructured":"A Azim, G Carvajal, R Pellizzoni, S Fischneister, in Proceedings of Design, Automation and Test in Europe (DATE). \u201cGeneration of Communication Schedules for Multi-Mode Distributed Real-Time Applications\u201d (Germany, 2014), pp. 1\u20136.","DOI":"10.7873\/DATE.2014.306"},{"key":"82_CR9","doi-asserted-by":"crossref","unstructured":"G Weiss, S Fischmeister, M Anand, R Alur, in Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC). Specification and analysis of network resource requirements of control systems (San Fransisco, 2009), pp. 381\u2013395.","DOI":"10.1007\/978-3-642-00602-9_27"},{"issue":"9","key":"82_CR10","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1109\/TC.2010.84","volume":"59","author":"M Anand","year":"2010","unstructured":"M Anand, S Fischmeister, Y Hur, J Kim, I Lee, Generating reliable code from hybrid systems models. IEEE Trans. Comput.59(9), 1281\u20131294 (2010).","journal-title":"IEEE Trans. Comput."},{"key":"82_CR11","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/RTSS.2007.36","volume-title":"Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS)","author":"A Easwaran","year":"2007","unstructured":"A Easwaran, M Anand, I Lee, in Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS). Compositional analysis framework using EDP resource models (IEEE Computer SocietyWashington, 2007), pp. 129\u2013138."},{"key":"82_CR12","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/RTSS.2005.21","volume-title":"Proceedings of the 26th IEEE International Real-Time Systems Symposium (RTSS)","author":"S Chakraborty","year":"2005","unstructured":"S Chakraborty, L Phan, PS Thiagarajan, in Proceedings of the 26th IEEE International Real-Time Systems Symposium (RTSS). Event Count Automata: a state-based model for stream processing systems (IEEE Computer SocietyWashington, DC, 2005), pp. 87\u201398."},{"key":"82_CR13","doi-asserted-by":"crossref","unstructured":"LTX Phan, S Chakraborty, PS Thiagarajan, in Proc. of the 29th IEEE Real-Time Systems Symposium (RTSS). A multi-mode real-time calculus (Barcelona, 2008).","DOI":"10.1109\/RTSS.2008.47"},{"key":"82_CR14","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1147\/rd.62.0200","volume":"6","author":"RE Lyons","year":"1962","unstructured":"RE Lyons, W Vanderkulk, The use of triple-modular redundancy to improve computer reliability. IBM J. Res. Dev.6:, 200\u2013209 (1962).","journal-title":"IBM J. Res. Dev."},{"issue":"11","key":"82_CR15","doi-asserted-by":"crossref","first-page":"1505","DOI":"10.1109\/TC.2007.70747","volume":"56","author":"S Fischmeister","year":"2007","unstructured":"S Fischmeister, O Sokolsky, I Lee, A verifiable language for programming communication schedules. IEEE Trans. Comput. 56(11), 1505\u20131519 (2007).","journal-title":"IEEE Trans. Comput."},{"key":"82_CR16","doi-asserted-by":"crossref","unstructured":"P Koopman, T Chakravarty, in International Conference on Dependable Systems and Networks (DSN). Cyclic Redundancy Code (CRC) polynomial selection for embedded networks (USA, 2004), pp. 145\u2013155.","DOI":"10.1109\/DSN.2004.1311885"},{"key":"82_CR17","first-page":"108","volume-title":"Proceedings of the 17th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT)","author":"R Velazco","year":"2002","unstructured":"R Velazco, A Corominas, P Ferreyra, in Proceedings of the 17th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT). Injecting bit flip faults by means of a purely software approach: a case studied (IEEE Computer SocietyWashington, DC, 2002), pp. 108\u2013116."},{"key":"82_CR18","doi-asserted-by":"crossref","unstructured":"H Kopetz, G Bauer, S Poledna, Tolerating arbitrary node failures in the time-triggered architecture. SAE 2001 World Congress, March 2001, Detroit, MI, USA (2001).","DOI":"10.4271\/2001-01-0677"},{"issue":"2","key":"82_CR19","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1109\/TII.2009.2017526","volume":"5","author":"M Fuegge","year":"2009","unstructured":"M Fuegge, E Armengaud, A Steininger, Safely stimulating the clock synchronization algorithm in time-triggered systems\u2014a combined formal & experimental approach. IEEE Trans. Indu. Informatics. 5(2), 132\u2013146 (2009).","journal-title":"IEEE Trans. Indu. Informatics"},{"key":"82_CR20","doi-asserted-by":"crossref","unstructured":"A Azim, S Fischmeister, in International Conference on Emerging Technologies and Factory Automation (ETFA). Resolving state inconsistency in distributed fault-tolerant real-time dynamic TDMA architectures, (2011).","DOI":"10.1109\/ETFA.2011.6059022"},{"issue":"2","key":"82_CR21","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TAC.2010.2052384","volume":"56","author":"L Xie","year":"2011","unstructured":"L Xie, T Li, M Fu, J Zhang, Distributed consensus with limited communication data rate. IEEE Trans. Automatic Control. 56(2), 279\u2013292 (2011).","journal-title":"IEEE Trans. Automatic Control"},{"key":"82_CR22","first-page":"1","volume-title":"Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on","author":"A Azim","year":"2016","unstructured":"A Azim, in Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on. Analyzing consensus in multi-mode real-time communication using history information (IEEEGermany, 2016), pp. 1\u20136."},{"issue":"4","key":"82_CR23","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/TII.2006.885189","volume":"2","author":"C Ryan","year":"2006","unstructured":"C Ryan, D Heffernan, G Leen, Interactive consistency on a time-triggered real-time control network. IEEE Trans. Ind. Inform.2(4), 242\u2013254 (2006).","journal-title":"IEEE Trans. Ind. Inform."},{"issue":"2","key":"82_CR24","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/S0141-9331(01)00148-X","volume":"26","author":"G Leen","year":"2002","unstructured":"G Leen, D Heffernan, TTCAN: A new time-triggered controller area network. Microprocess. Microsyst.26(2), 77\u201394 (2002).","journal-title":"Microprocess. Microsyst."},{"key":"82_CR25","unstructured":"A Tanenbaum, M Steen, Distributed Systems: Principles and Paradigms. US ed edition. (Prentice Hall Publishers, 2002)."},{"key":"82_CR26","unstructured":"QUARC Control Design Software (2011). www.quanser.com ."},{"key":"82_CR27","doi-asserted-by":"crossref","unstructured":"R Huq, H Lacheray, C Fulford, D Wight, J Apkarian, in Canadian Conference on Electrical and Computer Engineering (CCECE). QBOT: an educational mobile robot controlled in MATLAB Simulink Environment (Canada, 2009), pp. 350\u2013353.","DOI":"10.1109\/CCECE.2009.5090152"},{"issue":"2","key":"82_CR28","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/j.sysarc.2013.10.012","volume":"60","author":"X Liu","year":"2014","unstructured":"X Liu, S Fischmeister, J Ma, X Chen, A Azim, Dts: dynamic tdma scheduling for networked control systems. J. Syst. Archit.60(2), 194\u2013205 (2014).","journal-title":"J. Syst. Archit."},{"key":"82_CR29","doi-asserted-by":"crossref","first-page":"313","DOI":"10.2345\/0899-8205-43.4.313","volume":"43","author":"D Arney","year":"2009","unstructured":"D Arney, S Fischmeister, JM Goldman, I Lee, R Trausmuth, Plug-and-play for medical devices: experiences from a case study. Biomed. Instrum. Technol.43:, 313\u2013317 (2009).","journal-title":"Biomed. Instrum. Technol."}],"container-title":["EURASIP Journal on Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13639-017-0082-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13639-017-0082-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13639-017-0082-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T19:09:57Z","timestamp":1750964997000},"score":1,"resource":{"primary":{"URL":"https:\/\/jes-eurasipjournals.springeropen.com\/articles\/10.1186\/s13639-017-0082-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,26]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["82"],"URL":"https:\/\/doi.org\/10.1186\/s13639-017-0082-x","relation":{},"ISSN":["1687-3963"],"issn-type":[{"type":"electronic","value":"1687-3963"}],"subject":[],"published":{"date-parts":[[2017,10,26]]},"article-number":"34"}}