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.
In this paper, we propose a method to verify software executed on RTOS which conforms to mulTRON with a model checking tool Spin. The RTOS provides facilities such as priorities and service calls to control the execution of tasks, however, Spin does not provide them. Thus, we implemented a middleware which allows us to use the facilities and simulate the execution of the tasks in Spin. The paper shows...
As Moore's law comes to an end, multi-processor (MP) systems are becoming increasingly important in embedded systems design, hence real-time schedulability analysis for MP systems has become an important research topic. In this paper, we present an exact method for schedulability analysis of global multiprocessor scheduling with either fixed-priority (FP) or earliest-deadline-first (EDF) algorithms...
Several real-time executable software specification languages and techniques exist. However, there are aspects among these languages that are preventing these languages from being widely accepted and adopted. The paper identifies three key areas contributing to this non-acceptability. The paper also suggests future directions and advancements needed in the identified areas.
In this paper, we describe a XML based profile for modeling the semantics of real time systems. We aim to use Real Time Markup Language (RTML) to provide a comprehensive description of temporal properties for the use in distributed systems communication. RTML is derived from a number of specifications including OMG UML Profile in Schedulability, Performance, and Time. In this paper, we discuss the...
The technology supporting multiplayer online games (MOGs) has greatly improved in the past few years. This represents great news both for players all over the world and for researchers that are struggling behind tough problems in real-time distributed systems. Indeed, MOGs represent a peculiar class of distributed systems, sharing features, requirements, challenges, and thereby also feasible solutions...
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.