Principles of constructing a timeliness-guaranteed kernel and time-triggered message-triggered object support mechanisms | IEEE Conference Publication | IEEE Xplore