Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN

IEEE Access

Volumn 5, Issue , 2017, Pages 5178-5189

  Hou, Gang ^a   Zhou, Kuanjiu ^a   Qiu, Tie ^a   Kong, Weiqiang ^a   Li, Mingchu ^a  

^a DALIAN UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

embedded software; interrupt handling behaviors; Markov regenerative theory; Performance evaluation

Indexed keywords

EMBEDDED SOFTWARE; PETRI NETS; REAL TIME SYSTEMS; SEMANTICS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

DETERMINISTIC AND STOCHASTIC PETRI NETS; DETERMINISTIC EXECUTION; INTERRUPT HANDLING; MARKOV REGENERATIVE THEORY; NON-DETERMINISTIC TIME; PERFORMANCE EVALUATION; REAL-TIME EMBEDDED SYSTEMS; TRUSTWORTHY SOFTWARES;

EMBEDDED SYSTEMS;

EID: 85028004579     PISSN: None     EISSN: 21693536     Source Type: Journal    
DOI: 10.1109/ACCESS.2017.2689801     Document Type: Article

References (29)

1. R. P. Pontes and P. C. Véras, A. M. Ambrosio, and E. Villani, "Contributions of model checking and cofi methodology to the development of space embedded software, " Empirical Softw. Eng., vol. 19, no. 1, pp. 39-68, 2014.
2. L. Besnard et al., "Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony, " Sci. Comput. Program., vol. 106, pp. 54-77, Aug. 2014.
3. M. Wolf, "Embedded software in crisis, " Computer, vol. 49, no. 1, pp. 88-90, 2016.
4. M. Z. Iqbal, A. Arcuri, and L. Briand, "Environment modeling and simulation for automated testing of soft real time embedded software, " Softw. Syst. Model., vol. 14, no. 1, pp. 483-524, 2015.
5. F. Comert and T. Ovatman, "Attacking state space explosion problem in model checking embedded TV software, " IEEE Trans. Consum. Electron., vol. 61, no. 4, pp. 572-579, Nov. 2015.
6. X. Gan, J. Dubrovin, and K. Heljanko, "A symbolic model checking approach to verifying satellite onboard software, " Sci. Comput. Program., vol. 82, pp. 44-55, Mar. 2014.
7. R. A. B. E. Silva, N. N. Arai, L. A. Burgareli, and J. M. P. D. Oliveira, "Formal verification with frama-C: A case study in the space software domain, " IEEE Trans. Rel., vol. 65, no. 3, pp. 1163-1179, Sep. 2016.
8. G. J. Holzmann, "The model checker SPIN, " IEEE Trans. Softw. Eng., vol. 23, no. 5, pp. 124-128, May 1997.
9. W. Leungwattanakit, C. Artho, M. Hagiya, Y. Tanabe, M. Yamamoto, and K. Takahashi, "Modular software model checking for distributed systems, " IEEE Trans. Softw. Eng., vol. 40, no. 5, pp. 483-501, May 2014.
10. T. Qiu, Y. Lv, F. Xia, N. Chen, J. Wan, and A. Tolba, "An efficient routing protocol for emergency response Internet of Things, " J. Netw. Comput. Appl., vol. 72, no. 9, pp. 104-112, 2016.
11. Z. Qu, J. Keeney, S. Robitzsch, F. Zaman, and X. Wang, "Multilevel pattern mining architecture for automatic network monitoring in heterogeneous wireless communication networks, " China Commun., vol. 13, no. 7, pp. 108-116, 2016.
12. T. Qiu, N. Chen, K. Li, D. Qiao, and Z. Fu, "Heterogeneous ad hoc networks: Architectures, advances and challenges, " Ad Hoc Netw., vol. 55, pp. 143-152, Feb. 2017.
13. T. Qiu, A. Zhao, R. Ma, V. Chang, F. Liu, and Z. Fu, "A task-efficient sink node based on embedded multi-core soC for Internet of Things, " Future Generat. Comput. Syst., to be published. [Online]. Available: http://doi. org/10. 1016/j. future. 2016. 12. 024
14. G. Ning et al., "Optimization of two-granularity software rejuvenation policy based on the Markov regenerative process, " IEEE Trans. Rel., vol. 65, no. 4, pp. 1630-1646, Dec. 2016.
15. E. G. Amparore and S. Donatelli, "A component based solution for reducible Markov regenerative processes, " Perform. Eval., vol. 70, no. 6, pp. 400-422, 2013.
16. C. U. Smith and L. G. Williams, Software Performance Engineering. Boston, MA, USA: Springer, 2003, pp. 343-365.
17. S. Distefano, M. Scarpa, and A. Pulia-to, "Software performance analysis in UML models, " in Proc. Workshop Techn., Methodol. Tools Perform. Eval. Complex Syst., 2005, pp. 115-125.
18. R. H. Khan and P. E. Heegaard, "Software performance evaluation utilizing UML specification and SRN model and their formal representation, " J. Softw., vol. 10, no. 5, pp. 499-523, 2015.
19. R. J. Rodríguez, "A Petri net tool for software performance estimation based on upper throughput bounds, " Autom. Softw. Eng., vol. 23, no. 1, pp. 73-99, 2017.
20. Z. Norouzi and A. Harounabadi, "An executable software architecture model for response time and reliability assessment, " Manage. Sci. Lett., vol. 4, no. 9, pp. 2011-2020, 2014.
21. H. Reza and A. Chatterjee, "Mapping AADL to Petri net tool-sets using PNML framework, " J. Softw. Eng. Appl., vol. 7, no. 11, pp. 920-933, 2014.
22. F. Farjaminejad, A. Harounabadi, S. J. Mirabedini, F. Farjaminejad, A. Harounabadi, and S. J. Mirabedini, "Modeling and evaluation of performance and reliability of component based software systems using formal models, " Int. J. Comput. Appl. Technol. Res., vol. 3, no. 1, pp. 73-78, 2014.
23. J. Walter, S. Spinner, and S. Kounev, "Parallel simulation of queueing Petri nets, " in Proc. Int. Conf. Simulation Tools Techn., 2015, pp. 109-118.
24. M. Woodside, D. C. Petriu, and J. Merseguer, "Transformation challenges: From software models to performance models, " Softw. Syst. Model., vol. 13, no. 4, pp. 1529-1552, 2014.
25. V. Jailaxmi, R. Arumuganathan, and M. S. Kumar, "Performance analysis of an m/g/1 retrial queue with general retrial time, modified mfivacations and collision, " Oper. Res., pp. 1-19, 2016.
26. F. Zheng and B. Z. Guo, "Quasificompactness and irreducibility of queueing models, " Semigroup Forum, vol. 91, no. 3, pp. 560-572, 2015.
27. A. Aybar and A. Iftar, "Overlapping decompositions and expansions of Petri nets, " IEEE Trans. Autom. Control, vol. 47, no. 3, pp. 511-515, Mar. 2002.
28. M. B. Ahmadi, N. A. Kiani, and N. Mikaeilvand, "Laplace transform formula on fuzzy NTH order derivative and its application in fuzzy ordinary differential equations, " Soft Comput., vol. 18, no. 12, pp. 2461-2469, 2014.
29. A. Bobbio, "Transient analysis of a preemptive resume M/D/l/2/2 through Petri nets, " Periodica Polytech., vol. 41, no. 2, pp. 123-146, 2001.