research-article

Graphical model debugger framework for embedded systems

Authors:

Kebin Zeng,

Yu Guo,

Christo K. AngelovAuthors Info & Claims

DATE '10: Proceedings of the Conference on Design, Automation and Test in Europe

Pages 87 - 92

Published: 08 March 2010 Publication History

Get Access

Abstract

Model Driven Software Development has offered a faster way to design and implement embedded real-time software by moving the design to a model level, and by transforming models to code. However, the testing of embedded systems has remained at the code level. This paper presents a Graphical Model Debugger Framework, providing an auxiliary avenue of analysis of system models at runtime by executing generated code and updating models synchronously, which allows embedded developers to focus on the model level. With the model debugger, embedded developers can graphically test their design model and check the running status of the system, which offers a debugging capability on a higher level of abstraction. The framework intends to contribute a tool to the Eclipse society, especially suitable for model-driven development of embedded systems.

References

[1]

Object Management Group: MDA Guide, Version 1.0.1, 2003

Google Scholar

[2]

Object Management Group: Meta Object Facility (MOF) Core Specification, Version 2.0, 2006

Google Scholar

[3]

C. Angelov, X. Ke and K. Sierszecki: A Component-Based Framework for Distributed Control Systems. Proc. of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications SEAA'06, Cavtat, Dubrovnik, 2006, pp. 20--27

Digital Library

Google Scholar

[4]

Y. Guo, K. Sierszecki and C. Angelov: COMDES Development Toolset. Proc. of the 5th International Workshop on Formal Aspects of Component Software FACS 2008, Malaga, Spain, Sept. 2008

Google Scholar

[5]

Be Van Ngo, Peter Law, and Anthony Sparks: Use of JTAG Boundary-Scan for Testing Electronic Circuit Boards and Systems. AUTOTESTCON, 2008 IEEE, Sept. 2008, pp. 17--22

Google Scholar

[6]

James P. Lynch: Using Open Source Tools for AT91SAM7S Cross Development, Revision C. AT91SAM 32-bit ARM-based Microcontrollers - Application Notes, May 2007, http://www.atmel.com

Google Scholar

[7]

P. Graf, M. Hubner, K. D. Muller-Glaser and J. Becker: A Graphical Model-Level Debugger for Heterogeneous Reconfigurable Architectures. In Field Programmable Logic and Applications, 2007. FPL 2007. International Conference on, 2007

Crossref

Google Scholar

[8]

T. Stahl, M. Volter, J. Bettin, A. Haase, S. Helsen and K. Czarnecki: Foreword to Model-Driven Software Development: Technology, Engineering, Management, ISBN:978-0-470-02570-3, Wiley, 2006

Digital Library

Google Scholar

[9]

The Free LabVIEW Information Resource: LabVIEW Wiki, http://labviewwiki.org

Google Scholar

[10]

A. Zeller and D. Ltitkehaus: DDD - A Free Graphical Front-End for UNIX Debuggers. In: ACM SIGPLAN Notices, vol. 31, No. 1, pp. 22--27. ISSN: 0362--1340, 1996

Digital Library

Google Scholar

[11]

Farhad Arbab, Christian Koehler, Ziyan Maraikar, Young-Joo Moon, José Proen&ccirc;a: Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools. Proc. of the 5th International Workshop on Formal Aspects of Component Software FACS 2008, Malaga, Spain, Sept. 2008

Google Scholar

[12]

IBM Model Driven Engineering Technology, IBM Haifa Labs: UML Model Debugger, http://www.haifa.ibm.com

Google Scholar

[13]

Y. Guo: Software Engineering Environment for Component-Based Design of Embedded Software. Ph.D. Thesis, University of Southern Denmark, Soenderborg, Denmark, 2009

Google Scholar

[14]

C. Angelov, K. Sierszecki and Y. Guo: Formal Design Models for Distributed Embedded Control Systems. Proc. of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ACES-MB 2009, Denver, Colorado, USA, Oct. 2009, pp. 43--57

Google Scholar

Cited By

View all

Szvetits MZdun U(2018)A Pattern Language for Manual Analysis of Runtime Events Using Design ModelsProceedings of the 23rd European Conference on Pattern Languages of Programs10.1145/3282308.3282324(1-24)Online publication date: 4-Jul-2018
https://dl.acm.org/doi/10.1145/3282308.3282324
Szvetits MZdun U(2018)Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtimeSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0394-915:1(31-69)Online publication date: 21-Dec-2018
https://dl.acm.org/doi/10.1007/s10270-013-0394-9
Djukić VPopović ALu ZTolvanen JGray JRossi MSprinkle J(2016)Run-time code generators for model-level debugging in domain-specific modelingProceedings of the International Workshop on Domain-Specific Modeling10.1145/3023147.3023148(1-7)Online publication date: 30-Oct-2016
https://dl.acm.org/doi/10.1145/3023147.3023148

Recommendations

Model-level, platform-independent debugging in the context of the model-driven development of real-time systems
ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering

Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We ...
Model driven development for embedded systems
SEPADS'10: Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems

It is important for developing enterprise systems to fully analyze at an early stage the business workflows that describe interactions involving systems and their users. This is also important when developing embedded systems, which consist of various ...
Several outlines on model-driven approach for testing of embedded systems

Several outlines on model-driven approach for testing of embedded systemsThis paper is devoted to model-driven testing approaches in the context of embedded systems. The article discusses specifics of the embedded systems as well as specific testing ...

Comments

Information & Contributors

Information

Published In

DATE '10: Proceedings of the Conference on Design, Automation and Test in Europe

March 2010

1868 pages

ISBN:9783981080162

General Chairs:
Giovanni De Micheli
EPF Lausanne, CH
,
Bashir Al-Hashimi
University of Southampton, UK
,
Program Chairs:
Wolfgang Mueller
University of Paderborn, SE
,
Enrico Macii
Politecnico di Torino, IT

Publisher

European Design and Automation Association

Leuven, Belgium

Publication History

Published: 08 March 2010

Check for updates

Author Tags

Qualifiers

Research-article

Conference

DATE '10

Sponsor:

EDAA
EDAC
SIGDA
The Russian Academy of Sciences

DATE '10: Design, Automation and Test in Europe

March 8 - 12, 2010

Germany, Dresden

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
124
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Szvetits MZdun U(2018)A Pattern Language for Manual Analysis of Runtime Events Using Design ModelsProceedings of the 23rd European Conference on Pattern Languages of Programs10.1145/3282308.3282324(1-24)Online publication date: 4-Jul-2018
https://dl.acm.org/doi/10.1145/3282308.3282324
Szvetits MZdun U(2018)Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtimeSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0394-915:1(31-69)Online publication date: 21-Dec-2018
https://dl.acm.org/doi/10.1007/s10270-013-0394-9
Djukić VPopović ALu ZTolvanen JGray JRossi MSprinkle J(2016)Run-time code generators for model-level debugging in domain-specific modelingProceedings of the International Workshop on Domain-Specific Modeling10.1145/3023147.3023148(1-7)Online publication date: 30-Oct-2016
https://dl.acm.org/doi/10.1145/3023147.3023148

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Model-level, platform-independent debugging in the context of the model-driven development of real-time systems

Model driven development for embedded systems

Several outlines on model-driven approach for testing of embedded systems

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Recommendations

Model-level, platform-independent debugging in the context of the model-driven development of real-time systems

Model driven development for embedded systems

Several outlines on model-driven approach for testing of embedded systems

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations