ESIDE: An Integrated Development Environment for Component-Based Embedded Systems

Pilkington, Nicholas T.; Li, Juncao; Xie, Fei

doi:10.1109/compsac.2009.48

Cited by 4 publications

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To assess the applicability of our MDE process and toolset to testbench development we conducted four case studies involving the re-design and re-implementation of sample industry testbenches [Pilkington et al 2009]. It was our view that testbenches from industry were the best representation of the state of practice and, therefore, the best base line against which to measure our approach.…”

Section: Discussionmentioning

confidence: 99%

Model-driven automation for simulation-based functional verification

Linehan

O'Toole

Clarke

2012

ACM Trans. Des. Autom. Electron. Syst.

View full text Add to dashboard Cite

Developing testbenches for dynamic functional verification of hardware designs is a software intensive process that lies on the critical path of electronic system design. The increasing capabilities of electronic components is contributing to the construction of complex verification environments that are increasingly difficult to understand, maintain, extend and reuse across projects. Modeldriven software engineering addresses issues of complexity, productivity and code quality through the use of high-level system models and subsequent automatic transformations. Reasoning about verification testbench decomposition becomes simpler at higher levels of abstraction. In particular, the aspect-oriented paradigm, when applied at the model level can minimize the overlap in functionality between modules, improving maintainability and reusability. This paper presents an aspect-oriented model-driven engineering process and toolset for the development of hardware verification testbenches. We illustrate how this process and toolset supports modularized design and automatic transformation to verification environment-specific models and source code through an industry case study.

show abstract

Section: Discussionmentioning

confidence: 99%

Model-driven automation for simulation-based functional verification

Linehan

O'Toole

Clarke

2012

ACM Trans. Des. Autom. Electron. Syst.

View full text Add to dashboard Cite

show abstract

“…The method is planned for completing the needs of critical system design [18]. The authors present ESIDE [19], an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilitate efficient, scalable, and robust hardware/software co-design, co-simulation, co-verification, and their seamless integration.…”

Section: Introductionmentioning

confidence: 99%