Sharif Digital Repository

Over-the-air (OTA) software download is a key enabling technology for terminal reconfigurations. With increasing the number of network protocols, variety of software products with different software providers and new software threats, it becomes important to download and install assured software on the mobile terminals. Most of the related research works on downloading assured software, focus on software validation after download, and mainly on the terminal. In this paper, a model is proposed in which an Assurance Agency is exploited. This agency is responsible for performing software examination and validations. Unlike related work, examination and validation operations are centrally... 

With the increasing use of pervasive computing environments (PCEs), developing dynamic reconfigurable software in such environments becomes an important issue. The ability to change software components in running systems has advantages such as building adaptive, long-life, and self-reconfigurable software as well as increasing invisibility in PCEs. As dynamic reconfiguration is performed in error-prone wireless mobile systems frequently, it can threaten system safety. Therefore, a mechanism to support assured dynamic reconfiguration at run-time for PCEs is required. In this paper, we propose an Assured Dynamic Reconfiguration Framework (ADRF) with emphasis on assurance analysis. The... 

Reconfigurability in software has many advantages such as updating, bug fixing and adding new services. Dynamic reconfiguration is more useful for mission critical systems that need to change in run time. Reconfiguration of a system in network may result to reconfiguring its dependent systems, which we call reconfiguration propagation. In this paper, we present a model for reconfiguration propagation for systems in a network  

Continuous improvement and extension of pervasive computing environments, in which objects have high mobility and limited computing power, implies service migration to be considered as one of the main issues. On the other hand, context-awareness which is the most distinguishable feature of pervasive computing helps better serving of users. Accordingly, migration in the presence of context-awareness is considered as the underlying of our motivation. This improves the performance of migration, which is not easily achievable through traditional migration techniques. In this paper we introduce a model to support context-aware migration besides its migration process phases and framework. Our...