skip to main content
10.1145/2304736.2304766acmconferencesArticle/Chapter ViewAbstractPublication PagescbseConference Proceedingsconference-collections
research-article

Towards mode switch handling in component-based multi-mode systems

Published:25 June 2012Publication History

ABSTRACT

Component-based software engineering (CBSE) is becoming a prominent solution to the development of complex embedded systems. Meanwhile, partitioning system behavior into different modes is an effective approach to reduce system complexity. Combining the two, we get a component-based multi-mode system, for which a key issue is its mode switch handling. The mode switch of such a system corresponds to the joint mode switches of many hierarchically organized components. Such a composable mode switch is not trivial as it amounts to coordinate the mode switches of different components. In this paper, we identify the major challenges of the composable mode switch handling and classify existing approaches with respect to how they handle these challenges. We also provide a more detailed presentation of the corresponding solutions included in our approach -- the Mode Switch Logic (MSL).

References

  1. E. Borde, G. Haík, and L. Pautet. Mode-based reconfiguration of critical software component architectures. In DATE'09, pages 1160--1165. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. I. Crnkovic and M. Larsson. Building reliable component-based software systems. Artech House, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. P. H. Feiler, D. P. Gluch, and J. J. Hudak. The architecture analysis & design language (AADL): An introduction. Technical Report Carnegie Mellon University/SEI-2006-TN-011, Software engineering institute, MA, Feb. 2006.Google ScholarGoogle ScholarCross RefCross Ref
  4. Y. Hang, E. Borde, and H. Hansson. Composable mode switch for component-based systems. In APRES '11, pages 19--22.Google ScholarGoogle Scholar
  5. Y. Hang and H. Hansson. A mode mapping mechanism for component-based multi-mode systems. In CRTS'11, pages 38--45.Google ScholarGoogle Scholar
  6. Y. Hang and H. Hansson. Timing analysis for mode switch in component-based multi-mode systems. In ECRTS'12 (To appear). Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. K. Hanninen, J. Maki-Turja, M. Nolin, M. Lindberg, J. Lundback, and K.-L. Lundback. The Rubus component model for resource constrained real-time systems. In SIES'08, pages 177--183, june.Google ScholarGoogle Scholar
  8. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. In Proceedings of the IEEE, pages 166--184, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. X. Ke, K. Sierszecki, and C. Angelov. COMDES-II: A component-based framework for generative development of distributed real-time control systems. In RTCSA'07. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. P. Pedro and A. Burns. Schedulability analysis for mode changes in flexible real-time systems. In ECRTS'98, pages 172--179.Google ScholarGoogle Scholar
  11. L. T. X. Phan, I. Lee, and O. Sokolsky. Compositional analysis of multi-mode systems. In ECRTS'10, pages 197--206. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. J. Real and A. Crespo. Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Systems, 26(2):161--197, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. L. Sha, R. Rajkumar, J. Lehoczky, and K. Ramamritham. Mode change protocols for priority-driven preemptive scheduling. Real-Time Systems, 1:243--264, 1989.Google ScholarGoogle ScholarCross RefCross Ref
  14. J. Templ. TDL specification and report. Technical report, Department of Computer Science, University of Salzburg, Nov. 2003.Google ScholarGoogle Scholar
  15. K. W. Tindell, A. Burns, and A. J. Wellings. Mode changes in priority pre-emptively scheduled systems. In RTSS'92, pages 100--109.Google ScholarGoogle Scholar
  16. A. Vulgarakis, J. Suryadevara, J. Carlson, C. Seceleanu, and P. Pettersson. Formal semantics of the ProCom real-time component model. In SEAA'09, pages 478--485. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Towards mode switch handling in component-based multi-mode systems

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Conferences
            CBSE '12: Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
            June 2012
            198 pages
            ISBN:9781450313452
            DOI:10.1145/2304736

            Copyright © 2012 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 25 June 2012

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • research-article

            Acceptance Rates

            Overall Acceptance Rate55of147submissions,37%

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader