Property Model Methodology: A case study with Modelica
dc.contributor.author | PINQUIE, Romain |
dc.contributor.author | MICOUIN, Patrice |
dc.contributor.author | MICOUIN, Patrice |
dc.contributor.author
hal.structure.identifier | SEGONDS, Frederic
|
dc.contributor.author
hal.structure.identifier | VERON, Philippe
|
dc.date.accessioned | 2016 |
dc.date.available | 2016 |
dc.date.issued | 2016 |
dc.date.submitted | 2016 |
dc.identifier.isbn | 978-94-6186-634-9 |
dc.identifier.uri | http://hdl.handle.net/10985/11094 |
dc.description.abstract | The aim of this paper is twofold. Firstly, it is intended to demonstrate the relevance of the Property Model Methodology (PMM) to specify, validate, design and verify continuous multi-physics systems. Secondly, it aims at verifying the compatibility of PMM concepts with the Modelica simulation language. We will be using the case study of an aircraft landing gear to show how to translate the theoretical concepts of PMM into executable Modelica models. This article proves the fundamental concepts of PMM and provides a starting point for further research so as to not only model other types of engineered systems such as discrete and hybrid systems, but also support additional systems engineering activities, such as safety-reliability. |
dc.language.iso | en |
dc.rights | Post-print |
dc.subject | Model-Bases Systems Engineering |
dc.subject | Validation |
dc.subject | Verification |
dc.subject | Modelica |
dc.subject | Property-Based Requirement |
dc.subject | Property-Model Methodology |
dc.title | Property Model Methodology: A case study with Modelica |
dc.typdoc | Communication avec acte |
dc.localisation | Centre de Aix en Provence |
dc.subject.hal | Informatique: Ingénierie assistée par ordinateur |
dc.subject.hal | Informatique: Modélisation et simulation |
dc.subject.hal | Sciences de l'ingénieur: Mécanique |
ensam.audience | Internationale |
ensam.conference.title | Tools and Methods of Competitive Engineering (TMCE) |
ensam.conference.date | 2016-05-09 |
ensam.country | France |
ensam.title.proceeding | Proceedings of Tools and Methods of Competitive Engineering |
ensam.page | 79-91 |
ensam.city | Aix-en-Provence |
ensam.peerReviewing | Oui |
ensam.invitedCommunication | Non |
ensam.proceeding | Oui |
hal.identifier | hal-01357796 |
hal.version | 1 |
hal.status | accept |