No abstract

No abstract

Abstract. The vision of Home Environment is changing towards living interaction space populated of interconnected devices, services that encapsulate the functionality, and multiple interfaces through which the user can interact with these devices, in accordance with vision of ubiquitous computing. This paper presents a pervasive services platform for ubiquitous spaces based on distributed architecture P2P using JXTA technology, with an innovative approach, that favors the building of collaborative services from proactive entities, the peers. These ones are able to establish dynamic intercommunications synchronizing with others, form coalitions to cooperate with others for a common purpose, and are self-organized into groups.

In this paper, a bottom-up formal technique to obtain a correct system specification from the RT/SA requirements specification of real-time systems is proposed. As an application, a design of the production cell is introduced.

A correct system specification is systematically obtained from the essential user requirements model by applying a set of rules, which give a formal semantics to the graphical analysis entities of SA/RT. The aim of the systematic procedure is to establish the methodological infrastructure necessary for deriving a complete system specification of a given real-time system in terms of CSP+T processes. A detailed complete solution to the Production Cell problem is discussed, showing how the method can be applied to solve a realworld industrial problem.