In our CPEC Colloquium series, we invite distinguished speakers to share their research on perspicuity and related topics. We’re happy to announce the following talk:

Wednesday, November 23, 3:15pm: Wolfgang Reisig (Humboldt Universität zu Berlin, DE)
Location: Saarland University, building E2 1, room 001

Modules, predicates, events: the pillars of cyber-physical systems

Mastering cyber-physical systems requires abstract concepts in order to identify various aspects of those systems. These aspects must be described properly, and must be integrated into overall plausible, seamless models of such systems.
The modeling infrastructure HERAKLIT provides corresponding concepts. They are chosen from a relentless angel of real world systems, with aspects of computation to come second. Consequently, HERAKLIT deprives the conventionally educated computer scientist of a number of familiar concepts, including naive notions of time, assignment statements, and sequential runs as in transition systems. Instead, HERAKLIT recommends causal order, locally confined events, distributed runs, and a clear distinction between concurrency and nondeterminism. In addition, HERAKLIT supports modeling of items of the real and imagined worlds, and HERAKLIT supports representing behavior at any level of abstraction, in strong correspondence with predicate logic. HERAKLIT comes with a powerful, flexible module concept and a technically simple, universal, associative, and deterministic composition operator.