No abstract

Abstract-Model Driven Development (MDD) has been slowly superseding traditional ways of developing embedded software in the recent decade. In line with the MDD, debugging Real-Time Embedded Software Systems (RTESS) and visualizing their behavior using models such as UML diagrams is becoming a reality. However, the existing MDD based debugging tools for RTESS are not applicable (require significant source code instrumentation, sophisticated debug interfaces, etc) for memorysize constrained RTESS. To address this, we discuss a modelbased debugging methodology for RTESS which aims at overcoming the aforementioned limitations. Using our approach, the target behavior can be visualized in real-time using UML sequence and timing diagrams. We illustrate our approach with a prototype and examples. Performance metrics such as the target monitor size and the instrumentation overhead are discussed.

There have been several model based approaches used in the recent past for alleviating complexity in design, development and test case generation for real-time embedded software systems. However, deploying/executing these test cases in the embedded target without affecting the real-time behavior of the system still remains a challenging and unanswered question. To address this, we propose a novel architecture to perform an integrated model based testing for embedded systems. We introduce a holistic model based design, development and testing approach with the aid of a monitor and target debugger solution for real-time embedded systems. Our proposed approach eliminates the need for dynamic source code instrumentation inserted into the target to execute the software test routines. This will result in preserving the real-time behavior which is a boon especially for real-time critical and code size constrained embedded systems. We illustrate our proposed approach with a prototype and an example.

No abstract

The increasing complexity and wide applicability of Real-Time Embedded Systems (RTES) necessitates use of advanced and automated development and testing methodologies to meet time-to-market constraints, quality assurance and safety standards. In this context, the applicability of Model Driven Development (MDD) and Model-Based Testing (MBT) methodologies for RTES have been gaining attention in the recent decade. MBT approaches, in general, helps in automatically generating test cases using models extracted from software artifacts. However, currently none of the existing MBT approaches deal with generating test artifacts for executing and verifying these test cases in memory size constrained and codesize critical RTES. To address this, an integrated MBT approach for executing the test stimuli in the RTES (without dynamic source code instrumentation) is discussed in this paper. A prototype implementation is discussed followed by an experimental evaluation of this approach for an RTES example. Finally, this paper presents a perspective on the applicability of model-based approach for industrial RTES projects.