Open AccessConstruction a Real-Time Component for Developing Embedded Real-Time Systems
Author(s) -
Shourong Lu,
Qichun Jin
Publication year - 2019
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1314/1/012127
Subject(s) - component (thermodynamics) , computer science , real time operating system , real time computing , state (computer science) , sequence diagram , real time data , formal specification , embedded system , programming language , unified modeling language , software , operating system , physics , thermodynamics
A real-time component for developing embedded real-time systems is constructed by defined real-time contracts which ingrate with component-based techniques. Taking into account the real-time non-functional requirements, the defined real-time contracts are assigned to both static specification (components) and dynamic specification (state machine and sequence diagram). Based on the enhanced specification, it is useful and easier to design embedded and real-time systems.