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.
Construction of a Real-Time System (RTS) out of a number of pre-fabricated pieces of software, otherwise known as components, is a pervasive area of interest. Typically, only relocatable object code of the component is shipped to the customer, so that it can later be linked into the overall application. Source code is therefore withheld, and disassembling of the object code is normally disallowed...
The interaction between pantograph and catenary is the present problematic of current collection in electrical railways. Current collection enhancement is a key requirement for train speed-up in railway industry. Several models have been proposed in this sense to investigate the dynamic response of pantograph-overhead contact line. This paper presents a review of different pantograph and catenary...
Formal models used for representing recurrent real-time processes are typically characterized by a period parameter, representing the minimum amount of time that may elapse between successive invocations of the process. However a recently proposed model called the non-cyclic GMF model deviates from this trend: there is no single period parameter characterizing the recurrent behavior of the task. In...
The transformation approaches from requirements specification to software architecture models and requirements traceability are two hot topics, UML-RT is widely used in modeling the software architectures of real-time systems, but UML-RT models are often inaccurate or ambiguous, because they are created from natural language specifications. In order to obtain more accurate UML-RT models, UML-RT models...
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.