Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/10936
Title: High assurance on cyber-physical interactive systems
Authors: José Creissac Campos
Rui Miguel Couto
Issue Date: 2019
Abstract: Cyber-Physical Systems, as distributed systems of computational elements interacting with the physical world, are highly complex systems. They can, in many instances, be considered safety critical interactive systems, as errors in interaction can have disastrous consequences (consider the case of autonomous vehicles or integrated clinical environments). High assurance is, then, an underlying requirement, also at their user interface. In this position paper we identify five challenges to be solved both in the short and in the long term, regarding the modelling of (1) distributed and (2) heterogeneous interactive systems, (3) the analysis and relation between the different abstraction layers of Cyber-Physical Systems, (4) the modelling of real time/hybrid systems, and (5) the modelling of the dynamic nature of such systems. Solutions for these challenges are not presented, but possible directions are discussed. Copyright © 2019 for this paper by its authors.
URI: http://repositorio.inesctec.pt/handle/123456789/10936
metadata.dc.type: Publication
conferenceObject
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00R-FD2.pdf317.54 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.