OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx

Ahmad, Manzoor and Dragomir, Iulia and Bruel, Jean-Michel and Ober, Iulian and Belloir, Nicolas Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. (2013) In: 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), 29 July 2013 - 31 July 2013 (Reykjavik, Iceland).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.5220/0004483101470154


Formal methods provide tools to verify the consistency and correctness of a specification with respect to the desired properties of the system. This verification is important as the development of an AAL (Ambient Assisted Living) system involves different technologies (medical services, surveillance cameras, intelligent devices, etc.) requiring a strong consistency checking between models. We illustrate in this paper how we prove some of the properties of the system before the development even starts. To model the AAL system, we use the SysML language. In terms of tools, we used Rational Rhapsody in combination with the OMEGA2 profile which is an executable Uml/SysML profile used for the formal specification and validation of critical real-time systems. This profile is supported by the IFx toolset which provides mechanisms for the model simulation and properties verification of the AAL system.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université de Pau et des Pays de l'Adour - UPPA (FRANCE)
Laboratory name:
Deposited On:07 Oct 2015 10:01

Repository Staff Only: item control page