Add Eclipse VIATRA to the tools section

Author: istvanrath

src/components/research-components/ToolsSection.tsx

@@ -78,6 +78,8 @@ const ToolsSection: React.FC<Props> = ({ heroBackgroundImage }) => {
             />
           </Tool>
         </Col>
+    </Row>
+      <Row className="justify-content-center align-items-stretch" style={{ marginTop: '6rem' }}>
         <Col lg={4} md={6} className="mb-5 mb-lg-0">
           <Tool title="research.tools.tool3.title" desc="research.tools.tool3.desc" url="https://refinery.tools/">
             <StaticImage
@@ -88,6 +90,16 @@ const ToolsSection: React.FC<Props> = ({ heroBackgroundImage }) => {
             />
           </Tool>
         </Col>
+        <Col lg={4} md={6} className="mb-5 mb-lg-0">
+          <Tool title="research.tools.tool4.title" desc="research.tools.tool4.desc" url="https://eclipse.dev/viatra">
+            <StaticImage
+              src="../../../static/images/logos/viatra.png"
+              alt={t('research.tools.tool4.title')}
+              width={58}
+              style={{ filter: 'brightness(0) invert(1)' }}
+            />
+          </Tool>
+        </Col>
       </Row>
     </Hero>
   )

src/locales/en/research.json

@@ -20,6 +20,8 @@
   "research.tools.tool2.desc": "The Theta model checking framework is a collection of modern, abstraction refinement-based algorithms, which can be tailored to the give problem due to their configurability.",
   "research.tools.tool3.title": "Refinery graph solver",
   "research.tools.tool3.desc": "Refinery is an efficient graph solver for generating diverse, well-formed domain-specific models using partial modeling techniques.",
+  "research.tools.tool4.title": "VIATRA",
+  "research.tools.tool4.desc": "Eclipse VIATRA is a model query and transformation framework, focusing on high-performance and incremental synchronization.",
 
   "research.publications.autoGenGraphModel": "We designed a new method to solve optimization problems during graph generations according to various object functions.",
   "research.publications.autoGenQualitative": "We designed new algorithms to combine various solvers for synthesizing test scenarios represented as graph models.",

src/locales/hu/research.json

@@ -19,6 +19,8 @@
   "research.tools.tool2.desc": "A Theta modellellenőrző keretrendszer absztrakció-finomítás alapú, korszerű algoritmusok kollekciója, amelyek kombinálhatóságuk révén mindig az adott problémához szabhatók.",
   "research.tools.tool3.title": "A Refinery gráfmegoldó keretrendszer",
   "research.tools.tool3.desc": "A Refinery egy keretrendszer, amely szakterület-specifikus nyelvek jólformált és változatos példánymodelljeinek automatikus és hatékony generálására szolgál.",
+  "research.tools.tool4.title": "VIATRA",
+  "research.tools.tool4.desc": "Az Eclipse VIATRA egy modell-transzformációs keretrendszer, amely hatékony mintaillesztést és inkrementális modell-szinkronizálási képességeket nyújt.",
 
   "research.publications.autoGenGraphModel": "Olyan módszereket javasoltunk, amivel gráfok generálása során adott célfüggvény szerinti optimalizációs problémákat tudunk megoldani.",
   "research.publications.autoGenQualitative": "Olyan új algoritmusokat javasoltunk, amik többféle megoldó kombinálásával képesek teszt forgatókönyvek automatikus generálására.",