Abstract
Stepwise refinement in system-level design corresponds to restructuring an internal structure of a system while preserving functions of the system. We are aiming to build the restructuring process based on refactoring techniques. In this paper, we describe a restructuring procedure to obtain a concrete specification description from an abstract one. Moreover, we describe some existing refactorings used in restructuring steps and a new refactoring for system-level design. We designed a simple internet-router as an example. As a result, we obtained a specification model defined in the SpecC methodology from an abstract one. Moreover, our proposal shows that our research opens a new application field of refactoring, refactoring can be applied sufficiently to system-level design, and the refactoring can be the basis of stepwise refinement.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Grötker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Publishers, Dordrecht (2002)
Gajski, D.D., Zhu, J., Dömer, R., Gerstlauer, A., Zhao, S.: SpecC: Specification Language and Methodology. Kluwer Academic Publishers, Dordrecht (2000)
Yamasaki, R., Kobayashi, K., Yoshida, N., Narazaki, S.: Application of Refactoring Techniques to Abstract System Level Design. IEICE/IPSJ Information Technology Letters 4 (September 2005)
Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring. Addison-Wesley, Reading (1999)
Pattern Weaver 1.0, Technologic Arts Inc. http://pw.tech-arts.co.jp/pw/index.html
VisualSpec 3.5, InterDesign Technologies Inc. http://www.interdesigntech.co.jp/english/
Riccobene, E., Scandurra, P., Rosti, A.: A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. In: Proc. of the Design, Automation and Test in Europe (DATE 2005), vol. 2, pp. 704–709 (March 2005)
Tan, W.H., Thiaggarajan, P.S., Wong, W.F., Zhu, Y., Pialakkat, S.K.: Synthesizable SystemC Code from UML Models. In: 41th Design Automation Conference (workshop UML for SoC Design) (2004)
Boulet, P., Dekeyser, J.-L., Dumoulin, C., Marquent, P.: MDA for SoC Embedded Systems Design, Intensive Signal Processing Experiment. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 20–24. Springer, Heidelberg (2003)
Mellor, S.J., Wolfe, J.R., McCausland, C.: Why System-on-Chip Needs More UML like a Hole in the Head. In: Proc. of the Design, Automation, and Test in Europe (DATE 2005), vol. 2, pp. 834–835 (2005)
Yoshida, N.: Transformational Derivation of Highly Parallel Programs. In: Proc. 3rd Int’l. Conf. Supercomputing, Boston, vol. 3, pp. 445–454 (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yamasaki, R., Kobayashi, K., Zakaria, N.A., Narazaki, S., Yoshida, N. (2006). Refactoring-Based Stepwise Refinement in Abstract System-Level Design. In: Sha, E., Han, SK., Xu, CZ., Kim, MH., Yang, L.T., Xiao, B. (eds) Embedded and Ubiquitous Computing. EUC 2006. Lecture Notes in Computer Science, vol 4096. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11802167_72
Download citation
DOI: https://doi.org/10.1007/11802167_72
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36679-9
Online ISBN: 978-3-540-36681-2
eBook Packages: Computer ScienceComputer Science (R0)