• DocumentCode
    682321
  • Title

    H-SRTF: A real-time framework supporting state machine model

  • Author

    Wu Xianghu ; Qu Mingcheng ; Tao Yongchao ; Liu Zhiqiang

  • Author_Institution
    Sch. of Comput. Sci. & Technol., Harbin Inst. of Technol., Haerbin, China
  • fYear
    2013
  • fDate
    23-24 Dec. 2013
  • Firstpage
    126
  • Lastpage
    129
  • Abstract
    The state machine can be used to describe reactive event-driven software system effectively. Existing commercial tools which can generate code from the state diagram all base on real-time framework mostly. But the code size of these frameworks is a little more, it will be a big shortage for military weapon systems that the hardware resources are limited and time is critical. By the detailed analysis of mapping strategy from state diagram model to real-time framework, a smart real-time framework is designed and implemented by C language. The framework can adapt to two cases, i.e. operating system exists or not, and can adapt to two types of active objects, i.e. task and interruption.
  • Keywords
    C language; Unified Modeling Language; finite state machines; formal specification; interrupts; military computing; object-oriented programming; program compilers; weapons; C language; H-SRTF; UML state diagrams; active objects; code generation; code size; hardware resource; interruption; mapping strategy analysis; military weapon system; operating system; reactive event-driven software system; smart real-time framework; state machine model; Arrays; History; Indexes; Object oriented modeling; Real-time systems; Semantics; Unified modeling language; State machine model; UML state diagram; active object; realtime framework;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Instrumentation and Measurement, Sensor Network and Automation (IMSNA), 2013 2nd International Symposium on
  • Conference_Location
    Toronto, ON
  • Type

    conf

  • DOI
    10.1109/IMSNA.2013.6743232
  • Filename
    6743232