{"id":1124,"date":"2023-03-29T14:07:00","date_gmt":"2023-03-29T12:07:00","guid":{"rendered":"http:\/\/www.univ-oeb.dz\/RELACS\/?page_id=1124"},"modified":"2023-06-17T15:38:32","modified_gmt":"2023-06-17T14:38:32","slug":"equipe-3","status":"publish","type":"page","link":"https:\/\/www.univ-oeb.dz\/RELACS\/equipe-3\/","title":{"rendered":"Team 3: MoVeVaSiS"},"content":{"rendered":"<h5><strong><span style=\"color: #0000ff;\">M<\/span>odelling, <span style=\"color: #0000ff;\">V<\/span>erification, <span style=\"color: #0000ff;\">V<\/span>alidation and <span style=\"color: #0000ff;\">S<\/span>imulation of <span style=\"color: #0000ff;\">S<\/span>ystems<\/strong><\/h5>\n<hr \/>\n<p><span style=\"color: #000000;\">Model-driven engineering (<strong>MDE<\/strong>) is used for constructing comprehensive modeling and specification environments, enabling even automatic or semi-automatic generation of low-level code. MDE aims to make models and formally specified metamodels productive by providing automated construction of suitable environments.<\/span><\/p>\n<hr \/>\n<h5><span style=\"color: #0000ff;\"><strong>Objectives<\/strong><\/span><\/h5>\n<p><span style=\"color: #000000;\">The objective of the team is to <strong>model complex systems<\/strong>, <strong>verify<\/strong> and <strong>validate<\/strong> the developed models, as well as solve and <strong>simulate<\/strong> them. The study includes security, reliability, and functional safety analysis of systems based on their models. Quantitative and qualitative evaluation, optimization, and simulation coupled with graphical animation of systems are essential activities in studying and analyzing systems for a <strong>better understanding of their dynamics and operation<\/strong>.<\/span><\/p>\n<p><span style=\"color: #000000;\">All the activities mentioned above require appropriate tools, and their development is among our objectives. In particular, the formalisms used can even be considered as <strong>Domain-Specific Languages (DSLs)<\/strong>, which in turn require environments that enable their simple, secure, and above all, productive utilization.<\/span><\/p>\n<hr \/>\n<h5><span style=\"color: #0000ff;\"><strong>Scientific\u00a0<\/strong><strong>Foundations\u00a0<\/strong><\/span><\/h5>\n<p><span style=\"color: #000000;\">In the context of modeling complex systems, research revolves around several complementary and current themes:<\/span><\/p>\n<ul>\n<li><span style=\"color: #000000;\">Multiformalism and multiparadigm modeling and simulation of systems,<\/span><\/li>\n<li><span style=\"color: #000000;\">Model verification and validation,<\/span><\/li>\n<li><span style=\"color: #000000;\">Computer system security,<\/span><\/li>\n<li><span style=\"color: #000000;\">Visualization and graphical animation,<\/span><\/li>\n<li><span style=\"color: #000000;\">Model-driven engineering,<\/span><\/li>\n<li><span style=\"color: #000000;\">Performance evaluation,<\/span><\/li>\n<li><span style=\"color: #000000;\">Multicriteria optimization,<\/span><\/li>\n<li><span style=\"color: #000000;\">Decision support systems,<\/span><\/li>\n<\/ul>\n<hr \/>\n<h5><span style=\"color: #0000ff;\"><strong>Projects:<\/strong><\/span><\/h5>\n<hr \/>\n<h5><span style=\"color: #0000ff;\"><strong>Publications:<\/strong><\/span><\/h5>\n<hr \/>\n<h5><span style=\"color: #0000ff;\"><strong>Members:<\/strong><\/span><\/h5>\n","protected":false},"excerpt":{"rendered":"<p>Modelling, Verification, Validation and Simulation of Systems Model-driven engineering (MDE)&hellip;<\/p>\n","protected":false},"author":1,"featured_media":1266,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/www.univ-oeb.dz\/RELACS\/wp-json\/wp\/v2\/pages\/1124"}],"collection":[{"href":"https:\/\/www.univ-oeb.dz\/RELACS\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.univ-oeb.dz\/RELACS\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.univ-oeb.dz\/RELACS\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.univ-oeb.dz\/RELACS\/wp-json\/wp\/v2\/comments?post=1124"}],"version-history":[{"count":5,"href":"https:\/\/www.univ-oeb.dz\/RELACS\/wp-json\/wp\/v2\/pages\/1124\/revisions"}],"predecessor-version":[{"id":1283,"href":"https:\/\/www.univ-oeb.dz\/RELACS\/wp-json\/wp\/v2\/pages\/1124\/revisions\/1283"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.univ-oeb.dz\/RELACS\/wp-json\/wp\/v2\/media\/1266"}],"wp:attachment":[{"href":"https:\/\/www.univ-oeb.dz\/RELACS\/wp-json\/wp\/v2\/media?parent=1124"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}