The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper presents an extensible software framework for embedded system modeling on a distributed platform. Actors are concurrent components to specify time-triggered sensor readings, task invocations, actuator updates, and pattern switches independent of any given platform. Composite actor can be arbitrarily nested and framework consists of a formal semantics by separating platform-independent concerns...
Creditability modeling on real-time interaction specification for embedded systems on the distributed platform is a continuing challenge to developers. This paper presents a creditability modeling strategy that reduces complexity by separating data-related computational parts and time synchronization interaction among components. We introduce a notion of supervisor to discuss how to aggregate individual...
Trustworthy temporal scheduling is a central feature for real time embedded systems on the distributed platform and traditional strategies are difficult to conquer this problem. In this paper, we define the notion of component that reduces complexity by separating data-related computational parts and time synchronization interaction among components. Frameworks are composed hierarchically to manage...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.