Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN

In the design of trustworthy software for real-time embedded systems, the interrupt mechanism plays an important role. Due to the randomness and non-determinism of interrupt handling behaviors, the performance evaluation of embedded software is an important but challenging problem. To solve this problem, we propose a performance model for embedded software based on extended deterministic and stochastic Petri nets (EDSPN), which is a semantic expansion of DSPN that add non-deterministic time transitions. In this manner, the performance model can effectively express interrupt handling behaviors, including random requests, responses according to priority, interrupt nesting, and non-deterministic execution times. In addition, we also provide a performance evaluation method for the EDSPN model based on Markov regenerative theory and demonstrate the analysis process via a specific example. Finally, we analyze the performance of embedded software, taking into account all types of the impact factors of interrupts through experimentation.

[1]  Feng Xia,et al.  ERGID: An efficient routing protocol for emergency response Internet of Things , 2016, J. Netw. Comput. Appl..

[2]  Kai-Yuan Cai,et al.  Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process , 2016, IEEE Transactions on Reliability.

[3]  Tie Qiu,et al.  A task-efficient sink node based on embedded multi-core SoC for Internet of Things , 2016, Future Gener. Comput. Syst..

[4]  Paul Le Guernic,et al.  Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony , 2015, Sci. Comput. Program..

[5]  Keijo Heljanko,et al.  A Symbolic Model Checking Approach to Verifying Satellite Onboard Software , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[6]  Cyrille Artho,et al.  Modular Software Model Checking for Distributed Systems , 2014, IEEE Transactions on Software Engineering.

[7]  Muthukrishnan Senthil Kumar,et al.  Performance analysis of an M/G/1 retrial queue with general retrial time, modified M-vacations and collision , 2017, Oper. Res..

[8]  Ali Harounabadi,et al.  An executable software architecture model for response time and reliability assessment , 2014 .

[9]  Nasser Mikaeilvand,et al.  Laplace transform formula on fuzzy nth-order derivative and its application in fuzzy ordinary differential equations , 2014, Soft Comput..

[10]  Poul E. Heegaard,et al.  Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation , 2015, J. Softw..

[11]  Ricardo J. Rodríguez,et al.  A Petri net tool for software performance estimation based on upper throughput bounds , 2017, Automated Software Engineering.

[12]  Keqiu Li,et al.  Heterogeneous ad hoc networks: Architectures, advances and challenges , 2017, Ad Hoc Networks.

[13]  Lionel C. Briand,et al.  Environment modeling and simulation for automated testing of soft real-time embedded software , 2013, Software & Systems Modeling.

[14]  Rovedy Aparecida Busquim e Silva,et al.  Formal Verification With Frama-C: A Case Study in the Space Software Domain , 2016, IEEE Transactions on Reliability.

[15]  Bao-Zhu Guo,et al.  Quasi-compactness and irreducibility of queueing models , 2015 .

[16]  John Keeney,et al.  Multilevel pattern mining architecture for automatic network monitoring in heterogeneous wireless communication networks , 2016, China Communications.

[17]  Susanna Donatelli,et al.  A component-based solution for reducible Markov regenerative processes , 2013, Perform. Evaluation.

[18]  Marilyn Wolf.  Embedded Software in Crisis , 2016, Computer.

[19]  Antonio Puliafito,et al.  Software Performance Analysis in UML Models , 2005, 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05).

[20]  Samuel Kounev,et al.  Parallel simulation of queueing petri nets , 2015, SimuTools.

[21]  José Merseguer,et al.  Transformation challenges: from software models to performance models , 2014, Software & Systems Modeling.

[22]  Fakhraddin Farjaminejad,et al.  Modeling and Evaluation of Performance and Reliability of Component-based Software Systems using Formal Models , 2014 .

[23]  Ana Maria Ambrosio,et al.  Contributions of model checking and CoFI methodology to the development of space embedded software , 2012, Empirical Software Engineering.

[24]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[25]  Altug Iftar,et al.  Overlapping decompositions and expansions of Petri nets , 2002, IEEE Trans. Autom. Control..

[26]  Furkan Comert,et al.  Attacking state space explosion problem in model checking embedded TV software , 2015, IEEE Transactions on Consumer Electronics.