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
Link To Document :
بازگشت