Optimizing path real-time logic for unified real-time system

• 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–719

  Article  Google Scholar 

• Andrei S, Cheng AMK (2009) Efficient verification and optimization of real-time logic-specified systems. IEEE Trans Comput 58(12):1640–1653

  Article  MathSciNet  Google Scholar 

• 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–489

• Bernat G, Burns A, Llamos A (2001) Weakly hard real-time systems. IEEE Trans Comput 50(4):308–321

  Article  MathSciNet  Google Scholar 

• Chen J-M, Song Y, Sun Y (2006) Research on constraint specification of weakly hard real-time system. J Softw 17(12):2601–2608

  Article  MathSciNet  MATH  Google Scholar 

• 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–215

  Article  Google Scholar 

• 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–715

  Article  Google Scholar 

• Hamdaoui M, Ramanathan P (1995) A dynamic priority assignment technique for streams with (m, k)-firm deadlines. IEEE Trans Comput 44(12):1443–1451

  Article  MATH  Google Scholar 

• Heitmeyer CL, Labaw BG (1993) A benchmark for comparing different approaches for specifying and verifying real-time systems. Naval Research Lab, Washington, DC

  Google Scholar 

• Jahanian F, Mok AKL (1986) Safety analysis of timing properties in real-time systems. IEEE Trans Softw Eng 12:890–904

  Article  Google Scholar 

• Jahanian F, Mok AKL (1987) A Graph-theoretic approach for timing analysis and its implementation. IEEE Trans Comput 36:961–975

  Article  MATH  Google Scholar 

• Jahanian F, Stuart DA (1988) A method for verifying properties of modechart specifications. In: Proceedngs of the ninth IEEE real-time systems symposium, 12–21

• 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–264

• Meng FL, Zeng XJ (2013) A Stackelberg game-theoretic approach to optimal real-time pricing for the smart grid. Soft Comp 17(12):2365–2380

  Article  MATH  Google Scholar 

• Mok AK, Tsou DC, de Rooij RCM (1996) The MSP. RTL real-time scheduler synthesis tool. In: 17th IEEE real-time systems symposium, 118–128

• 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–486

  Article  Google Scholar 

• 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–50

• 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–887

  Article  Google Scholar 

• 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–219

• 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–915

• 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–1309

  Article  MathSciNet  MATH  Google Scholar 

• Wang F, Mok AK (1994) RTL and refutation by positive cycles. FME’94: industrial benefit of formal methods, 659–680

• 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–759

  Article  Google Scholar 

• 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–33

• 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–209

  Article  Google Scholar 

• Wu T, Jin S, Chen J-M (2008) A weakly hard real-time schedule algorithm based on cutting down. J Softw 19(7):1837–1846

  Article  MATH  Google Scholar 

• 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–207

  Google Scholar 

• Zhu X, Chang H, Yi Y (2012) Novel weakly hard real-time system based on path RTL. J Chin Comput Syst 33(8):1862–1867

  Google Scholar 

Download references