Modelling Clock Synchronization in the Chess gMAC WSN Protocol

We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Dutch company Chess. Using the Uppaal model checker, we establish that in certain cases a static, fully synchronized network may eventually become unsynchronized if the current algorithm is used, even in a setting with infinitesimal clock drifts

Communicating Processes with Data for Supervisory Coordination

We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and communicate the control signals to the involved parties. Models of the supervisory controllers can be automatically synthesized based on formal models of the system components and a formalization of the safe coordination (control) requirements. Based on the obtained models, code generation can be used to implement the supervisory controllers in software, on a PLC, or an embedded (micro)processor. In this article, we develop a process theory with data that supports a model-based systems engineering framework for supervisory coordination. We employ communication to distinguish between the different flows of information, i.e., observation and supervision, whereas we employ data to specify the coordination requirements more compactly, and to increase the expressivity of the framework. To illustrate the framework, we remodel an industrial case study involving coordination of maintenance procedures of a printing process of a high-tech Oce printer.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432

L’usage de la poésie haïku en psycho-oncologie

International audienceAbstract Aim: Our study aims to describe the discourseeffects of specific and structured protocol focused on severalhaiku poems about one patient, who have experienced cancer.Procedure: The protocol consists of 4 steps: a preliminaryexploratory interview, fifteen haiku proposed without a partof the poem (a creative writing filled in by the patient), a freeform haiku composed by the patient, and finally, a finalinterview.Clinical case: A man, D., aged 25, had tumor.Result: Using this protocol, we showed discourse variationson the illness before and after the experience of poetrywriting, by Tropes V8.4 software.Conclusion: Haiku poetry can be a useful tool in the contextof supportive interventions or as preparatory work for engagementin psychotherapeutic intervention. We believe thatthe formal structure of haikus can create conditions for aspecific poetic work composed of: poetic evocation, synthesis,and mapping of the most intimate experiences in oncologyenvironment.Résumé Objectif : Cette étude qualitative et exploratoirevise à décrire les effets d’un protocole poétique centré surles haïkus en psycho-oncologie sur l’approche de la maladiechez un patient atteint de cancer.Matériel et méthodes : Il s’agit d’un protocole d’écriturepoétique composé de quatre étapes : un entretien préliminaire,la proposition de 15 haïkus (sans le vers du milieu)tirés de grands auteurs japonais, la réalisation d’un poèmecomposé librement par deux patients atteints de cancer, unentretien final sur l’expérience de l’écriture poétique.Cas clinique : Un homme, M. D., âgé de 25 ans, qui est entraitement pour un cancer.Résultats : Nous montrons les variations discursives utiliséesavant et après l’expérience de l’écriture poétique, à travers lelogiciel Tropes V8.4.Conclusion : Le travail poétique avec le haïku peut être unoutil utile, dans un contexte de support clinique en institutionou comme préparation à un travail de psychothérapie. Nouspensons que la structure formelle des haïkus peut inviter à untravail poétique spécifique : évocation poétique, synthèse etschématisation des vécus plus intimes en milieu oncologique

Voicing passion: The emotional economy of songwriting

This article examines articulations of the role of passion in accounts of the life and work of the songwriter. It draws upon a range of interviews with successful artists captured in the Sodajerker On Songwriting podcast. It is suggested that these interviews capture the ‘voicing’ of the conventions of creativity in popular music, exploring a context in which passionate motivation, expression and understanding of the (potentially) affective responses to songs are paramount to the labour of the songwriter. The article explores how the core of this labour deals in emotion, attempting to articulate feelings in recognisable, tradable form. This is a process that is both instrumentally rationalised but often felt to be a deeply authentic process, understood (and believed) to spring from the individual’s emotional experience, so conferring identity in a generic field. In light of current debates about the nature of creative work and emotional labour, the accounts drawn upon here can be seen to epitomise many of the qualities of what constitutes ‘good work’ through a mode of self-actualisation

Successful treatment of a Candida auris

ABSTRACTA 78-year-old woman with a long-term ankle spacer with antibacterials developed an intra-articular Candida auris infection. Treatment with systemic antifungal therapy plus an amphotericin B moulded cement spacer was successful