Property model methodology : a case study with Modelica
dc.contributor.author | PINQUIE, Romain |
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.date.submitted | 2016 |
dc.identifier.uri | http://hdl.handle.net/10985/11405 |
dc.description.abstract | The aim of this paper is twofold. Firstly, it is intend-ed to demonstrate the relevance of the Property Model Methodology (PMM) to specify, validate, de-sign and verify continuous multi-physics systems. Secondly, it aims at verifying the compatibility of PMM concepts with the Modelica simulation lan-guage. 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 re-search so as to not only model other types of engi-neered systems such as discrete and hybrid systems, but also support additional systems engineering ac-tivities, such as safety-reliability. |
dc.language.iso | en |
dc.rights | Post-print |
dc.subject | Model-Based 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 |
ensam.audience | Internationale |
ensam.conference.title | Proceedings of Tools and Methods for Competitive Engineering (2016: aix-en-Provence :16) |
ensam.conference.date | 2016 |
ensam.country | France |
ensam.title.proceeding | Proceedings of Tools and Methods for Competitive Engineering - TMCE'16 |
ensam.page | 1-12 |
ensam.city | Aix-en-Provence |
ensam.peerReviewing | Oui |
ensam.invitedCommunication | Non |
ensam.proceeding | Oui |
hal.description.error | {"author":["Missing affiliation for all authors"]} |
hal.status | unsent |