loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx

Topics: Agent Based Modeling and Simulation; Case Studies; Collaborative Systems; Domain-Specific Tools; Dynamical Systems Models and Methods; Energy and Power Systems; Healthcare; Performance Analysis; Robotics, Automation and Mechatronics; Telecommunication Systems and Networks

Authors: Manzoor Ahmad 1 ; Iulia Dragomir 1 ; Jean-Michel Bruel 1 ; Iulian Ober 1 and Nicolas Belloir 2

Affiliations: 1 Université de Toulouse, France ; 2 Université de Pau et des Pays de l’Adour, France

ISBN: 978-989-8565-69-3

Keyword(s): Requirements, Formal Methods, Properties Verification, Observers, RELAX, Simulation, OMEGA2, IFx.

Related Ontology Subjects/Areas/Topics: Agent Based Modeling and Simulation ; Application Domains ; Applications and Uses ; Biomedical Engineering ; Case Studies ; Collaboration and e-Services ; Collaborative Systems ; Complex Systems Modeling and Simulation ; Domain-Specific Tools ; Dynamical Systems Models and Methods ; e-Business ; Energy and Power Systems ; Enterprise Information Systems ; Formal Methods ; Health Engineering and Technology Applications ; Health Information Systems ; Healthcare ; Neural Rehabilitation ; Neurotechnology, Electronics and Informatics ; Performance Analysis ; Robotics, Automation and Mechatronics ; Sensor Networks ; Simulation and Modeling ; Simulation Tools and Platforms ; Software and Architectures ; Telecommunication Systems and Networks

Abstract: 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 use 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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.224.151.24

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ahmad M., Dragomir I., Bruel J., Ober I. and Belloir N. (2013). Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.In Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-69-3, pages 147-154. DOI: 10.5220/0004483101470154

@conference{simultech13,
author={Manzoor Ahmad and Iulia Dragomir and Jean-Michel Bruel and Iulian Ober and Nicolas Belloir},
title={Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx},
booktitle={Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2013},
pages={147-154},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004483101470154},
isbn={978-989-8565-69-3},
}

TY - CONF

JO - Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx
SN - 978-989-8565-69-3
AU - Ahmad M.
AU - Dragomir I.
AU - Bruel J.
AU - Ober I.
AU - Belloir N.
PY - 2013
SP - 147
EP - 154
DO - 10.5220/0004483101470154

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.