In this paper, we tackle the problem of model-checking SDL programs that use the save operator. Previous work on model-checking SDL programs with SPIN consists in translating SDL into IF (using sdl2if) and nally IF to Promela (if2pml). Nevertheless the save operator of SDL is not handled by the ((nal) translator if2pml. W e p r o p o s e an extension of the… (More)
This article evaluates different improvements of Laurent Itti's (Itti et al., 1998) visual attention model. Sixteen persons have participated in a qualitative evaluation protocol on a database of 48 images. Six different methods were evaluated, including a random fixations generation model. A real time conspicuity maps generation algorithm is also… (More)
This paper deals with game analysis. We begin by the proposal of a terminology relevant to game scenario. Then, we propose an approach dedicated to analyze game scenarii. This approach consists in expressing a scenario by using a fragment of linear logic. This model is then translated into a Petri net model. This model allows us to generate the possible… (More)
Computer games have improved this last decade on technical aspects (graphical, sound design, <i>etc.</i>) as well as on the content. Actually games are getting more and more complex. Plot has been improved and is getting close to scenario movie or scenario novel.
This paper presents a real time, low resource, head tracking system. This system is used for a broad range of applications, the simplest being the control of a car in an arcade racing game. Another use of this system is the improvement of the gameplay of an adventure game. A more advanced application is the detection of the player's attentional state using… (More)
This paper presents a real time face tracking and head pose estimation system which is included in an attention aware game framework. This fast tracking system enables the detection of the player's attentional state using a simple attention model. This state is then used to adapt the game unfolding in order to enhance user's experience (in the case of… (More)
Testing is an important step in validation process of critical systems. Black box testing consists in verifying that the system conforms to the behaviour of its model. In the case of real-time systems, temporal constraints have to be taken into account in test generation. In this paper we tackle the problem of conformance testing for parameterized Real-Time… (More)