Name
Abstract | ||
|---|---|---|
Almost without exception, cyber-physical systems operate alongside, for the benefit of, and supported by humans. Unsurprisingly, disregarding their social aspects during development and operation renders these systems ineffective. In this paper, we explore approaches to modelling and reasoning about the human involvement in socio-cyber-physical systems (SCPS). To provide an unbiased perspective, we describe both the opportunities afforded by the presence of human agents, and the challenges associated with ensuring that their modelling is sufficiently accurate to support decision making during SCPS development and, if applicable, at run-time. Using SCPS examples from emergency management and assisted living, we illustrate how recent advances in stochastic modelling, analysis and synthesis can be used to exploit human observations about the impact of natural and man-made disasters, and to support the efficient provision of assistive care.
|
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/SEsCPS.2019.00008 | Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems |
Keywords | DocType | ISBN |
socio cyber physical systems,human in the loop,stochastic modelling,emergency management,assisted living,stochastic model synthesis,self adaptive systems,autonomous systems,assurance | Conference | 978-1-7281-3438-3 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Radu Calinescu | 1 | 905 | 63.01 |
| Javier Cámara | 2 | 503 | 44.77 |
| Colin Paterson | 3 | 112 | 10.76 |