06月06日(Thu) 16:20〜18:00 C会場(-国際会議場202号室)
演題番号 | 3C4-IOS-4a-2 |
---|---|
題目 | Resilience of Event-Driven Dynamic Systems |
著者 | Schwind Nicolas(National Institute of Informatics) Magnin Morgan(Ecole Centrale de Nantes / RCCyN) Inoue Katsumi(National Institute of Informatics) |
時間 | 06月06日(Thu) 16:40〜17:00 |
概要 | When designing and evaluating the performances of a system in terms of resilience, it is crucial to consider not only its global configuration, but also its dynamics with regard to the environment. Indeed, our systems are subject to uncontrollable events and their analysis requires to capture these events as well as the controlled events (i.e., the actions) in their global succession relationships. In this paper, we define a language that is expressive enough to represent any narrative scheme, that is, any set of total preorders over any finite set of events. We then formalize the problem of existence of an adequate ``strategy'' for a given narrative scheme, that consists in adding some actions between the uncontrollable events (leading to a specific scenario) in a way that the system satisfies some expected property. Then, each scenario is interpreted as a sequence of propositional formulae that are updated each time an uncontrollable event or an action occurs. Lastly, we propose some properties in order to characterize the notion resilience for such dynamic systems. |
論文 | PDFファイル |