Modeling heterogeneous real-time components in BIP

Proceedings - 4th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006

Volumn , Issue , 2006, Pages 3-12

  Basu, Ananda ^a   Bozga, Marius ^a   Sifakis, Joseph ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ASSOCIATED TOOL; BINARY COMPOSITION; COMPONENT-BASED MODELING; LAYER BY LAYER; PARAMETERIZED; THREE-LAYER; TIMED SYSTEMS;

TIME SHARING SYSTEMS;

FORMAL METHODS;

EID: 82655181592     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2006.27     Document Type: Conference Paper

References (13)

1. Workshop on distributed embedded systems, lorentz center, leiden, 2005. http://www.tik.ee.ethz.ch/leiden05.
2. K. Altisen, G. Gößler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems, 23(1-2):55-84, 2002. (Pubitemid 34658882)
3. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3-34, 1995.
4. F. Arbab. Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program., 55(1-3):3-52, 2005. (Pubitemid 40178259)
5. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli. Metropolis: An integrated electronic system design environment. IEEE Computer, 36(4):45-52, 2003.
6. K. Balasubramanian, A. Gokhale, G. Karsai, J. Sztipanovits, and S. Neema. Developing applications using model-driven design environments. IEEE Computer, 39(2):33-40, 2006. (Pubitemid 43285669)
7. M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis. The IF toolset. In SFM, pages 237-267, 2004.
8. J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity: The Ptolemy approach. Proceedings of the IEEE, 91(1):127-144, 2003.
9. J.-P. Fassino, J.-B. Stefani, J. Lawall, and G. Muller. THINK: A Software Framework for Component-based Operating System Kernels. In Proceedings of the Usenix Annual Technical Conference, June 2002.
10. G. Gößler. PROMETHEUS - a compositional modeling tool for real-time systems. In P. Pettersson and S. Yovine, editors, Proc. Workshop RT-TOOLS 2001. Technical report 2001-014, Uppsala University, Department of Information Technology, 2001.
11. G. Gößler and J. Sifakis. Composition for component-based modeling. Sci. Comput. Program., 55(1-3):161-183, 2005. (Pubitemid 40178263)
12. T. Henzinger and J. Sifakis. The embedded systems design challenge. Proceedings FM 2006, LNCS, 2006.
13. J. Sifakis. A framework for component-based construction. In Proceedings of the Third International Conference on Software Engineering and Formal Methods (SEFM), pages 293-300. IEEE Computer Society, 2005.