Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16

Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon ter Braak, Sergei Devadze, Goerschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao

Publikation: KonferenzbeitragPaper


CPS, that consist of a cyber part – a computing system
– and a physical part – the system in the physical environment – as
well as the respective interfaces between those parts, are omnipresent
in our daily lives. The application in the physical environment drives
the overall requirements that must be respected when designing the
computing system. Here, reliability is a core aspect where some of the
most pressing design challenges are:
* monitoring failures throughout the computing system,
* determining the impact of failures on the application constraints,
* ensuring correctness of the computing system with respect to
application-driven requirements rooted in the physical environment.
This paper provides an overview of techniques discussed in the special
session to tackle these challenges throughout the stack of layers of the
computing system while tightly coupling the design methodology to the
physical requirements.
PublikationsstatusVeröffentlicht - 2016
VeranstaltungFDL'16 - Forum on Specification and Design Languages - Bremen, Deutschland
Dauer: 14 Sep 201616 Sep 2016


KonferenzFDL'16 - Forum on Specification and Design Languages


Untersuchen Sie die Forschungsthemen von „Designing Reliable Cyber-Physical Systems: Overview associated to the Special Session at FDL’16“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren