Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
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...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.