System-on-chip validation using UML and CWL

Zhu, Qiang; Oishi, Ryosuke; Hasegawa, Takashi; Nakata, Tsuneo

doi:10.1145/1016720.1016745

Cited by 22 publications

(12 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Zhu et al [2004], the authors propose a methodology using the UML for the specification and validation of SoC design. They define a flow, parallel to the implementation flow, which is focused on high-level requirements capture and validation approach to embedded software development is presented.…”

Section: Related Workmentioning

confidence: 99%

SystemC/C-based model-driven design for embedded systems

Riccobene

Scandurra

Bocchio

et al. 2009

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

This article summarizes our effort, since 2004 up to the present time, for improving the current industrial Systems-on-Chip and Embedded Systems design by joining the capabilities of the unified modeling language (UML) and SystemC/C programming languages to operate at system-level. The proposed approach exploits the OMG model-driven architecture-a framework for Model-driven Engineering-capabilities of reducing abstract, coarse-grained and platform-independent system models to fine-grained and platform-specific models. We first defined a design methodology and a development flow for the hardware, based on a SystemC UML profile and encompassing different levels of abstraction. We then included a multithread C UML profile for modelling software applications. Both SystemC/C profiles are consistent sets of modelling constructs designed to lift the programming features (both structural and behavioral) of the two coding languages to the UML modeling level. The new codesign flow is supported by an environment, which allows system modeling at higher abstraction levels (from a functional executable level to a register transfer level) and supports automatic code-generation/back-annotation from/to UML models.

show abstract

Section: Related Workmentioning

confidence: 99%

SystemC/C-based model-driven design for embedded systems

Riccobene

Scandurra

Bocchio

et al. 2009

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

show abstract

“…The authors of [28] propose a methodology using the UML for the specification and validation of SoC design. They define a flow, parallel to the implementation flow, which is focused on high-level specs capture and validation.…”

Section: Related Workmentioning

confidence: 99%

Model transformations in the UPES/UPSoC development process for embedded systems

Riccobene

Scandurra

2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

Model-based development (MBD) aims at combining modeling languages with model transformers and code generators. Modeling languages, like profiles of the Unified Modeling Language (UML), are increasingly being adopted for specific domains of interest to alleviate the complexity of platforms and express domain concepts effectively. Moreover, system development processes based on automatic model transformations are widely required to improve the productivity and quality of the developed systems. In this paper, we show how MBD principles and automatic model transformations provide the basis for the unified process for embedded systems (UPES) development process and its unified process for system-on-chip (SoC) (UPSoC) subprocess. They have been defined to foster in a systematic and seamless manner a model-based design methodology based on the UML2 and UML profiles for the C/SystemC programming languages, which we developed to improve the current industrial system design flow in the embedded systems and system-on-chip area.Keywords Model-based development (MBD) · Model transformations · Unified modeling language (UML) · SystemC · Embedded system design This work is supported in part by the project Model-driven methodologies and techniques for embedded systems design and analysis based on UML, Abstract State Machines, and SystemC at STMicroelectronics, AST R&I of Agrate

show abstract

“…In this case, the design at the system level becomes more and more significant but difficult. It is very important to sufficiently understand the requirements from users and avoid the possible ambiguities from the specification of the informal natural language in the preliminary stage of the design [6,7] . To avoid the risk of misunderstanding based on the natural language specification, UML is introduced to model the system.…”

Section: Introductionmentioning

confidence: 99%

Intelligent drug delivery system using UML diagrams analysis

Cui

Liu

Zha

2008

J. Shanghai Jiaotong Univ. (Sci.)

View full text Add to dashboard Cite

A novel intelligent drug delivery system potential for the more effective therapy of the diabetics was proposed, and the composition of system was analyzed. Based on the design of micro-electro-mechanical systems (MEMS), an iterative modeling process was introduced. Unified modeling language (UML) was employed to describe the function requirement, and different diagrams were built up to explore the static model, the dynamic model and the employment model. The mapping analysis of different diagrams can simply verify the consistency and completeness of the system model.

show abstract

System-on-chip validation using UML and CWL

Cited by 22 publications

References 4 publications

SystemC/C-based model-driven design for embedded systems

SystemC/C-based model-driven design for embedded systems

Model transformations in the UPES/UPSoC development process for embedded systems

Intelligent drug delivery system using UML diagrams analysis

Contact Info

Product

Resources

About