Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11

Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter; Schmidt, Heinz

doi:10.1109/compsac.2015.46

Cited by 17 publications

(6 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The focus is on verification of consistency conditions at design time of a system to avoid possible collisions and injuries using probabilistic and non-probabilistic models. In [17] we have applied BeSpaceD for assuring correct sensor ranges in factory hall scenarios. Here, some dynamic aspects are integrated.…”

Section: Discussionmentioning

confidence: 99%

An Example for BeSpaceD and its Use for Decision Support in Industrial Automation

Blech

2015

Preprint

Self Cite

View full text Add to dashboard Cite

We describe our formal methods-based spatial reasoning framework Be-SpaceD and its application in decision support for industrial automation. In particular we are supporting analysis and decisions based on formal models for industrial plant and mining operations. BeSpaceD is a framework for deciding geometric and topological properties of spatio-temporal models. We present an example and report on our ongoing experience with applications in different projects around software and cyber-physical systems engineering. The example features abstracted aspects of a production plant model. Using the example we motivate the use of our framework in the context of an existing software platform supporting monitoring, incident handling and maintenance of industrial automation facilities in remote locations.

show abstract

Section: Discussionmentioning

confidence: 99%

An Example for BeSpaceD and its Use for Decision Support in Industrial Automation

Blech

2015

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…BeSpaceD is highly scalable; BeSpaceD-based functionality such as services can be offered as cloud-based services using highly scalable infrastructure, but can also run locally on embedded devices that support a Java runtime environment such as Raspberry Pi-based controllers. In addition to the work described in this paper, we have successfully applied BeSpaceD to other application areas such as coverage analysis in the area of mobile devices [34] and for verification of spatiotemporal properties of industrial robots [35], [33], [9].…”

Section: A Bespaced Overviewmentioning

confidence: 99%

On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework

Blech,

Peake,

2018

Preprint

Self Cite

View full text Add to dashboard Cite

Means to support collaboration for remote industrial facilities such as mining are an important topic, especially in Australia, where major mining sites can be more than a thousand kilometers from population centres. Software-based collaboration and maintenance solutions can help to reduce costs associated with these remote facilities. In this paper, we report on our collaborative engineering project providing a decision support solution tailored for Australian needs. We present two application examples: one related to incident handling in industrial automation, the other one in the area of smart energy systems.

show abstract

“…On one hand BeSpaceD-based services can be offered as cloud services using highly scalable infrastructure, on the other hand one can also run BeSpaceD locally on embedded devices that support a Java runtime environment. In addition to decision support systems for industrial automation and smart energy systems, we have successfully applied BeSpaceD for coverage analysis in the area of mobile devices [23] and for verification of spatio-temporal properties of industrial robots [25], [22], [4]. BeSpaceD has been integrated into a model-based development approach [27] and models of industrial operations have been part of our work [24] as well as applications to adaptive mobile systems [40].…”

Section: Bespacedmentioning

confidence: 99%

Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models

Blech,

Fernando,

Foster

et al. 2017

Preprint

Self Cite

View full text Add to dashboard Cite

This report presents our SmartSpace event handling framework for managing smart-grids and renewable energy installations. SmartSpace provides decision support for human stakeholders. Based on different datasources that feed into our framework, a variety of analysis and decision steps are supported. These decision steps are ultimately used to provide adequate information to human stakeholdes. The paper discusses potential data sources for decisions around smart energy systems and introduces a spatio-temporal modeling technique for the involved data. Operations to reason about the formalized data are provided. Our spatio-temporal models help to provide a semantic context for the data. Customized rules allow the specification of conditions under which information is provided to stakeholders. We exemplify our ideas and present our demonstrators including visualization capabilities.

show abstract

Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11

Cited by 17 publications

References 17 publications

An Example for BeSpaceD and its Use for Decision Support in Industrial Automation

An Example for BeSpaceD and its Use for Decision Support in Industrial Automation

On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework

Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models

Contact Info

Product

Resources

About