ijece-140502292314050229231836CMV Verlagkhoffmann@cmv-verlag.comCMV VerlagNashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iranijece168237454202019164M. R.NiksereshtH.Haj Seyyed JavadiMahdiMollamotalebi420201925327010.66224/ijece.28429.16.4.253http://ijece.org/fa/Article/28429http://ijece.org/fa/Article/Download/28429http://ijece.org/fa/Article/Download/28429http://ijece.org/fa/Article/Download/28429http://ijece.org/fa/Article/Download/28429http://ijece.org/fa/Article/Download/28429http://ijece.org/fa/Article/Download/28429http://ijece.org/fa/Article/Download/28429[1] E. T. Winter and E. P. Thubert, "RFC 6550 RPL: IPv6 routing protocol for low-power and lossy networks," IETF Stand. Track, 2012. [2] W. Colitti, K. Steenhaut, N. De Caro, B. Buta, and V. Dobrota, "Evaluation of constrained application protocol for wireless sensor networks," in Proc. 18th IEEE Work. Local Metrop. Area Networks, LANMAN’11, 6 pp., Chapel Hill, NC, USA, 13-14 Oct. 2011. [3] Z. Shelby, K. Hartke, and C. Bormann, RFC 7252 The Constrained Application Protocol (CoAP), Rfc 7252, p. 112, 2014. [4] W. Li-Hong, T. Hai-Kun, and Y. G. Hua, "Sensors access scheme design based on internet of things gateways," in Proc. Fifth Int. Conf. Intell. Syst. Des. Eng. Appl., pp. 901-904, Hunan, China, 15-16 Jun.. 2014. [5] M. Castro, A. J. Jara, and A. F. Skarmeta, "Enabling end-to-end CoAP-based communications for the web of things," J. Netw. Comput. Appl., vol. 59, no. C, pp. 230-236, Jan. 2014. [6] H. Kuo, "Design and implementation of light-weight smart home gateway for social web of things," in Proc. 6th Int. Conf. on Ubiquitous and Future Networks, ICUFN'14, pp. 425-430, Shanghai, China, 8-10 Jul. 2014. [7] R. Minerva, A. Biru, and D. Rotondi, "Towards a definition of the internet of things (IoT)," IEEE Internet Things, Rev. 1, 2017. [8] A. Ludovici and A. Calveras, "A proxy design to leverage the interconnection of CoAP wireless sensor networks with web applications," Sensors, vol. 15, no. 1, pp. 1217-1244, Jan. 2015. [9] T. Leva, O. Mazhelis, and H. Suomi, "Comparing the cost-efficiency of CoAP and HTTP in web of things applications," Decis. Support Syst., vol. 63, pp. 23-38, Oct. 2014. [10] C. Bormann, A. P. Castellani, and Z. Shelby, "CoAP: an application protocol for billions of tiny internet nodes," IEEE Internet Comput., vol. 16, no. 2, pp. 62-67, Mar./Apr. 2012. [11] C. Science, "Toward the Internet of things tpplication and management: a Practical approach, in Proc of IEEE Int. Symp. on a World of Wireless, Mobile and Multimedia Networks, Sydney, NSW, Australia, 19-19 Jun. 2014. [12] I. Ishaq, et al., "IETF standardization in the field of the internet of things (IoT): a survey, J. Sens. Actuator Netw., vol. 2, no. 2, pp. 235-287, 2013. [13] M. Laine, "RESTful Web Services for the Internet of Things," pp. 2-4. [14] I. Standard and I. C. Society, "Local and metropolitan area networks-Part 15. 4: low-rate wireless personal area networks (LR-WPANs) IEEE Computer Society," vol. 2011, no. September, 2011. [15] A. Al-Fuqaha, M. Guizani, M. Mohammadi, M. Aledhari, and M. Ayyash, "Internet of things: a survey on enabling technologies, protocols and applications," IEEE Commun. Surv. Tutorials, vol. 4, no. 99, pp. 2347-2376, Fourth Quarter 2015. [16] N. S. Bhat, "Design and implementation of IEEE 802.15.4 Mac protocol on FPGA," pp. 4-8, 2011. [17] S. and C. B. Zach, 6LoWPAN: The Wireless Embedded Internet. 2011. [18] G. Mulligan, "The 6LoWPAN architecture," 6LoWPAN Work. Gr. Internet Eng. Task Force, p. 78, 2007. [19] "ARM IoT Tutorial CoAP: The web of things protocol," 2014. [Online]. Available: https://community.arm.com/servlet/JiveServlet/previewBody/8633-102-2-15471/ARM CoAP Tutorial April 30 2014.pdf. [Accessed: 04-Aug-2016]. [20] M. Kovatsch, S. Duquennoy, and A. Dunkels, "A low-power CoAP for Contiki," in Proc. 8th IEEE Int. Conf. Mob. Ad-hoc Sens. Syst. MASS.11, pp. 855-860, Valencia, Spain, 17-22 Oct. 2011. [21] W. Colitti, K. Steenhaut, and N. De Caro, "Integrating wireless sensor networks with the web," in Proc. Conf. Inf. Process. Sens. Networks, IP+ SN'11, pp. 2-6, Chicago, IL, USA, 12–14 Apr. 2011. [22] S. Duquennoy, N. Wirstrom, N. Tsiftes, and A. Dunkels, "Leveraging IP for Sensor Network Deployment," Sics.Se, 2011. [23] S. Elias and S. Shivashankar, "A REST based design for web of things in smart environments," in Proc. 2nd IEEE Int. Conf. on Parallel, Distributed and Grid Computing, pp. 337-342, Solan, India, 6-8 Dec. 2012. [24] W. Colitti, K. Steenhaut, N. De Caro, B. Buta, and V. Dobrota, "REST enabled wireless sensor networks for seamless integration with web applications," in Proc. IEEE Eighth Int. Conf. Mob. Ad-Hoc Sens. Syst., pp. 867-872, Valencia, Spain, 17-22 Oct. 2011. [25] Y. Park, N. T. Dinh, and Y. Kim, "A network monitoring system in 6LoWPAN networks," in Proc. 4th Int. Conf. Commun. Electron. ICCE11, pp. 69-73, Hue, Vietnam, 1-3 Aug. 2012. [26] O. Bergmann, K. T. Hillmann, and S. Gerdes, "A CoAP-gateway for smart homes," in Proc. Int. Conf. Comput. Netw. Commun. ICNC'12, pp. 446-450, Maui, HI, USA, 30 Jan.-2 Feb. 2012. [27] J. Melorose, R. Perroy, and S. Careas, "Conditional observe in CoAP draft-li-core-conditional-observe-05," Internet-Draft, vol. 5, 2014. [28] D. Sacramento and N. Correia, "Aggregation and scheduling in CoAP/observe based wireless sensor networks," in Proc. IEEE Int. Conf. on Communications, ICC'15, pp. 2263-2269, London, UK, 8-12 Jun. 2015. [29] M. R. Palattella, et al., "Standardized protocol stack for the internet of (important) things," IEEE Commun. Surv. Tutorials, vol. 15, no. 3, pp. 1389-1406, Third Quarter 2013. [30] -, An Introduction to Cooja, [Online]. Available: https://github.com/contiki-os/contiki/wiki/An-Introduction-to-Cooja. [Accessed: 04-Mar-2017]. [31] "Contiki.org," [Online]. Available: http://www.contiki-os.org/index.html. [Accessed: 11-Sep-2016]. [32] C. Lerche, K. Hartke, and M. Kovatsch, "Industry adoption of the internet of things: a constrained application protocol survey," in Proc. IEEE Int. Conf. Emerg. Technol. Fact. Autom., ETFA'12, 6 pp., Krakow, Poland, 17-21 Sept. 2012. [33] M. Amiri, Measurements of Energy Consumption and Execution Time of Different Operations on Tmote Sky Sensor Motes, Ph.D. Thesis, p. 46, 2010.H.BarghiS. V.Azhari420201927128110.66224/ijece.28430.16.4.271http://ijece.org/fa/Article/28430http://ijece.org/fa/Article/Download/28430http://ijece.org/fa/Article/Download/28430http://ijece.org/fa/Article/Download/28430http://ijece.org/fa/Article/Download/28430http://ijece.org/fa/Article/Download/28430http://ijece.org/fa/Article/Download/28430http://ijece.org/fa/Article/Download/28430[1] I. F. Akyildiz, X. Wang, and W. Wang, "Wireless mesh networks: a survey," Comput. Networks, vol. 47, no. 4, pp. 445-487, Mar. 2005. [2] IEEE Standards Association, 802.11-2012-IEEE Standard for Information Technology Telecommunications and Information Exchange between Systems Local and Metropolitan Area Networks Specific Requirements, Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY), Sept. 2012. [3] H. Barghi and S. V. Azhari, "A practical sleep coordination and management scheme with duty cycle control for energy sustainable IEEE 802.11s wireless mesh networks," Wirel. Networks, vol. 21, no. 2, pp. 1-26, Feb. 2018. [4] M. Malekpour Shahraki, H. Barghi, S. V. Azhari, and S. Asaiyan, "Distributed and energy efficient scheduling for IEEE802.11s wireless EDCA networks," Wirel. Pers. Commun., vol. 90, no. 1, pp. 301-323, 2016. [5] B. Hohlt, L. Doherty, and E. Brewer, "Flexible power scheduling for sensor networks," in Proc. of the 3rd Int. Symp. on Information Processing in Sensor Networks, IPSN'04, p. 205-214, 2004. [6] E. S. Kim and C. A. Glass, "Perfect periodic scheduling for three basic cycles," J. of Scheduling, vol. 17, no. 1, pp. 47-65, Feb. 2014. [7] E. S. Kim and C. A. Glass, "Perfect periodic scheduling for binary tree routing in wireless networks," Eur. J. Oper. Res., vol. 247, no. 2, pp. 389-400, 1 Dec. 2015. [8] P. Shrivastava and S. B. Pokle, "Energy efficient scheduling strategy for data collection in wireless sensor networks," in Proc. Int. Conf. on Electronic Systems, Signal Processing and Computing Technologies, pp. 170-173, Nagpur, India, 9-11 Jan. 2014. [9] D. Ghosh, A. Gupta, and P. Mohapatra, "Admission control and interference-aware scheduling in multi-hop WiMAX networks," in Proc. IEEE Int. Conf. on Mobile Adhoc and Sensor Systems, MASS'07, 9 pp., Pisa, Italy, 8-11 Oct. 2007. [10] J. Zou and D. Zhao, "Real-time CBR traffic scheduling in IEEE 802.16-based wireless mesh networks," Wirel. Networks, vol. 15, no. 1, pp. 65-72, Jan. 2009. [11] I. Rhee, A. Warrier, J. Min, and L. Xu, "DRAND: distributed randomized TDMA scheduling for wireless ad hoc networks," IEEE Trans. Mob. Comput., vol. 8, no. 10, pp. 190-201, Oct. 2009. [12] Z. Wang, J. Li, L. Kang, C. Wang, and Y. Zhang, "Low-latency TDMA sleep scheduling in wireless sensor networks," in Proc. 2015 IEEE/CIC Int. Conf. on Communications in China, ICCC'15, 6 pp., Shenzhen, China, 2-4 Nov. 2016. [13] A. Kansal, J. Hsu, and S. Zahedi, "Power management in energy harvesting sensor networks," ACM Trans. Embed. Comput. Syst., vol. 6, no. 4, pp. 1-35, Sept. 2007. [14] C. M. Vigorito, D. Ganesan, and A. G. Barto, "Adaptive control of duty cycling in energy-harvesting wireless sensor networks," in Proc. IEEE Int. Conf. on Sensing, Communication, and Networking, IEEE SECON'07, pp. 21-30, San Diego, CA, USA, 18-21 Jun. 2007. [15] X. Fafoutis and N. Dragoni, "ODMAC: an on-demand MAC protocol for energy harvesting-wireless sensor networks," in Proc. of the 8th ACM Symp. on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN'11, pp. 49-56, Miami Beach, FL, USA, 31 Oct.- 4 Nov. 2011. [16] S. Tang, J. Wu, G. Chen, C. Wang, X. Liu, T. Li, and X. Y. Li, "On minimum delay duty-cycling protocol in sustainable sensor network," in Proc. Int. Conf. on Network Protocols, ICNP'12, 9 pp., Oct. 2012. [17] B. Buchli, F. Sutton, J. Beutel, and L. Thiele, "Dynamic power management for long-term energy neutral operation of solar energy harvesting systems," in Proc. 12th ACM Conf. Embedded Networked Sensor Systems, SenSys'14, pp. 31-45, Memphis, TN, USA, 3-6 Nov. 2014. [18] L. X. Cai, T. H. Luan, J. W. Mark, and H. V. Poor, "Sustainability analysis and resource management for wireless mesh networks with renewable energy supplies," IEEE J. Sel. Areas Commun., vol. 32, no. 2, pp. 345-355, Feb. 2014. [19] M. K. Jakobsen, J. Madsen, and M. R. Hansen, "DEHAR: a distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks," in Proc. IEEE Int. Symp. on World of Wireless Mobile and Multimedia Networks, WoWMoM'10, 9 pp., Montrreal, QC, Canada, 14-17 Jun. 2010. [20] P. K. Srinivas, "SLR: sustainable longevity routing protocol for ad hoc networks," in Proc. IEEE Int. Conf. on, Signal Processing, Communication and Computing, ICSPCC'13, 6 pp., KunMing, China, 5-8 Aug. 2013. [21] C. Moser, J. Chen, and L. Thiele, "An energy management framework for energy harvesting embedded systems," ACM J. Emerg. Technol. Comput. Syst., vol. 6, no. 2, Article No. 7, 21 pp., Jun. 2010. [22] X. Shen, et al., "EFCon: energy flow control for sustainable wireless sensor networks," Ad Hoc Networks, vol. 11, no. 4, pp. 1421-1431, Jun. 2011. [23] G. H. Badawy, A. A. Sayegh, and T. D. Todd, "Fair flow control in solar powered WLAN mesh networks," in Proc. IEEE Wireless Communications and Networking Conf., WCNC'09, 6 pp., Budapest, Hungary, 5-8 Apr. 2009. [24] D. P. Consumption, D. Halperin, B. Greenstein, A. Sheth, and D. Wetherall, "Demystifying 802.11n power consumption," in Proc. of the Workshop on Power Aware Computing and Systems HotPower'10, Article No. 1, pp. 2-6, Vancouver, BC, Canada, 2010.MehdiSakhaei-niaS.parsa420201928229010.66224/ijece.28431.16.4.282http://ijece.org/fa/Article/28431http://ijece.org/fa/Article/Download/28431http://ijece.org/fa/Article/Download/28431http://ijece.org/fa/Article/Download/28431http://ijece.org/fa/Article/Download/28431http://ijece.org/fa/Article/Download/28431http://ijece.org/fa/Article/Download/28431http://ijece.org/fa/Article/Download/28431[1] R. Wilhelm, et al., "The worst-case execution time problem-overview of approaches and survey of tools," Trans. on Embedded Computing Sys., vol. 7, no. 3, Article No. 36, Apr. 2008. [2] R. Chapman, Static Timing Analysis and Program Proof, Ph.D. Dissertation, Univ. of York, 1995. [3] J. Gustafsson, A. Ermedahl, C. Sandberg, and B. Lisper, "Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution," in Proc. 27th IEEE Real-Time Systems Symp., RTSS'06, pp. 57-66, Rio de Janeiro, Brazil, 5-8 Dec. 2006. [4] M. Michiel, A. Bonenfant, H. Casse, and P. Sainrat, "Static loop bound analysis of C programs based on flow analysis and abstract interpretation," in Proc. IEEE Int. Conf. on Embedded and Real-Time Computing Systems and Applications, RTCSA'08, pp. 161-166, Kaohsiung, Taiwan, 25-27 Aug. 2008. [5] پ. سخائی‌نیا، "روشی مبتنی بر تطبیق الگو برای تخمین بیشترین زمان اجرای حلقه‌ها،" هشتمین کنفرانس بین‌المللی فناوری اطلاعات و دانش، صص. 766-760، همدان، شهريور 1395. [6] C. Healy, M. Sjodin, V. Rustagi, D. Whalley, and R. Engelen, "Supporting timing analysis by automatic bounding of loop iterations," J. of Real-Time Systems, vol. 18, no. 2-3, pp. 129-156, May 2000. [7] Tidorum Bound-T tool homepage. www.tidorum.fi/bound-t, 2008. [8] N. Holsti, L. Thomas, and S. Saarinen, "Worst-case execution-time analysis for digital signal processors," in Proc. of 10th European Signal Processing Conf., EUSIPCO'00, 14 pp., Tampere, Finland, 4-8 Sept. 2000. [9] A. Prantl, M. Schordan, and J. Knoop, "TuBound-a conceptually new tool for worst-case execution time analysis," in Proc. 8th Int. Workshop on Worst-Case Execution Time Analysis, WCET'08, volpp. 141-148, Prague, Czech Republic, 2008. [10] -, aiT Tool: The Industry Standard for Static Timing Analysis, 2007. http://www.absint.com/ait/ [11] C. Cullmann and F. Martin, "Data-flow based detection of loop bounds," in Proc. 7th Int. Workshop on Worst-Case Execution Time Analysis, WCET'07, 6 pp., Italy, Jul. 2007. [12] J. Knoop, L. Kovacs, and J. Zwirchmayr, "Symbolic loop bound computation for WCET analysis, in Perspectives of Systems Informatics, E. Clarke, I. Virbitskaite, and A. Voronkov, Eds. Springer Berlin Heidelberg, pp. 227-242, 2012. [13] A. Biere, J. Knoop, L. Kovacs, and J. Zwirchmayr, "The auspicious couple: symbolic execution and WCET analysis," in Proc. of the 13th International Workshop on Worst-Case Execution Time Analysis, vol. 30, pp. 53-63, 9-9 Jul. 2013. [14] S. Parsa and M. Sakhaei-Nia, "Modeling flow information of loops using compositional condition of controls," The J. of Supercomputing, vol. 71, no. 2, pp. 508-536, Feb. 2015. [15] S. Bygde, A. Ermedahl, and B. Lisper, "An efficient algorithm for parametric WCET calculation," J. of Systems Architecture, vol. 57, no. 6, pp. 614-624, Jun. 2011. [16] S. Parsa and M. Sakhaei-Nia, "PLEA: parametric loop bound estimation in WCET analysis," Turkish J. of Electrical Engineering & Computer Sciences, vol. 24, no. 4, pp. 2135-2149, Apr. 2016. [17] L. N. D. Moura and N. Bjorner, "Z3: an efficient SMT solver," TACAS, vol. 4963, pp. 337-340, Springer, 2008. [18] D. Kebbal and P. Sainrat, "Combining symbolic execution and path enumeration in worst-case execution time analysis," in Proc. 6th Int. Workshop on Worst-Case Execution Time Analysis, WCET'06, vol. 4, 6 pp., Jul. 2006. [19] J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper, "The malardalen WCET benchmarks: past, present and future," in Proc. 10th Int. Workshop on Worst-Case Execution Time Analysis, WCET'10, vol. 15, pp. 136-146, 2010.F.Noorbehbahani420201929130010.66224/ijece.28432.16.4.291http://ijece.org/fa/Article/28432http://ijece.org/fa/Article/Download/28432http://ijece.org/fa/Article/Download/28432http://ijece.org/fa/Article/Download/28432http://ijece.org/fa/Article/Download/28432http://ijece.org/fa/Article/Download/28432http://ijece.org/fa/Article/Download/28432http://ijece.org/fa/Article/Download/28432[1] K. Ravi and V. Ravi, "A survey on opinion mining and sentiment analysis: tasks, approaches and applications," Knowledge-Based Syst., vol. 89, pp. 14-46, Nov. 2015. [2] J. A. Balazs and J. D. Velasquez, "Opinion mining and information fusion: a survey," Inf. Fusion, vol. 27, pp. 95-110, Jan. 2016. [3] B. Pang, L. Lee, and S. Vaithyanathan, "Thumbs up?: sentiment classification using machine learning techniques," in Proc. of the ACL-02 Conf. on Empirical Methods in Natural Language Processing, vol. 10, pp. 79-86, 2002. [4] R. McDonald, K. Hannan, T. Neylon, M. Wells, and J. Reynar, "Structured models for fine-to-coarse sentiment analysis," in Proc. of the 45th Annual Meeting of the Association of Computational Linguistics, pp. 432-439, Prague, Czech Republic, 2007. [5] Y. Dang, Y. Zhang, and H. Chen, "A lexicon-enhanced method for sentiment classification: an experiment on online product reviews," IEEE Intell. Syst., vol. 25, no. 4, pp. 46-53, Jul./Aug. 2010. [6] J. Blitzer, M. Dredze, and F. Pereira, "Biographies, bollywood, boom-boxes and blenders: domain adaptation for sentiment classification," in Proc. of the 45th Annual Meeting of the Association of Computational Linguistics, pp. 440-447, 2007. [7] M. Rushdi-Saleh, M. T. Maritn-Valdivia, A. M. Raez, and L. A. U. Lpez, "Experiments with SVM to classify opinions in different domains," Expert Syst. Appl., vol. 38, no. 12, pp. 14799-14804, Nov. /Dec. 2011. [8] B. Pang and L. Lee, "A sentimental education: sentiment analysis using subjectivity summarization based on minimum cuts," in Proc. of the 42nd Annual Meeting on Association for Computational Linguistics, Article No. 271, 8 pp., Barcelona, Spain, 21-26 Jul. 2004. [9] M. Taboada and J. Grieve, "Analyzing appraisal automatically," in Proc. of the AAAI Spring Symp. on Exploring Attitude and Affect in Text: Theories and Applications, pp. 158-161, Mar. 2004. [10] X. Bai, "Predicting consumer sentiments from online text," Decis. Support Syst., vol. 50, no. 4, pp. 732-742, Mar. 2011. [11] Z. Zhang, Q. Ye, Z. Zhang, and Y. Li, "Sentiment classification of internet restaurant reviews written in Cantonese," Expert Syst. Appl., vol. 38, no. 6, pp. 7674-7682, Jun. 2011. [12] L. K. W. Tan, J. C. Na, Y. L. Theng, and K. Chang, "Phrase-level sentiment polarity classification using rule-based typed dependencies and additional complex phrases consideration," J. Comput. Sci. Technol., vol. 27, no. 3, pp. 650-666, Jan. 2012. [13] G. Wang, J. Sun, J. Ma, K. Xu, and J. Gu, "Sentiment classification: the contribution of ensemble learning," Decis. Support Syst., vol. 57, pp. 77-93, Jan. 2014. [14] R. Moraes, J. F. Valiati, and W. P. G. Neto, "Document-level sentiment classification: an empirical comparison between SVM and ANN," Expert Syst. Appl., vol. 40, no. 2, pp. 621-633, 1 Feb. 2013. [15] A. S. H. Basari, B. Hussin, I. G. P. Ananta, and J. Zeniarja, "Opinion mining of movie review using hybrid method of support vector machine and particle swarm optimization," Procedia Eng., vol. 53, pp. 453-462, 2013. [16] M. Ghiassi, J. Skinner, and D. Zimbra, "Twitter brand sentiment analysis: a hybrid system using N-gram analysis and dynamic artificial neural network," Expert Syst. Appl., vol. 40, no. 16, pp. 6266-6282, Nov. 2013. [17] J. Smailovic, M. Grcar, N. Lavrac, and M. Znidarsic, "Stream-based active learning for sentiment analysis in the financial domain," Inf. Sci., vol. 285, pp. 181-203, 20 Nov. 2014. [18] M. Zimmermann, E. Ntoutsi, and M. Spiliopoulou, "Incremental active opinion learning over a stream of opinionated documents," Proc. Workshop on Issues of Sentiment Discovery and Opinion Mining, WISDOM'15, 10 pp., Sydney, Australia, 10 Aug. 2015. [19] E. Serrao and M. Spiliopoulou, "Active stream learning with an oracle of unknown availability for sentiment prediction," in Proc. Workshop on Interactive Adaptive Learning, IAL'18, pp. 36-47, Dublin, Ireland, 2018. [20] I. Zliobaite, A. Bifet, B. Pfahringer, and G. Holmes, "Active learning with drifting streaming data," IEEE Trans. Neural Netw. Learn. Syst., vol. 25, no. 1, pp. 27-39, Jan. 2014. [21] A. McCallum and K. Nigam, "A comparison of event models for Naive Bayes text classification," in Proc. AAAI-98 Workshop on Learning for Text Categorization, pp. 41-48, 1998. [22] J. D. Rennie, L. Shih, J. Teevan, and D. R. Karger, "Tackling the poor assumptions of Naive Bayes text classifiers," in Proc. of the 20th Int. Conf. on Machine Learning ICML'03, pp. 616-623, Washington, DC, USA, 21-24 Nov. 2003. [23] T. R. Hoens, R. Polikar, and N. V. Chawla, "Learning from streaming data with concept drift and imbalance: an overview," Prog. AI, vol. 1, no. 1, pp. 89-101, 2012. [24] J. Gama, P. Medas, G. Castillo, and P. Rodrigues, "Learning with drift detection," in Proc. of Advances in Artificial Intelligence, SBIA, vol. 3171, pp. 286-295, 2004. [25] I. H. Witten, E. Frank, L. Trigg, M. Hall, G. Holmes, and S. J. Cunningham, "Weka: practical machine learning tools and techniques with java implementations," 1999. [26] G. H. John and P. Langley, "Estimating continuous distributions in bayesian classifiers," in Proc. 11th Conf. on Uncertainty in Artificial Intelligence, pp. 338-345, Montreal, QC, Canada, 18-20 Aug. 1995. [27] R. Quinlan, C4.5: Programs for Machine Learning, San Mateo, CA: Morgan Kaufmann Publishers, 1993. [28] W. W. Cohen, "Fast effective rule induction," in Proc. 12th Int. Conf. on Machine Learning, pp. 115-123, Tahoe City, CA, USA, 9-12 Jul. 1995. [29] C. C. Chang and C. J. Lin, LIBSVM-A Library for Support Vector Machines, 2001.S.AzadifarS. H.KhastehM. H.Edrisi420201930130910.66224/ijece.28433.16.4.301http://ijece.org/fa/Article/28433http://ijece.org/fa/Article/Download/28433http://ijece.org/fa/Article/Download/28433http://ijece.org/fa/Article/Download/28433http://ijece.org/fa/Article/Download/28433http://ijece.org/fa/Article/Download/28433http://ijece.org/fa/Article/Download/28433http://ijece.org/fa/Article/Download/28433[1] S. M. Badr, G. Ismaial, and A. H. Khalil, "A review on steganalysis techniques: from image format point of view," International J. of Computer Applications, vol. 102, no. 4, pp. 11-19, Sep. 2014. [2] V. Bhasin, P. Bedi, and A. Singhal, "Feature selection for steganalysis based on modified stochastic diffusion search using Fisher score," in Proc. Int. Conf. on Advances in Computing, Communications and Informatics, ICACCI'14, pp. 2323-2330, New Delhi, India, 24-27 Sept. 2014. [3] Y. Miche, B. Roue, A. Lendasse, and P. Bas, "A feature selection methodology for steganalysis," in B. Gunsel, A. K. Jain, A. M. Tekalp, B. Sankur (Eds.) Multimedia Content Representation, Classification and Security: Int. Workshop, MRCS 2006, Springer, Berlin, Heidelberg, pp. 49-56, Sep. 2006. [4] T. Pevn, P. Bas, and J. Fridrich, "Steganalysis by subtractive pixel adjacency matrix," Trans. Info. For. Sec., vol. 5, no. 2, pp. 215-224, Jun. 2010. [5] A. Westfeld and A. Pfitzmann, Attacks on Steganographic Systems, Information Hiding, 2000. [6] J. Fridrich, M. Goljan, and R. Du, "Reliable detection of LSB steganography in color and grayscale images," in Proc. of the Workshop on Multimedia and Security, MM&Sec'01, pp. 27-30, Ottawa, ON, Canada, 5-5 Oct 2001. [7] S. Dumitrescu, X. Wu, and Z. Wang, "Detection of LSB steganography via sample pair analysis," Information Hiding, vol. 51, no. 7, pp. 1995-2007, Jul. 2003. [8] A. Westfeld, Detecting Low Embedding Rates," in: F. A. P. Petitcolas (Ed.) Information Hiding: 5th International Workshop, IH 2002, Springer Berlin Heidelberg, Berlin, 2003. [9] S. M. S. Tarzjani and S. Ghaemmaghami, "Detection of LSB replacement and LSB matching steganography using Gray level run length matrix," in Proc. of 5th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing, pp. 787-790, Kyoto, Japan, 12-14 Sept. 2009. [10] M. Goljan, J. Fridrich, and T. Holotyak, "New blind steganalysis and its implications," Proc. SPIE 6072, Security, Steganography, and Watermarking of Multimedia Contents VIII, pp. 1-13, 2006. [11] J. Harmsen and W. Pearlman, “Steganalysis of additive-noise modelable information hiding,” in Proc. SPIE Security Watermarking Multimedia Contents, vol. 5020, pp. 131-142, 2003. [12] Z. Zhang and E. R. Hancock, "Hypergraph based information-theoretic feature selection," Pattern Recognition Letters, vol. 33, no. 15, pp. 1991-1999, 1 Nov. 2012. [13] P. Zhu, W. Zhu, Q. Hu, C. Zhang, and W. Zuo, "Subspace clustering guided unsupervised feature selection," Pattern Recognition, vol. 66, pp. 364-374, Jun. 2017. [14] H. Peng, F. Long, and C. Ding, "Feature selection based on mutual information criteria of max-dependency, max-relevance, and min-redundancy," IEEE Trans. Pattern Analysis and Machine Intelligence, vol. 27, no. 8, pp. 1226-1238, Aug. 2005. [15] M. Belkin and P. Niyogi, "Laplacian eigenmaps and spectral techniques for embedding and clustering," Proc. of the 14th Int. Conf. on Neural Information Processing Systems: Natural and Synthetic, NIPS'01, pp. 585-592, Vancouver, BC, Canada, 3-8 Dec. 2002. [16] J. Shi and J. Malik, "Normalized cuts and image segmentation," IEEE Trans. Pattern Anal. Machine Intell, vol. 22, no. 8, pp. 888-905, Aug. 2000. [17] F. Chung, "Spectral graph theory," in Regional Conf. Series in Mathematics American Mathematical Society, vol. 92, pp. 1-212, 1997. [18] Q. Gu, Z. Li, and J. Han, "Generalized fisher score for feature selection," in Proc. of the Int. Conf. on Uncertainty in Artificial Intelligence, pp. 266-273, Barcelona, Spain, 14-17 Jul. 2011. [19] X. He, D. Cai, and P. Niyogi1, "Laplacian score for feature selection," in Proc. of the 18th Int. Conf. on Neural Information Processing System, NIPS'05, pp. 507-514, Vancouver, BC, Canada, 5-8 Dec. 2005. [20] H. Cheng, W. Deng, C. Fu, Y. Wang, and Z. Qin, "Graph-based semi-supervised feature selection with application to automatic spam image identification," In: Yu Y., Yu Z., Zhao J. (eds) Computer Science for Environmental Engineering and EcoInformatics. CSEEE 2011. Communications in Computer and Information Science, vol. 159. Springer, Berlin, pp. 259-264, 2011. [21] Q. Song, J. Ni, and G. Wang, "A fast clustering-based feature subset selection algorithm for high-dimensional data," IEEE Trans. on Knowledge and Data Engineering, vol. 25, no. 1, pp. 1-14, Jan. 2013. [22] S. Bandyopadhyay, T. Bhadra, P. Mitra, and U. Maulik, "Integration of dense subgraph finding with feature clustering for unsupervised feature selection," Pattern Recognition Letters, vol. 40, pp. 104-112, 15 Apr. 2014. [23] S. Tabakhi and P. Moradi, "Relevance-redundancy feature selection based on ant colony optimization," Pattern Recognition, vol. 48, no. 9, pp. 2798-2811, Sept. 2015. [24] P. Moradi and M. Rostami, "A graph theoretic approach for unsupervised feature selection," Engineering Applications of Artificial Intelligence, vol. 44, pp. 33-45, Sept. 2015. [25] J. Che, Y. Yang, L. Li, X. Bai, S. Zhang, and C. Deng, "Maximum relevance minimum common redundancy feature selection for nonlinear data," Information Sciences, vol. 409-410, pp. 68-86, Oct. 2017. [26] M. Ghaemi and M. R. Feizi-Derakhshi, "Feature selection using forest optimization algorithm," Pattern Recognition, vol. 60, pp. 121-129, Dec. 2016. [27] A. K. Farahat, A. Ghodsi, and M. S. Kamel, "Efficient greedy feature selection for unsupervised learning," Knowledge and Information Systems, vol. 35, no. 2, pp. 285-310, May 2013. [28] A. J. Ferreira and M. A. T. Figueiredo, "An unsupervised approach to feature discretization and selection," Pattern Recognition, vol. 45, no. 9, pp. 3048-3060, Sept. 2012. [29] Q. Wu, J. K. Hao, and F. Glover, "Multi-neighborhood tabu search for the maximum weight clique problem," Ann Oper Res, vol. 196, no. 1, pp. 611-634, Jul. 2012. [30] U. Brandes, "On variants of shortest-path betweenness centrality and their generic computation," Social Networks, vol. 30, no. 2, pp. 136-145, May 2008. [31] M. Mandal and A. Mukhopadhyay, "Unsupervised non-redundant feature selection: a graph-theoretic approach," in Proc. of the Int. Conf. on Frontiers of Intelligent Computing: Theory and Applications, FICTA'13, pp. 373-380, 2013. [32] M. Hall, E. Frank, G. Holmes, B. Pfahringer, P. Reutemann, and I. Witten, The WEKA data mining software, Available from: <http://www.cs.waikato.ac.nz/ml/weka>. [33] J. H. J. Xiao, K. Ehinger, A. Oliva, and A. Torralba, "SUN database: large-scale scene recognition from abbey to zoo," in Proc. IEEE Conf. on Computer Vision and Pattern Recognition, pp. 3485 -3492, San Francisco, CA, USA , 13-18 Jun. 2010. [34] M. Friedman, "A comparison of alternative tests of significance for the problem of m rankings," Annals of Math. Statistics, vol. 11, no. 1, pp. 86-92, 1940.A. Mohammad NezhadM. Taghizadeh Firoozjaee420201931031810.66224/ijece.28434.16.4.310http://ijece.org/fa/Article/28434http://ijece.org/fa/Article/Download/28434http://ijece.org/fa/Article/Download/28434http://ijece.org/fa/Article/Download/28434http://ijece.org/fa/Article/Download/28434http://ijece.org/fa/Article/Download/28434http://ijece.org/fa/Article/Download/28434http://ijece.org/fa/Article/Download/28434[1] B. Parhami, Computer Arithmetic: Algorithms and Hardware Designs, 2nd Ed. New York, NY, USA: Oxford Univ. Press, 2010. [2] Z. Chen and I. Koren, "Techniques for yield enhancement of VLSI adders," in Proc. Int. Conf. Appl. Specific Array Process., pp. 222-229, Strasbourg, France, 24-26 Jul. 1995. [3] O. J. Bedrij, "Carry-select adder," IRE Trans. on Electronic Computers, vol. 11, no. 3, pp. 340-346, Jun. 1962. [4] M. A. Akbar and J. Lee, "Self-repairing adder using fault localization," Microelectronics Reliability, vol. 54, no. 6-7, pp. 1443-1451, Jun./Jul. 2014. [5] J. M. Rabaey, Digital Integrated Circuits-A Design Perspective, Prentice Hall Press, 2001. [6] Y. Kim and L. S. Kim, "64-bit carry-select adder with reduced area," Electronics Letters, vol. 37, no. 10, pp. 614-615, May 2001. [7] Y. He, C. H. Chang, and J. Gu, "An area-efficient 64-bit square root carry-select adder for low power application," in Proc. IEEE Int. Symp. Circuits and Systems, pp. 4082-4085, Kobe, Japan, 23-26 May 2005. [8] U. S. Kumar, K. K. M. Salih, and K. Sajith, "Design and implementation of carry select adder without using multiplexers," in Proc. Int. Conf. on Emerging Technology Trends in Electronics, Communication and Networking, 5 pp., Gujarat, India, 19-21 Dec. 2012. [9] B. Ramkumar and H. M. Kittur, "Low-power and area-efficient carry select adder," IEEE Trans. Very Large Scale Integration (VLSI) Systems, vol. 20, no. 2, pp. 371-375, Feb. 2012. [10] I. C. Wey, C. C. Ho, Y. S. Lin, and C. C. Peng, "An area-efficient carry select adder design by sharing the common Boolean logic term," in Proc. Int. Multiconference of Engineering and Computer Scientist, IMECS'12, vol. 2, pp. 1091-1094, Hong Kong, Hong Kong, 14-16 Mar. 2012. [11] S. Manju and V. Sornagopal, "An efficient SQRT architecture of carry select adder design by common Boolean logic," in Proc. IEEE Int. Conf. on Emerging Trends in VLSI, Embedded System, Nano Electronics and Telecommunication System, 5 pp., Tiruvannamalai, India, 7-9 Jan. 2013. [12] G. K. Reddy and D. S. B. Rao, "A comparative study on low-power and high speed carry select adder," in Proc. IEEE 9th Int. Conf. on Intelligent Systems and Control, ISCO'15, 7 pp., oimbatore, India, 9-10 Jan. 2015. [13] B. K. Mohanty and S. K. Patel, "Area-delay-power efficient carry-select adder," IEEE Trans. Circuits and Systems-II: Express Briefs, vol. 61, no. 6, pp. 418-422, Jun. 2014. [14] M. Bahadori, M. Kamal, A. Afzali-Kusha, and M. Pedram, "An energy and area efficient yet high-speed square-root carry select adder structure," Computers & Electrical Engineering, vol. 58, pp. 101-112, Feb. 2017. [15] N. H. E. Weste and K. Eshraghian, Principle of CMOS VLSI Design: A Systems Perspective, Pearson Education, 3rd Edition, 2005. [16] D. P. Vasudevan, P. K. Lala, and J. P. Parkerson, "Self-checking carry-select adder design based on two-rail encoding," IEEE Trans. Circuits and Systems I: Regular Papers, vol. 54, no. 12, pp. 2696-2705, Dec. 2007.Mir SamanTajbakhshJ.Bagherzadeh420201931932610.66224/ijece.28435.16.4.319http://ijece.org/fa/Article/28435http://ijece.org/fa/Article/Download/28435http://ijece.org/fa/Article/Download/28435http://ijece.org/fa/Article/Download/28435http://ijece.org/fa/Article/Download/28435http://ijece.org/fa/Article/Download/28435http://ijece.org/fa/Article/Download/28435http://ijece.org/fa/Article/Download/28435[1] N. Eltantawy and J. B. Wiest, "Social media in the Egyptian revolution: reconsidering resource mobilization theory," International J. of Communication, vol. 5, no. 1, 18 pp, 2011. [2] D. Laniado and P. Mika, "Making sense of twitter," in Proc. 9th Inte. Semantic Web Conf., ISWC'10, pp. 470-485, Shanghai, China, 7-10 Nov. 2010. [3] E. Otsuka, S. A. Wallace, and D. Chiu, "Design and evaluation of a twitter hashtag recommendation system," in Proc. of the 18th International Database Engineering & Applications Symposium, pp. 330-333, Yokohama, Japan, 7-9 Jul. 2014. [4] J. Hillebrand, Twitter Hashtag Analysis: Do People Really Use Them?, 08 Aug 2016, https://www.quintly.com/blog/2014/08/ twitter-hashtag-analysis/[Accessed 8 Aug. 2016]. [5] D. A. Melis and M. Saveski, "Topic modeling in twitter: aggregating tweets by conversations," in Proc. 10th Int. AAAI Conf. on Web and Social Media, ICWSM'16, pp. 519-522, Cologne, Germany, 17-20 May 2016. [6] R. Mehrotra, S. Sanner, W. Buntine, and L. Xie, "Improving LDA topic models for microblogs via automatic tweet labeling and pooling," in Proc. of 36th Annual ACM Special Interest Group on Information Retrieval Conf., SIGIR'13, pp. 889-892, Dublin, Ireland, 28 Jul.-1 Aug. 2013. [7] N. F. N. Rajani, K. McArdle, and J. Baldridge, "Extracting topics based on authors, recipients and content in microblogs," in Proc. of the 37th Int. ACM SIGIR Conf. on Research & Development in Information Retrieval, SIGIR'14, pp. 1171-1174, New York, NY, USA, 6-11 Jul. 2014. [8] F. Godin, V. Slavkovikj, W. De Neve, B. Schrauwen, and R. V. Walle, "Using topic models for twitter hashtag recommendation," in Proc. of the 22nd Int. Conf. on World Wide Web, WWW'13 Companion, pp. 593-596, New York, NY, USA, 13-17 May 2013. [9] Z. Ding, X. Huang, and Q. Zhang, "Automatic hashtag recommendation for microblogs using topic-specific translation model," in Proc. 24th Int. Conf. on Computational Linguistics COLING'12, pp. 265-274, Bombay, India, 11-16 Dec. 2012. [10] J. She and L. Chen, "TOMOHA: topic model-based hashtag recommendation on twitter," in Proc. of the 23rd Int. Conf. on World Wide Web, WWW'14 Companion, pp. 371-372, New York, NY, USA, 07-11 Apr. 2014. [11] Y. Gong, Q. Zhang, and X. Huang, "Hashtag recommendation using dirichlet process mixture models incorporating types of hashtags," inProc. of the Conf. on Empirical Methods in Natural Language Processing, pp. 401-410, Lisbon, Portugal, 17-21 Sept. 2015. [12] F. Ricci, L. Rokach, B. Sharpira, and P. B. Kantor, Recommender Systems Handbook, Springer, 2011. [13] D. Jannach, M. Zanker, A. Felfernig, and G. Fredrich, Recommender Systems: An Introduction, Cambridge University Press, Sep. 2010. [14] م. رجب‌زاده و ر. رافع، "ارائه یک سیستم توصیه‌گر ترکیبی برای تجارت الکترونیک،" مجله مهندسی برق دانشگاه تبریز، جلد ۴۵، شماره ۴، صص. ۸۵-۹۱، زمستان ۱۳۹۴. [15] M. S. Tajbakhsh and J. Bagherzadeh, "Microblogging hashtag recommendation system based on semantic TF-IDF: twitter use case," in Proc. 3rd International Symposium on Social Networks Analysis, Management and Security, SNAMS'16, pp. 252-257, Vienne, Austria, 22-24 Sept. 2016. [16] م. محسنی، م. ازوجی و ر. قادری، "قطعه‌بندی تصویر مبتنی بر برش نرمالیزه گراف از دیدگاه میزان اطلاعات جداکننده،" مجله مهندسی برق دانشگاه تبریز، جلد ۴۶، شماره ۱، صص. ۳۰۳-۳۱۰، بهار ۱۳۹۵. [17] D. M. Blei, A. Y. Ng, and M. I. Jordan, "Latent dirichlet allocation," J. of Machine Learning Research, vol. 3, no. 1, pp. 993-1022, Mar. 2003. [18] G. Casella and E. I. George, "Explaining the gibbs sampler," The American Statistician, vol. 46, no. 3, pp. 167-174, Dec. 1990. [19] E. Zangerle, W. Gassler, and G. Specht, "On the impact of text similarity functions on hashtag recommendations in microblogging environments," Social Network Analysis and Mining, vol. 3, no. 4, pp. 889-898, Dec. 2013. [20] R. Li, S. Wang, H. Deng, R. Wang, and K. C. Chang, "Towards social user profiling: unified and discriminative influence model for inferring home locations," in Proc. of the 18th ACM SIGKDD Inte. Conf. on Knowledge Discovery and Data Mining, pp. 1023-1031, Beijing, China, 12-16 Aug. 2012. [21] J. W. Perry, A. Kent, and M. M. Berry, "Machine literature searching X Machine language, factors underlying its design and development," American Documentation, vol. 6, no. 4, pp. 242-254, Oct. 1995.S. H.Sadeghzadehyassersedaghat420201932733410.66224/ijece.28436.16.4.327http://ijece.org/fa/Article/28436http://ijece.org/fa/Article/Download/28436http://ijece.org/fa/Article/Download/28436http://ijece.org/fa/Article/Download/28436http://ijece.org/fa/Article/Download/28436http://ijece.org/fa/Article/Download/28436http://ijece.org/fa/Article/Download/28436http://ijece.org/fa/Article/Download/28436[1] C. B. Watkins and R. Walter, "Transitioning from federated avionics architectures to integrated modular avionics," in Proc. IEEE/AIAA 26th Digital Avionics Systems Conf., DASC'07, 10 pp., Dallas, TX, USA, 21-25 Oct. 2007. [2] R. Ramaker, W. Krug, and W. Phebus, "Application of a civil integrated modular architecture to military transport aircraft," in Proc. IEEE/AIAA 26th Digital Avionics Systems Conf., DASC'07, 10 pp., Dallas, TX, USA, 21-25 Oct. 2007. [3] J. Chen, C. Du, and P. Han, "Scheduling independent partitions in integrated modular avionics systems," PloS one 11, 2016. [4] S. K. Baruah, V. Bonifaci, G. D. Angelo, H. Li, A. Marchettispaccamela, N. Megow, and L. Stougie, "Scheduling real-time mixed-criticality jobs," IEEE Trans. Comput., vol. 61, no. 8, pp. 1140-1152, Aug. 2012. [5] F. Santy, L. George, P. Thierry, and J. Goossens, "Relaxing mixed-criticality scheduling strictness for task sets scheduled with FP," Proc. 24th Euromicro Conf. on Real-Time Systems Real-Time Systems, ECRTS'12, pp. 155-165, Pisa, Italy, 11-13 Jul. 2012. [6] S. Baruah, V. Bonifaci, G. DAngelo, H. Li, A. Marchetti-Spaccamela, S. Van Der Ster, and L. Stougie, "The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems," in Proc. Euromicro Conf. on Real-Time Systems, ECRTS'12, pp. 145-154, Pisa, Italy, 11-13 Jul. 2012. [7] T. Park and S. Kim, "Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems," in Proc. Int. Conf. on Embedded Software, EMSOFT'11, pp. 253-262, Taipei, Taiwan, 9-14 Oct. 2011. [8] S. Baruah, H. Li, and L. Stougie, "Towards the design of certifiable mixed-criticality systems," in Proc. Real-Time and Embedded Technology and Applications Symp., RTAS'10, pp. 13-22, Stockholm, Sweden, 12-15 Apr. 2010 [9] S. Baruah and S. Vestal, "Schedulability analysis of sporadic tasks with multiple criticality specifications," in Proc. Euromicro Conf. on Real-Time Systems, ECRTS'08, pp. 147-155, Prague, Czech Republic, 2-4 Jul. 2008. [10] A. Taherin, M. Salehi, and A. Ejlali, "Stretch: exploiting service level degradation for energy management in mixed-criticality systems," in Proc. Real-Time and Embedded Systems and Technologies, RTEST'15, 8 pp., Tehran, Iran, 2-7 Oct. 2015. [11] S. Schreiner, K. Gruttner, S. Rosinger, and A. Rettberg, "Autonomous flight control meets custom payload processing: a mixed-critical avionics architecture approach for civilian UAVs," in Proc. IEEE 17th Int. Symp. on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC'14, pp. 348-357, Reno, NV, USA, 10-12 Jun. 2014. [12] J. Huang, et al., "Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems," in Proc. of the 9th IEEE Int. Conf. on Hardware/ Software Codesign and System Synthesis, CODES+ISSS'11, pp. 247-256, Taipei, Taiwan, 9-14 Oct. 2011. [13] Y. Zhang and K. Chakrabarty, "Dynamic adaptation for fault tolerance and power management in embedded real-time systems," ACM Trans. on Embedded Computing Systems, vol. 3, no. 2, pp. 336-360, May 2004. [14] P. Marwedel, Embedded System Design, Vol. 1, New York: Springer, 2006. [15] N. H. Weste and K. Eshraghian, Principles of CMOS VLSI Design: A Systems Perspective, 2nd Edition, Addision-Wesley Publishing, California, l994. [16] A. Ejlali, B. M. Al-Hashimi, and P. Eles, "Low-energy standby-sparing for hard real-time systems," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 31, no. 3, pp. 329-342, Mar. 2012. [17] D. Zhu, R. Melhem, and D. Mosse, "The effects of energy management on reliability in real-time embedded systems," in Proc. IEEE/ACM Int. Conf. on Computer-Aided Design, ICCAD'04, pp. 35-40, San Jose, CA, USA, 7-11 Nov.2004. [18] D. Zhu, "Reliability-aware dynamic energy management in dependable embedded real-time systems," in Proc. Real-Time and Embedded Technology and Applications Symp., pp. 397-407, San Jose, CA, USA, 4-7 Apr. 2006. [19] S. Hua, P. R. Pari, and G. Qu, "Dual-processor design of energy efficient fault-tolerant system," in Proc. IEEE 17th Int. Conf. on Application-specific Systems, Architectures and Processors, ASAP'06, pp. 42-54, Steamboat Springs, CO, USA, 11-13 Sept. 2006. [20] Y. Zhang and K. Chakrabarty, "Energy-aware adaptive checkpointing in embedded real-time systems," in Proc. of the Conf. on Design, Automation and Test in Europe, vol. 1, pp. 10918-10929, Munich, Germany, 7-7 Mar. 2003. [21] A. Ziv and J. Bruck, An Online Algorithm for Checkpointing Placement, 1995. [22] H. Lee, H. Shin, and S. L. Min, "Worst case timing requirement of real-time tasks with tim. on Real-Time Computing Systems and Applications. RTCSA'99, pp. 410-421, Hong Kong, China,13-15 Dec. 1999. [23] A. Duda, "The effects of checkpointing on program execution time," Information Processing Letters, vol. 16, no. 5, pp. 221-229, Jun. 1983. [24] D. Zhu and H. Aydin, "Energy management for real-time embedded systems with reliability requirements," in Proc. of the IEEE/ACM Inte. Conf. on Computer-Aided Design, ACM, pp. 528-534, San Jose, CA, USA, 5-9 Nov, 2008. [25] M. A. Haque, H. Aydin, and D. Zhu, "Energy-aware standby-sparing for fixed-priority real-time task sets," Sustainable Computing: Informatics and Systems, vol. 6, no. 16, pp. 81-93, Jun. 2015. [26] R. Davis and A. Wellings, "Dual priority scheduling," in Proc. 16th IEEE Real-Time Systems Symp., pp. 100-109, Pisa, Italy, 5-7 Dec. 1995. [27] P. Pillai and K. G. Shin, "Real-time dynamic voltage scaling for low-power embedded operating systems," ACM SIGOPS Operating Systems Review, vol. 35, no. 5, pp. 89-102, Dec. 2001. [28] X. Qi, D. Zhu, and H. Aydin, "Global scheduling based reliability-aware power management for multiprocessor real-time systems," Real-Time Systems, vol. 47, no. 2, pp. 109-142, Mar. 2011. [29] P. Huang, P. Kumar, G. Giannopoulou, and L. Thiele, "Energy efficient dvfs scheduling for mixed-criticality systems," in Proc. of the 14th Int. Conf. on Embedded Software, pp. 11-23, Jaypee Greens, India, 12-17 Oct. 2014. [30] V. Legout, J. Mathieu, and P. Laurent, "Mixed-criticality multiprocessor real-time systems: energy consumption vs deadline misses," in Proc. 1st Workshop on Real-Time Mixed Criticality Systems, ReTiMiCS'13, 6 pp., Taipei, Taiwan, Aug. 2013. [31] M. Volp, M. Hahnel, and A. Lackorzynski, "Has energy surpassed timeliness? scheduling energy-constrained mixed-criticality systems," Proc. IEEE 20th Real-Time and Embedded Technology and Applications Symp. RTAS'14, pp. 275-284, Berlin, Germany, 15-17 Apr. 2014. [32] H. Kopetz, "Real-time systems: design principles for distributed embedded applications," Springer Science & Business Media, 2011. [33] A. Burns and R. I. Davis, Mixed-Criticality Systems-A Review, Dep. Comput. Sci. Univ. York, Tech. Rep, pp. 1-61, 2016. [34] B. Zhao, A. Hakan, and D. Zhu, "Enhanced reliability-aware power management through shared recovery technique," in Proc. of the Inte. Conf. on Computer-Aided Design, pp. 63-70, New York, NY, USA, 2-5 Nov. 2009. [35] M. A. Haque, H. Aydin, and D. Zhu, "On reliability management of energy-aware real-time systems through task replication," IEEE Trans. on Parallel and Distributed Systems, vol. 28, no. 3, pp. 813-825, Mar. 2017. [36] V. Moghaddas, M. Fazeli, and A. Patooghy, "Reliability-oriented scheduling for static-priority real-time tasks in standby-sparing systems," Microprocessors and Microsystems, vol. 45, no. 1, pp. 208-215, Aug. 2016. [37] F. Zhang and A. Burns, "Schedulability analysis for real-time systems with EDF scheduling," IEEE Trans. on Computers, vol. 58, no. 9, pp. 1250-1258, Sept. 2009. [38] S. Pagani and J. J. Chen, "Energy efficient task partitioning based on the single frequency approximation scheme," in Proc. IEEE 34th Real-Time Systems Symp, RTSS'13, Vancouver, BC, Canada, 3-6 Dec. 2013. [39] L. Niu, "System-level energy-efficient scheduling for hard real-time embedded systems," in Proc. IEEE Design, Automation & Test in Europe Conf. & Exhibition, DATE'11, 4 pp., Grenoble, France, 14-18 Mar. 2011. [40] S. Narayana, P. Huang, G. Giannopoulou, L. Thiele, and R. V. Prasad, "Exploring energy saving for mixed-criticality systems on multi-cores," in Proc. IEEE Real-Time and Embedded Technology and Applications Symp, RTAS'16, 12 pp., Vienna, Austria, 11-14 Apr. 2016. [41] Z. Li, C. Guo, X. Hua, and S. Ren, "Reliability guaranteed energy minimization on mixed-criticality systems," J. Syst. Softw., vol. 112, no. 8, pp. 1-10, Feb. 2016.