Security in Pervasive Applications: A Survey

We survey some critical issues arising in pervasive applications, in particular the interplay between context-awareness and security. We shall outline the techniques adapted for guaranteeing applications to securely behave in the digital environment they are part of

A Roadmap to Pervasive Systems Verification

yesThe complexity of pervasive systems arises from the many different aspects that such systems possess. A typical pervasive system may be autonomous, distributed, concurrent and context-based, and may involve humans and robotic devices working together. If we wish to formally verify the behaviour of such systems, the formal methods for pervasive systems will surely also be complex. In this paper, we move towards being able to formally verify pervasive systems and outline our approach wherein we distinguish four distinct dimensions within pervasive system behaviour and utilise different, but appropriate, formal techniques for verifying each one.EPSR

Lifeworld Inc. : and what to do about it

Can we detect changes in the way that the world turns up as they turn up? This paper makes such an attempt. The first part of the paper argues that a wide-ranging change is occurring in the ontological preconditions of Euro-American cultures, based in reworking what and how an event is produced. Driven by the security – entertainment complex, the aim is to mass produce phenomenological encounter: Lifeworld Inc as I call it. Swimming in a sea of data, such an aim requires the construction of just enough authenticity over and over again. In the second part of the paper, I go on to argue that this new world requires a different kind of social science, one that is experimental in its orientation—just as Lifeworld Inc is—but with a mission to provoke awareness in untoward ways in order to produce new means of association. Only thus, or so I argue, can social science add to the world we are now beginning to live in

Киберфизические системы в управлении транспортом

For the English abstract and full text of the article please see the attached PDF-File (English version follows Russian version). ABSTRACT The article describes the results of a study of a cybernetics and physical system (CPS) as a transport management tool. The relevance of the topic is due to the need to improve management of complex transport systems in the face of increasing volumes of information and multidimensionality of management situations. The study is based on an assessment of the experience and new opportunities for using CPS in transport management. The article introduces the conceptual and component models of CPS, shows their similarities and differences with other systems. As a methodological tool, the authors used system and structural analysis. The communication features of CPS are revealed, which are a condition for its implementation in organization of high-speed traffic. CPS is evaluated as one more step towards the creation of intelligent systems of a new generation. Keywords: transport, cybernetics and physical systems, management, embedded systems, ubiquitous computing, Internet of things, technology, management models.Текст аннотации на англ. языке и полный текст статьи на англ. языке находится в прилагаемом файле ПДФ (англ. версия следует после русской версии). Актуальность темы обусловлена необходимостью совершенствования управления сложными транспортными системами в условиях возрастания объёмов информации и многомерности управленческих ситуаций. В основе исследования - оценка опыта и новых возможностей применения киберфизических систем (КФС) в управлении транспортом. Статья знакомит с концептуальной и компонентной моделями КФС, показывает их сходство и различия с другими системами. В качестве методологического инструментария авторами использован системный и структурный анализ. Выявлены коммуникационные особенности КФС, которые являются условием её реализации при организации высокоскоростного движения. КФС оцениваются как ещё один шаг к созданию интеллектуальных систем нового поколения