Designing CPS/IoT applications for smart buildings and cities

Shih, Chih-yu; Chou, Jyun-Jhe; Reijers, Niels; Kuo, Te‐Son

doi:10.1049/iet-cps.2016.0025

Cited by 100 publications

(48 citation statements)

References 34 publications

(38 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Shih et al [45] review the middleware, computation model, data quality and run-time environments necessary for smart building and smart city implementations, while Salim et al [46] survey approaches for engaging human interaction with urban computing technologies. A survey of mobile crowd sensing approaches [13] that is closely aligned to this paper, presents a taxonomy based on the data collection steps, processing architecture and resulting applications.…”

Section: Figure 1 Cyber-physical--social Systems (Cpss) (Adapted Fromentioning

confidence: 99%

“…Some authors [4] state that while there are similarities between CPS and IoT, i.e., device cooperation to reach defined goals, IoT has a horizontal view comprised of hardware components interacting with each other, whereas CPS takes a vertical approach encompassing networked hardware, computational processes and control mechanisms. Other studies [45], while acknowledging the difference in system architectures of CPS and IoT, refer to them interchangeably. An increased level of abstraction in IoT is attributed to a large number of undefined factors, which are known only in terms of contribution to the system operation [44].…”

Section: Figure 2 Evolution Of Cpssmentioning

confidence: 99%

See 1 more Smart Citation

Cyber–Physical–Social Frameworks for Urban Big Data Systems: A Survey

Zhou

Abad³

et al. 2017

Applied Sciences

View full text Add to dashboard Cite

Abstract:The integration of things' data on the Web and Web linking for things' description and discovery is leading the way towards smart Cyber-Physical Systems (CPS). The data generated in CPS represents observations gathered by sensor devices about the ambient environment that can be manipulated by computational processes of the cyber world. Alongside this, the growing use of social networks offers near real-time citizen sensing capabilities as a complementary information source. The resulting Cyber-Physical-Social System (CPSS) can help to understand the real world and provide proactive services to users. The nature of CPSS data brings new requirements and challenges to different stages of data manipulation, including identification of data sources, processing and fusion of different types and scales of data. To gain an understanding of the existing methods and techniques which can be useful for a data-oriented CPSS implementation, this paper presents a survey of the existing research and commercial solutions. We define a conceptual framework for a data-oriented CPSS and detail the various solutions for building human-machine intelligence.

show abstract

Section: Figure 1 Cyber-physical--social Systems (Cpss) (Adapted Fromentioning

confidence: 99%

Section: Figure 2 Evolution Of Cpssmentioning

confidence: 99%

Cyber–Physical–Social Frameworks for Urban Big Data Systems: A Survey

Zhou

Abad³

et al. 2017

Applied Sciences

View full text Add to dashboard Cite

show abstract

“…Aside from extending the network lifetime and achieving effective communications for monitoring industrial conditions, energy-efficient deployment and sleep scheduling in GIWSNs by the proposed method can decrease the frequency of replacing failed sensors and further decrease environmental pollution due to discarded sensors and facilities, achieving the purpose of sustainability. In [5] To enhance safety in buildings and city and to reduce energy consumption IOT/CPS systems should be well designed. the challenging issues are how to federate computing services in different computation models.…”

Section: Related Workmentioning

confidence: 99%

Green Industrial Automation Based On IOT: A Survey

Kulkarni¹

2017

ijetst

View full text Add to dashboard Cite

Due to advancement in technologies it led to an increase in the carbon footprint. Over the last couple of years lot of researchers and designers are attracted towards energy efficiency in the internet of things(IOT) and this new area is named as green Iot . To enable green IOT environment there are various aspects of IOT where efficient utilization of energy is needed. Different related works on the concept of green industrial automation based on IOT are given and for different sectors automation is also described in brief along with its green environment . emerging challenges are explained for green IOT.

show abstract

“…Device integration and management systems [4]- [6] abstract over low-level protocols and are essential to allow both novice and advanced users to benefit from the increasing availability of IoT hardware. Several IoT solutions have been used to implement smart applications for a range of domains including home automation [7], agriculture [8], aquarium management [9], smart campuses [10], entertainment [11], art [12], and more. While the IoT approaches in [7]- [12] allow complicated applications to be developed, they provide limited guarantees on application correctness.…”

Section: Introductionmentioning

confidence: 99%

BigraphTalk: Verified Design of IoT Applications

Archibald

Shieh

et al. 2020

IEEE Internet Things J.

View full text Add to dashboard Cite

Graphical IoT device management platforms, such as IoTtalk, make it easy to describe interactions between IoT devices. Applications are defined by dragging-and-dropping devices and specifying how they are connected, e.g. a door sensor controlling a light. While this allows simple and rapid development, it remains possible to specify unwanted device configurations -such as using the same device to drive a motor up and down simultaneously, risking damaging the motor.We propose BigraphTalk, a verification framework for IoTtalk that utilizes formal techniques, based on bigraphs, to statically guarantee that unwanted configurations do not arise. In particular, we check for invalid connections between devices, as well as type errors, e.g. passing a float to a boolean switch. To the best of our knowledge, BigraphTalk is the first platform to support the graphical specification of correct-by-design IoT applications.BigraphTalk provides fully automated verification and feedback without end-users ever needing to specify a bigraph. This means any application, specifiable in IoTtalk, is guaranteed, so long as verification succeeds, not to violate the given configuration constraints when deployed; with no extra cost to the user.

show abstract

Designing CPS/IoT applications for smart buildings and cities

Cited by 100 publications

References 34 publications

Cyber–Physical–Social Frameworks for Urban Big Data Systems: A Survey

Cyber–Physical–Social Frameworks for Urban Big Data Systems: A Survey

Green Industrial Automation Based On IOT: A Survey

BigraphTalk: Verified Design of IoT Applications

Contact Info

Product

Resources

About