Abstract
The complexity of embedded applications is growing rapidly. Mainstream software technology is facing serious challenges for leaving out non-functional aspects of embedded systems. To achieve this goal, we have defined a component-based modeling and assembly infrastructure, Pcanel, that supports hierarchical integration of concurrent, runtime models. A key principal in Pcanel is its netlist, namely component connection network. Pcanel advocates netlist as global view of a systemic design, where the basic building block is component. The functionality of embedded system is modeled as netlist. The communication among components is modeled as token flow. The distribution of functionality on netlist is transparent from the runtime models, which makes communication refinement easier. When applied formal models to components, the resulting runtime netlist maintains assurance of diversified non-functional aspects, such as timing and deadlock. The infrastructure advances the synergy between design-time models and runtime models.
This work was supported in part by the Hi-Tech Research and Development Program of China (863 Program) under Component-based Embedded Operating System and Developing Environment (No.2004AA1Z2050), and Embedded Software Platform for Ethernet Switch (No. 2003AA1Z2160); In part by the Science and Technology Program of Zhejiang province under Novel Distributed and Real-time Embedded Software Platform (No. 2004C21059).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects. IEEE Transactions on Software Engineering (1997)
Lee, E.A.: Overview of the Ptolemy Project. Technical Memorandum UCB/ERL M03/25, University of California, Berkeley, Berkeley, July 2 (2003)
Cheong, E., Liebman, J., Liu, J., Zhao, F.: TinyGALS: A programming model for eventdriven embedded systems. In: Proceedings of the Eighteenth Annual ACM Symposium on Applied Computing (2003)
Garcia, E., Gonzalez, P., Canudas de Wit, C.: Velocity dependence in the cyclic friction arising with gears. International Journal of Robotics Research 21(9), 761–771 (2002)
Astrom, K., Furuta, K.: Swinging up a pendulum by energy control. IFAC 13th World Congress, San Francisco (1996)
Shaw, M., Garlan, D.: Software Architecture - Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)
Clements, P.C.: A survey of architecture description languages. In: International Workshop on Software Specification and Design (1996)
van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The koala component model for consumer electronics software. IEEE Computer (2000)
Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)
Henzinger, T.A., Kirsch, C.M., Sanvido, M.A., Pree, W.: From control models to real-time code using Giotto. IEEE Control Systems Magazine (2003)
Xie, C., Chen, W., Shi, J.: Pcanel: A Model Driven Component Framework. In: IEEE Conference on Systems, Man and Cybernetics (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Xie, C., Chen, W., Shi, J., Ye, L.ü. (2005). Hierarchical Integration of Runtime Models. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds) Embedded Software and Systems. ICESS 2004. Lecture Notes in Computer Science, vol 3605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11535409_86
Download citation
DOI: https://doi.org/10.1007/11535409_86
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28128-3
Online ISBN: 978-3-540-31823-1
eBook Packages: Computer ScienceComputer Science (R0)