{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T20:37:53Z","timestamp":1649191073665},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T00:00:00Z","timestamp":1462924800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s00500-016-2178-y","type":"journal-article","created":{"date-parts":[[2016,5,11]],"date-time":"2016-05-11T07:28:35Z","timestamp":1462951715000},"page":"3135-3145","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimizing path real-time logic for unified real-time system"],"prefix":"10.1007","volume":"21","author":[{"given":"Xudong","family":"Zhu","sequence":"first","affiliation":[]},{"given":"Kin Fun","family":"Li","sequence":"additional","affiliation":[]},{"given":"Huiyou","family":"Chang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,11]]},"reference":[{"issue":"2","key":"2178_CR1","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1109\/TNS.2014.2308923","volume":"61","author":"D Alves","year":"2014","unstructured":"Alves D, NetoDaniel AC, Valcrcel F, Felton R, Lopez JM (2014) A new generation of real-time systems in the JET tokamak. IEEE Trans Nucl Sci 61(2):711\u2013719","journal-title":"IEEE Trans Nucl Sci"},{"issue":"12","key":"2178_CR2","doi-asserted-by":"crossref","first-page":"1640","DOI":"10.1109\/TC.2009.79","volume":"58","author":"S Andrei","year":"2009","unstructured":"Andrei S, Cheng AMK (2009) Efficient verification and optimization of real-time logic-specified systems. IEEE Trans Comput 58(12):1640\u20131653","journal-title":"IEEE Trans Comput"},{"key":"2178_CR3","unstructured":"Andrei S, Chin WN (2004) Incremental satisfiability counting for real-time systems, real-time and embedded technology and applications symposium, 2004. In: Proceedings. RTAS 2004, 10th IEEE, 482\u2013489"},{"issue":"4","key":"2178_CR4","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/12.919277","volume":"50","author":"G Bernat","year":"2001","unstructured":"Bernat G, Burns A, Llamos A (2001) Weakly hard real-time systems. IEEE Trans Comput 50(4):308\u2013321","journal-title":"IEEE Trans Comput"},{"issue":"12","key":"2178_CR5","doi-asserted-by":"crossref","first-page":"2601","DOI":"10.1360\/jos172601","volume":"17","author":"J-M Chen","year":"2006","unstructured":"Chen J-M, Song Y, Sun Y (2006) Research on constraint specification of weakly hard real-time system. J Softw 17(12):2601\u20132608","journal-title":"J Softw"},{"issue":"2","key":"2178_CR6","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s00500-011-0714-3","volume":"16","author":"I Contreras","year":"2012","unstructured":"Contreras I, Yiyi Jiang J, Hidalgo I, Nunez-Letamendia L (2012) Using GPU-CPU architecture to speed up a ga-based real-time system for trading the stock market. Soft Comput 16(2):203\u2013215","journal-title":"Soft Comput"},{"issue":"2","key":"2178_CR7","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1109\/TASE.2014.2304177","volume":"12","author":"Q Duan","year":"2015","unstructured":"Duan Q, Zeng J, Chakrabarty K (2015) Real-time production scheduler for digital-print-service providers based on a dynamic incremental evolutionary algorithm. IEEE Trans Autom Sci Eng 12(2):701\u2013715","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"12","key":"2178_CR8","doi-asserted-by":"crossref","first-page":"1443","DOI":"10.1109\/12.477249","volume":"44","author":"M Hamdaoui","year":"1995","unstructured":"Hamdaoui M, Ramanathan P (1995) A dynamic priority assignment technique for streams with (m, k)-firm deadlines. IEEE Trans Comput 44(12):1443\u20131451","journal-title":"IEEE Trans Comput"},{"key":"2178_CR9","volume-title":"A benchmark for comparing different approaches for specifying and verifying real-time systems","author":"CL Heitmeyer","year":"1993","unstructured":"Heitmeyer CL, Labaw BG (1993) A benchmark for comparing different approaches for specifying and verifying real-time systems. Naval Research Lab, Washington, DC"},{"key":"2178_CR10","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F Jahanian","year":"1986","unstructured":"Jahanian F, Mok AKL (1986) Safety analysis of timing properties in real-time systems. IEEE Trans Softw Eng 12:890\u2013904","journal-title":"IEEE Trans Softw Eng"},{"key":"2178_CR11","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1109\/TC.1987.5009519","volume":"36","author":"F Jahanian","year":"1987","unstructured":"Jahanian F, Mok AKL (1987) A Graph-theoretic approach for timing analysis and its implementation. IEEE Trans Comput 36:961\u2013975","journal-title":"IEEE Trans Comput"},{"key":"2178_CR12","unstructured":"Jahanian F, Stuart DA (1988) A method for verifying properties of modechart specifications. In: Proceedngs of the ninth IEEE real-time systems symposium, 12\u201321"},{"key":"2178_CR13","unstructured":"Lorraine EPR, Cheng AMK (1999) Timing analysis of the X-38 space station crew return vehicle avionics. Real-time technology and applications symposium, 1999. In: Proceedings of the fifth IEEE, 255\u2013264"},{"issue":"12","key":"2178_CR14","doi-asserted-by":"crossref","first-page":"2365","DOI":"10.1007\/s00500-013-1092-9","volume":"17","author":"FL Meng","year":"2013","unstructured":"Meng FL, Zeng XJ (2013) A Stackelberg game-theoretic approach to optimal real-time pricing for the smart grid. Soft Comp 17(12):2365\u20132380","journal-title":"Soft Comp"},{"key":"2178_CR15","unstructured":"Mok AK, Tsou DC, de Rooij RCM (1996) The MSP. RTL real-time scheduler synthesis tool. In: 17th IEEE real-time systems symposium, 118\u2013128"},{"issue":"2","key":"2178_CR16","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1109\/TNS.2009.2037815","volume":"57","author":"AC Neto","year":"2010","unstructured":"Neto AC, Sartori F, Piccolo F, Vitelli R, De Tommasi G, Zabeo L (2010) MARTe: a multiplatform real-time framework. IEEE Trans Nucl Sci 57(2):479\u2013486","journal-title":"IEEE Trans Nucl Sci"},{"key":"2178_CR17","doi-asserted-by":"crossref","unstructured":"Niu L, Xu J ((2012) Improving schedulability and energy performance for weakly hard real-time systems, performance computing and communications conference (IPCCC), 2012 IEEE 31st international, 41\u201350","DOI":"10.1109\/PCCC.2012.6407732"},{"issue":"4","key":"2178_CR18","doi-asserted-by":"crossref","first-page":"877","DOI":"10.1109\/TMI.2014.2366726","volume":"34","author":"G Quellec","year":"2015","unstructured":"Quellec G, Lamard M, Cochener B, Cazuguel G (2015) Real-time task recognition in cataract surgery videos using adaptive spatiotemporal polynomials. IEEE Trans Med Imaging 34(4):877\u2013887","journal-title":"IEEE Trans Med Imaging"},{"key":"2178_CR19","doi-asserted-by":"crossref","unstructured":"Sahuquillo J, Hassan H, Petit S, March JL, Duato J (2016) A dynamic execution time estimation model to save energy in heterogeneous multicores running periodic tasks. Future Gen Comput Syst 56:211\u2013219","DOI":"10.1016\/j.future.2015.06.011"},{"key":"2178_CR20","doi-asserted-by":"crossref","unstructured":"Singh Y, Popli M, Shukla SSP (2012) Energy reduction in weakly hard real time systems. Recent advances in information technology (RAIT). 2012 1st international conference on 2012, 909\u2013915","DOI":"10.1109\/RAIT.2012.6194555"},{"issue":"4","key":"2178_CR21","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1109\/TC.2015.2441704","volume":"65","author":"TH Tsai","year":"2016","unstructured":"Tsai TH, Fan LF, Chen YS, Yao TS (2016) Triple speed: energy-aware real-time task synchronization in homogeneous multi-core systems. IEEE Trans Comput 65(4):1297\u20131309","journal-title":"IEEE Trans Comput"},{"key":"2178_CR22","doi-asserted-by":"crossref","unstructured":"Wang F, Mok AK (1994) RTL and refutation by positive cycles. FME\u201994: industrial benefit of formal methods, 659\u2013680","DOI":"10.1007\/3-540-58555-9_121"},{"issue":"6","key":"2178_CR23","doi-asserted-by":"crossref","first-page":"744","DOI":"10.1109\/TC.2004.10","volume":"53","author":"R West","year":"2004","unstructured":"West R, Zhang Y, Schwan K, Poellabauer C (2004) Dynamic window-constrained scheduling of real-time streams in media servers. IEEE Trans Comput 53(6):744\u2013759","journal-title":"IEEE Trans Comput"},{"key":"2178_CR24","unstructured":"West R, Schwan K, Poellabauer C (1999) Scalable scheduling support for loss and delay constrained media streams, real-time technology and applications symposium, 1999. In: Proceedings of the fifth IEEE, 24\u201333"},{"key":"2178_CR25","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1109\/TASE.2011.2160452","volume":"9","author":"N Wu","year":"2012","unstructured":"Wu N, Zhou M (2012) Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation. IEEE Trans Autom Sci Eng 9:203\u2013209","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"7","key":"2178_CR26","doi-asserted-by":"crossref","first-page":"1837","DOI":"10.3724\/SP.J.1001.2008.01837","volume":"19","author":"T Wu","year":"2008","unstructured":"Wu T, Jin S, Chen J-M (2008) A weakly hard real-time schedule algorithm based on cutting down. J Softw 19(7):1837\u20131846","journal-title":"J Softw"},{"issue":"3","key":"2178_CR27","first-page":"204","volume":"37","author":"X Zhu","year":"2010","unstructured":"Zhu X, Chang H, Yi Y, Tao Q (2010) Constraint specification of weakly hard real-time systems based on smooth scheduling. Comput Sci 37(3):204\u2013207","journal-title":"Comput Sci"},{"issue":"8","key":"2178_CR28","first-page":"1862","volume":"33","author":"X Zhu","year":"2012","unstructured":"Zhu X, Chang H, Yi Y (2012) Novel weakly hard real-time system based on path RTL. J Chin Comput Syst 33(8):1862\u20131867","journal-title":"J Chin Comput Syst"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2178-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2178-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2178-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2178-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,7]],"date-time":"2019-09-07T14:20:56Z","timestamp":1567866056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2178-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,11]]},"references-count":28,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["2178"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2178-y","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,11]]}}}