skip to main content
10.1145/1879021.1879031acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
research-article

A model based approach for debugging embedded systems in real-time

Published: 24 October 2010 Publication History

Abstract

Model driven design and development of real-time embedded systems has been gaining a lot of attention in the recent past. It is imperative for a hard real-time embedded system to execute and respond to sequenced exchanges of messages under critical temporal constraints. The UML provides artifacts such as communication diagrams, sequence diagrams and timing diagrams to aid software engineers to model and precisely document such a schedule of interactions or state changes at the design level. While modeling at the design level is interesting on one hand, it is also significant to understand the run time behavior of the embedded software. A step forward in this direction is to provide a real-time representation of the target system behavior on the host side. We propose an approach to realize a target debugger on the host side with a monitor solution in the target side. With the back annotated information from the target, a visual representation of the system behavior in real-time is now available at the design level. This way, a debugging solution in real-time is provided, thus taking a step forward towards understanding the behavior of the embedded software at hand. We illustrate our proposed approach with a prototype and examples.

References

[1]
Altova U-MODEL UML tool. http://www.altova.com/umodel.html, July 2010.
[2]
J. Axelson. Serial Port Complete: COM Ports, USB Virtual COM Ports, and Ports for Embedded Systems. Lakeview Research, 2nd edition, 2007.
[3]
P. Baker, Z. Dai, J. Grabowski, O. Haugen, I. Schieferdecker, and C. Williams. Model-Driven Testing: Using the UML Testing Profile. Springer-Verlag, New York, USA, 2007.
[4]
C. Bunse, H.-G. Gross, and C. Peper. Applying a model-based approach for embedded system development. In 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, pages 121--128, August 2007.
[5]
J. Catsoulis. Designing Embedded Hardware. O'Reilly Media, Inc., 2005.
[6]
S. Demathieu, F. Thomas, C. Andre, S. Gerard, and F. Terrier. First experiments using the UML profile for MARTE. In 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pages 50--57, May 2008.
[7]
D. M. Huber. The MIDI Manual: A practical guide to MIDI in the project studio. Focal Press, 3rd edition, 2008.
[8]
B. P. Douglass. Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition). Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA, 2004.
[9]
B. P. Douglass. Real Time UML Workshop for Embedded Systems (Embedded Technology). Newnes, 2006.
[10]
D. Dymek and L. Kotulski. Estimation of system workload time characteristic using UML timing diagrams. In Third International Conference on Dependability of Computer Systems, DepCos-RELCOMEX, pages 9--14, June 2008.
[11]
H. Gomaa. Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000.
[12]
G. P. Gu and D. C. Petriu. Early evaluation of software performance based on the UML performance profile. In CASCON '03: Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research, pages 66--79. IBM Press, 2003.
[13]
T. Harmon and R. Klefstad. Interactive back-annotation of worst-case execution time analysis for Java microprocessors. In 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2007., pages 209--216, August 2007.
[14]
IBM Rational Rhapsody Developer,version 7.5.1. http://www.ibm.com/software/awdtools/rhapsody/, July 2010.
[15]
IBM Rational Rose Technical Developer. http://www.ibm.com/developerworks/rational/, July 2010.
[16]
J. Blanchette and M. Summerfield. C++ GUI Programming with QT 4. Prentice Hall, 2nd edition, 2008.
[17]
Y. Jiao, K. Zhu, Q. Yu, and B. Wu. Towards Model-Driven Methodology: a Novel Testing Approach for Collaborative Embedded System Design. In 10thInternational Conference on Computer Supported Cooperative Work in Design,CSCWD '06., pages 1--5, May 2006.
[18]
G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proceedings of the IEEE, 91(1):145--164, January 2003.
[19]
H. Kashif, M. Mostafa, H. Shokry, and S. Hammad. Model-based embedded software development flow. In 4th International Design and Test Workshop (IDT), pages 1--4, November 2009.
[20]
Keil embedded development tools. http://www.keil.com/, July 2010.
[21]
S. Konrad, L. Campbell, and B. Cheng. Automated analysis of timing information in UML diagrams. In 19th International Conference on Automated Software Engineering, 2004. Proceedings., pages 350--357, September 2004.
[22]
Lauterbach TRACE-32 debug interface. http://www.lauterbach.com/, July 2010.
[23]
L. Lavagno, G. Martin, and B. Selic. UML for real: design of embedded real-time systems. Kluwer Academic Publishers, Norwell, MA, USA, 2003.
[24]
M. Mura, L. Murillo, and M. Prevostini. Model-based design space exploration for RTES with SysML and MARTE. In Forum on Specification, Verification and Design Languages, 2008. FDL 2008., pages 203--208, September 2008.
[25]
Object Management Group. http://www.omg.org, July 2010.
[26]
A. Pulka and A. Milik. VEST - an intelligent tool for timing SoCs verification using UML timing diagrams. In Forum on Specification, Verification and Design Languages, 2008. FDL 2008., pages 118--123, September 2008.
[27]
U. J. Sang, H. Jang Eui, and B. Doo Hwan. Interaction-based behavior modeling of embedded software using UML 2.0. In Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, 2006. ISORC 2006., page 5 pp., April 2006.
[28]
C. Shih, C. T. Wu, C. Y. Lin, P. A. Hsiung, N. L. Hsueh, C. H. Chang, C. S. Koong, and W. Chu. A model-driven multicore software development environment for embedded system. In 33rd Annual IEEE International Computer Software and Applications Conference, 2009. COMPSAC '09., volume 2, pages 261--268, July 2009.
[29]
Visual paradigm UML Tool. http://www.visual-paradigm.com/product/vpuml/, July 2010.
[30]
T. Westerlund, J. Paakkulainen, and J. Plosila. Back-annotation of timing information into a formal hardware model: a case study. In Signals, Circuits and Systems, 2005. ISSCS 2005. International Symposium on, volume 2, pages 625--628, July 2005.

Cited By

View all
  • (2023)An Efficient DSP Simulator Design Supporting Multi-Core Debugging2023 IEEE 23rd International Conference on Communication Technology (ICCT)10.1109/ICCT59356.2023.10419585(90-95)Online publication date: 20-Oct-2023
  • (2022)Execution of Partial State Machine ModelsIEEE Transactions on Software Engineering10.1109/TSE.2020.300885048:3(951-972)Online publication date: 1-Mar-2022
  • (2020)Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven developmentProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410939(285-296)Online publication date: 16-Oct-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
EMSOFT '10: Proceedings of the tenth ACM international conference on Embedded software
October 2010
318 pages
ISBN:9781605589046
DOI:10.1145/1879021
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

  • CEDA
  • IEEE CAS
  • IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 October 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. debugging
  2. model driven development
  3. real-time embedded systems
  4. sequence diagram
  5. timing diagram
  6. uml

Qualifiers

  • Research-article

Conference

ESWeek '10
ESWeek '10: Sixth Embedded Systems Week
October 24 - 29, 2010
Arizona, Scottsdale, USA

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)11
  • Downloads (Last 6 weeks)1
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)An Efficient DSP Simulator Design Supporting Multi-Core Debugging2023 IEEE 23rd International Conference on Communication Technology (ICCT)10.1109/ICCT59356.2023.10419585(90-95)Online publication date: 20-Oct-2023
  • (2022)Execution of Partial State Machine ModelsIEEE Transactions on Software Engineering10.1109/TSE.2020.300885048:3(951-972)Online publication date: 1-Mar-2022
  • (2020)Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven developmentProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410939(285-296)Online publication date: 16-Oct-2020
  • (2020)Live modeling in the context of state machine models and code generationSoftware and Systems Modeling10.1007/s10270-020-00829-yOnline publication date: 2-Nov-2020
  • (2018)MDebuggerProceedings of the 40th International Conference on Software Engineering: Companion Proceeedings10.1145/3183440.3183473(97-100)Online publication date: 27-May-2018
  • (2018)A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systemsSoftware Quality Journal10.1007/s11219-016-9323-925:3(671-701)Online publication date: 24-Dec-2018
  • (2017)Model-level, platform-independent debugging in the context of the model-driven development of real-time systemsProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106278(419-430)Online publication date: 21-Aug-2017
  • (2017)Model-Based Debugging of Embedded Software SystemsEmbedded Software Verification and Debugging10.1007/978-1-4614-2266-2_5(107-132)Online publication date: 19-Apr-2017
  • (2015)Instrumentation and preservation of extra-functional properties of simulink modelsProceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium10.5555/2872965.2872972(47-54)Online publication date: 12-Apr-2015
  • (2013)Model-Based Test Case Generation by Reusing Models From Runtime Monitoring of Deeply Embedded SystemsIEEE Embedded Systems Letters10.1109/LES.2013.22645025:3(38-41)Online publication date: Sep-2013
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media