Applying a Model-based Approach for Embedded System Development

Bunse, Christian; Groß, Hans-Gerhard; Peper, Christian

doi:10.1109/euromicro.2007.18

Cited by 35 publications

(12 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The MDD technique promises several advantages and superiority superseding the traditional ways of developing embedded systems. This is supported by studies conducted in [6], [7], [8], and [9].…”

Section: Related Workmentioning

confidence: 80%

An architecture for deploying model based testing in embedded systems

Iyenghar

Westerkamp

Wuebbelmann

et al. 2010

2010 Forum on Specification &Amp; Design Languages (FDL 2010)

View full text Add to dashboard Cite

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.

show abstract

Section: Related Workmentioning

confidence: 80%

An architecture for deploying model based testing in embedded systems

Iyenghar

Westerkamp

Wuebbelmann

et al. 2010

2010 Forum on Specification &Amp; Design Languages (FDL 2010)

View full text Add to dashboard Cite

show abstract

“…In this context, Model Driven Architecture (MDA) proposed by the OMG [2] promises several advantages and superiority superseding the traditional way of developing the embedded systems. This is supported by the studies conducted in [5] and [6]. The MDA model is related to multiple standards including the UML [2].…”

Section: Related Workmentioning

confidence: 97%

Model-Based Debugging of Embedded Software Systems

Iyenghar

Pulvermueller

Westerkamp³

et al. 2017

Embedded Software Verification and Debugging

View full text Add to dashboard Cite

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.

show abstract

“…Model-based development approaches proposed by several authors (such as in [5,6,7,8,9]) in the recent years, for embedded systems development, may be an appropriate approach in the development of GALS systems. Some authors, like in [10], proposed textual languages for GALS systems specification and verification, while others (such as in [11,12]) used graphical-based descriptions.…”

Section: Related Workmentioning

confidence: 99%

Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems

Moutinho

Gomes

2012

Technological Innovation for Value Creation

View full text Add to dashboard Cite

Abstract.A specific class of Petri nets was extended with AsynchronousChannels (ACs) and Time-Domains (TDs) to support Globally-Asynchronous Locally-Synchronous (GALS) systems' modeling, analysis and implementation. This non-autonomous class of Petri nets is targeted to support the development of automation and embedded systems using a model-based development approach. It benefits from a tool chain framework previously developed, covering the whole development flow, from specification to hardware and software deployment. With the extended Petri net class is possible to model GALS systems, and use the specification to generate the corresponding state space supporting the behavior verification and providing valuable information for implementation.

show abstract

Applying a Model-based Approach for Embedded System Development

Cited by 35 publications

References 17 publications

An architecture for deploying model based testing in embedded systems

An architecture for deploying model based testing in embedded systems

Model-Based Debugging of Embedded Software Systems

Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems

Contact Info

Product

Resources

About