38,686 research outputs found
Extending Event-B with discrete timing properties
No full textEvent-B is a formal language for systems modelling, based on set theory and predicate logic. It has the advantage of mechanized proof, and it is possible to model a system in several levels of abstraction by using refinement. Discrete timing properties are important in many critical systems. However, modelling of timing properties is not directly supported in Event-B. In this work, we identify three main categories of discrete timing properties for trigger response patterns, deadline, delay and expiry. We introduce language constructs for each of these timing properties that augment the Event-B language. We describe how these constructs have been given a semantics in terms of the standard Event-B constructs. To ease the process of using timing properties in a refinement-based development, we introduce patterns for refining the timing constructs that allow timing properties on abstract models to be replaced by timing properties on refined models. The language constructs and refinement patterns are illustrated through some generic examples.We have developed a tool to support our approach. Our tool is a plug-in to the Rodin tool-set for Event-B and automates the translation of timing properties to Event-B as well as the generation of gluing invariants, required to verify the consistency of timing properties refinement. In the end, we demonstrate the practicality of our approach, by going through the modelling and verifying process of two real-time case studies. The main focus will be the usefulness of the timing refinement patterns in a step-wise modelling and verification process of a real-time system
MEHRAB ESMAEILI, RAMIN HEYDARI, EBRAHIM POURJAM & MOHAMMAD REZA ATIGHI (2014) Description of Ektaphelenchoides fuchsi n. sp. (Nematoda: Ektaphelenchinae) from western Iran. Zootaxa, 3846(3): 430-438.
No full textEsmaeili, Mehrab, Heydari, Ramin, Pourjam, Ebrahim, Atighi, Mohammad Reza (2014): MEHRAB ESMAEILI, RAMIN HEYDARI, EBRAHIM POURJAM & MOHAMMAD REZA ATIGHI (2014) Description of Ektaphelenchoides fuchsi n. sp. (Nematoda: Ektaphelenchinae) from western Iran. Zootaxa, 3846(3): 430-438. Zootaxa 3860 (6): 600-600, DOI: http://dx.doi.org/10.11646/zootaxa.3860.6.
Mohammad Reza Pahlavi iráni sah díszdoktorrá avatása
No full textMohammad Reza Pahlavi (1919-1980) iráni sah. Az ELTE 1978-ban avatta díszdoktorává
Mohammad Reza-Djalili. Iran, l'illusion réformiste
No full textEtienne. Mohammad Reza-Djalili. Iran, l'illusion réformiste. In: Politique étrangère, n°1 - 2002 - 67ᵉannée. pp. 232-233
Mohammad-Reza Djalili. Le Golfe persique
No full textRondot Philippe. Mohammad-Reza Djalili. Le Golfe persique. In: Politique étrangère, n°5 - 1978 - 43ᵉannée. pp. 630-631
Mohammad-Reza Djalili. Religion et révolution. L'islam chiite et l'Etat
No full textLaurent Annie. Mohammad-Reza Djalili. Religion et révolution. L'islam chiite et l'Etat. In: Politique étrangère, n°1 - 1982 - 47ᵉannée. pp. 234-235
Philippe Braillard et Mohammad-Reza Djalili. Les relations internationales
No full textAbou Diab Khattar. Philippe Braillard et Mohammad-Reza Djalili. Les relations internationales. In: Politique étrangère, n°4 - 1989 - 54ᵉannée. p. 774
1 Rial, 1971, inscribed with, "Mohammad Reza Shah Shahanshah"
No full textImage of a 1 Rial Pahlavi coin inscribed with, "Mohammad Reza Shah Shahanshah."IMAGE SOURCE: Mahnaz Bagheri, Curator, Malek National Museum, Tehran, Iran
Philippe Braillard et Mohammad-Reza Djalili. Les relations internationales
No full textAbou Diab Khattar. Philippe Braillard et Mohammad-Reza Djalili. Les relations internationales. In: Politique étrangère, n°4 - 1989 - 54ᵉannée. p. 774
Djalili (Mohammad-Reza) Diplomatie islamique, stratégie internationale du khomeynisme
No full textRichard Yann. Djalili (Mohammad-Reza) Diplomatie islamique, stratégie internationale du khomeynisme. In: Archives de sciences sociales des religions, n°70, 1990. pp. 254-255
- …
