000311971 001__ 311971
000311971 005__ 20240928181627.0
000311971 0247_ $$aG:(GEPRIS)72093553$$d72093553
000311971 035__ $$aG:(GEPRIS)72093553
000311971 040__ $$aGEPRIS$$chttp://gepris.its.kfa-juelich.de
000311971 150__ $$aGames for Analysis and Synthesis of Interactive Computational Systems (GASICS)$$y2008 - 2012
000311971 371__ $$aProfessor Dr. Wolfgang Thomas
000311971 450__ $$aDFG project G:(GEPRIS)72093553$$wd$$y2008 - 2012
000311971 5101_ $$0I:(DE-588b)2007744-0$$aDeutsche Forschungsgemeinschaft$$bDFG
000311971 680__ $$aOur approach is to generalize transition systems and automata – models of computation of the classical approach to verification – by the more flexible (and mathematically deeper) game-theoretic framework. There are initial results in this area, and our aim is to advance them towards a usable framework and methodology in the verification and design of complex systems. Our objectives are complementary to fields like game theoretic semantics in logic and the theory of programming. With the proposed approach, we also aim to contribute to a convergence of our community with the important community of control theory that deals with the behavior of dynamical systems.Objectives and motivations - Our long term objective is the definition of a modern systems theory where systems are modeled as interacting processes that are potential collaborators or adversaries, and where important aspects like communication, timing information, data, probability, etc. can be adequately modeled.As computer systems are deployed more and more in safety critical environments, there is a need for a methodology to design, synthesize and formally verify complex interacting computational systems. This modern systems theory should help the designers to model complex computer based systems in a rigorous way and allow them to reason formally about their correctness. Our research should contribute substantially to the creation of such a methodology.
000311971 909CO $$ooai:juser.fz-juelich.de:978846$$pauthority$$pauthority:GRANT
000311971 909CO $$ooai:juser.fz-juelich.de:978846
000311971 980__ $$aG
000311971 980__ $$aAUTHORITY