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.
OPC-XML defines a standard method for accessing automation data in the industry field. This protocol relies on Web service communications allowing a great compatibility and a software/hardware independent definition. Nevertheless, this underlying protocol does not take into account temporal Quality of Service. Therefore, when a contract is defined between the client and the server, its execution has...
This paper presents the planned and on-going activities inside the FORDESIGN research project, funded by the Portuguese FCT (Foundation for Science and Technology), whose main objective is to foster the effective use of formal methods for embedded systems co-design. The project proposes a methodology where the use-cases are used as a starting point, not only for capturing requirements but also to...
Traceability in food chains is now mandatory for companies interested in food processing. Every food chain is made up of a variable number of companies which cooperate through the exchange of materials and services. Since the guarantee about a product doesn't depend on a single company, but it depends on all the factories of the food chain, a traceability system can provide information useful to reconstruct...
Time-triggered systems are advantageous for embedded applications, when determinism, hard real-time behavior, and a straightforward way for certification are required. However, when it comes to flexibility, time-triggered systems often require that possible extensions have been planned in advance, which makes it difficult to apply unforeseen changes to such a system. This paper presents an approach...
This paper describes an approach on the way towards dynamically configuring an application by discovering and using smart devices in a sensor/actuator network. The key to this are self-describing smart devices. Self description means that all information necessary to use the respective device are stored within the device itself. As an appropriate description language XML has emerged during the last...
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.