Ubiquitous communicating systems have particular characteristics, such as their dynamic nature and the great number of users and heterogeneous devices involved. In our work, we focus on collaborative activities. For such activities, users are organized into groups and communicate in order to achieve a common goal. Therefore, the problem of designing and… (More)
with academic license to prepare a PhD thesis at LAAS ¤. Abstract Collaborative Browsing has experienced an increasing popularity as a topic for both, academic research and commercial software development, due mainly to the promise that it represents as an enabling technology for distant collaboration. Several areas are adequate for the application of this… (More)
The paper discusses an experience in using a real-time UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements. A generic framework is proposed and specialized for hierarchical groups.