Smart homes and smart buildings

Martins, João; Oliveira-Lima, Jose A.; Delgado-Gomes, Vasco; Lopes, Rui Amaral; Silva, D.; Vieira, Sérgio Alexandre Simões; Lima, Celson

doi:10.1109/bec.2012.6376808

Cited by 12 publications

(7 citation statements)

References 54 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, before adopting any software engineering technique, the unique features of smart environments need to be studied, understood and outlined. To this end, the following features of the smart space, as highlighted by [7,12,15,16], among others, were considered to build the use cases (these features were named for later use):…”

Section: Approachmentioning

confidence: 99%

“…A smart space is a ubiquitous computing environment, which provides intelligent services via the interconnection of different sensors and actuators with the physical environment. A number of smart spaces have been developed to provide different services, such as home automation [5], energy optimization [6], smart grid [7], parking assistance [8] and so on. However, the development of smart spaces requires cross disciplinary knowledge and includes a multitude of actors from diverse domain.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Requirement Engineering Technique for Smart Spaces

Aziz

Sheikh

Felemban

2016

Proceedings of the International Conference on Internet of Things and Cloud Computing

View full text Add to dashboard Cite

A smart space is an increasingly important application of Internet of Things (IoT), which is being developed throughout the world for different purposes ranging from home automation to smart grids. However, a common approach for requirement capture and specification at an abstract level is needed in smart space development that is independent of the continuously changing technology. To provide a systematic process, the standard software engineering practices can be used in the smart space development, and hence take advantages of. In this context, this paper contributes in the field of requirement engineering for smart spaces by introducing the requirement specification technique based on software engineering Use Case concept. The conventional Use Case structure and the way it is described are modified to suit the requirements of smart spaces. The case of a hypothetical smart space development is considered, where the proposed requirement specification technique is applied and a Use Case repository is developed that can be used as a canonical resource for other researchers to draw upon. The implementation provides profound descriptions on how to use the proposed requirement specification technique during the development of smart spaces and in other application areas of IoT. This work can be used as a first step towards defining the smart space development framework, of which the proposed technique would be a key element.

show abstract

Section: Approachmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Requirement Engineering Technique for Smart Spaces

Aziz

Sheikh

Felemban

2016

Proceedings of the International Conference on Internet of Things and Cloud Computing

View full text Add to dashboard Cite

show abstract

“…A smart space is a ubiquitous computing environment, which provides the best possible services by constantly detecting the context and activities [1]. As ongoing research on IoT, several smart spaces have been developed in different domains, such as home automation [2], energy optimization [3], smart grid [4], and parking assistance [5], etc. However, the development of smart spaces requires cross-disciplinary knowledge and hence stipulates a large set of requirements.…”

Section: Introductionmentioning

confidence: 99%

Formal Specification Approach for Smart Space Development

2021

IJATCSE

View full text Add to dashboard Cite

Being an important application of the Internet of Things, smart spaces are increasingly developed throughout the world for different purposes ranging from home automation to smart grids. Despite the considerable focus given to the practical development of smart spaces, there are few attempts of utilizing formal methods in this domain. Especially, the requirements of developing a smart space have not yet been formally specified, to the best of the authors’ knowledge. To fill this gap, a formal specification approach is presented in this paper for smart space development. The proposed approach first identifies the key components of a smart space, then it uses a state-based formal specification language – Z, to formally specify the requirements of these components. The requirements of developing a hypothetical smart space are considered for formal specification in this paper. This work does not only demonstrate how the components of complex systems, such as smart spaces, can elegantly be modeled using a Software Engineering formalism. But it can also be used as a step towards defining a holistic smart space development framework, along with requirement engineering and system design techniques.

show abstract

“…ODERN approach to buildings' control and monitoring becomes very popular mainly from the energy saving point of view [1][2][3]. Motivation also includes higher standard of living, comfort level, easy control, etc.…”

Section: Introductionmentioning

confidence: 99%

Multi-communication wireless system for smart households

Majer

Mihalov

Stopjaková

et al. 2013

2013 21st Telecommunications Forum Telfor (TELFOR)

View full text Add to dashboard Cite

This paper presents a novel wireless communication approach to modern households. A multistandard wireless system concept for controlling and monitoring smart buildings is described. The goal of this paper is to point out the main issues regarding commonly used various home electronic systems, which leads to system complexity. Moreover, in the paper are presented solutions for the unification and simplification of a significant amount of various traditional proprietary systems and their equipment. Another goal is the monitoring of selected parameters that might be very useful from the point of view of energy saving and comfort improvement. Therefore, the developed system is equipped with microcontrollers employing RF modules for ZigBee PRO or ANT+ networks. Measured data as well as regulation commands are sent through the wireless network to an acquisition point (smart interface), which transfers it to a database server, where the data are stored and can be accessed remotely via internet. Through this network, users are able to view/see live data as well as data stored in the database server.

show abstract

Smart homes and smart buildings

Cited by 12 publications

References 54 publications

Requirement Engineering Technique for Smart Spaces

Requirement Engineering Technique for Smart Spaces

Formal Specification Approach for Smart Space Development

Multi-communication wireless system for smart households

Contact Info

Product

Resources

About