Merge pull request #378 from ftsrg/update-2025-07

as3810t · web-flow · commit 5b5c1b279482 · 2025-07-10T08:44:34.000Z
Update 2025 07
diff --git a/src/components/indexpage-components/EducationCounters.tsx b/src/components/indexpage-components/EducationCounters.tsx
@@ -9,17 +9,17 @@ const counterData = [
     title: 'home.counters.c1.title',
     isGatsbyLink: false,
     url: 'https://diplomaterv.vik.bme.hu/hu/Browse.aspx?d=MIT&e=SE',
-    count: 600,
+    count: 757,
     suffix: '+'
-    /* From diplomaterv portal, 2010-2021 Summer */
+    /* diplomaterv portal: from 2010 until 2024/2025 Autumn */
   },
   {
     title: 'home.counters.c2.title',
     isGatsbyLink: false,
     url: 'https://tdk.bme.hu/browse',
-    count: 230,
+    count: 245,
     suffix: '+'
-    /* Until 2024-12: 38 OTDK (2001-) and 191 TDK (2000-) */
+    /* Until 2025-07: 55 OTDK (2001-) and 190 TDK (2000-) */
   },
   {
     title: 'home.counters.c3.title',
diff --git a/src/components/research-components/ProjectCounters.tsx b/src/components/research-components/ProjectCounters.tsx
@@ -8,9 +8,9 @@ const counterData = [
   {
     /* EEMCN, FUTEG, HIDE, DECOS, RESIST, Sensoria, Deserec, Diana, Hidenets, SafeDMI, Amber, Genesys, Mogentes,
       SecureChange, E-freight, R3-COP, CECRIS, Concerto, MONDO, R5-COP, ADVANCE, Arrowhead Tools, EMBrACE, ProtectME,
-      Urban Mobility ADA, SME4DD, OpenSCALING, EDGE-Skills, DOSS */
+      Urban Mobility ADA, SME4DD, OpenSCALING, EDGE-Skills, DOSS, RESCHIP4EU, Digitaltech EDIH */
     title: 'research.projects.counter1.title',
-    count: 29
+    count: 31
   },
   {
     title: 'research.projects.counter2.title',
diff --git a/src/components/research-components/ToolsSection.tsx b/src/components/research-components/ToolsSection.tsx
@@ -2,7 +2,6 @@ import { ImageDataLike, StaticImage } from 'gatsby-plugin-image'
 import { useI18next } from 'gatsby-plugin-react-i18next'
 import React, { PropsWithChildren } from 'react'
 import { Col, Row } from 'react-bootstrap'
-import { FaProjectDiagram } from 'react-icons/fa'
 import Hero from '~components/Hero'
 
 type Props = {
@@ -80,8 +79,13 @@ const ToolsSection: React.FC<Props> = ({ heroBackgroundImage }) => {
           </Tool>
         </Col>
         <Col lg={4} md={6} className="mb-5 mb-lg-0">
-          <Tool title="research.tools.tool3.title" desc="research.tools.tool3.desc" url="https://github.com/viatra/VIATRA-Generator">
-            <FaProjectDiagram size="3.65rem" />
+          <Tool title="research.tools.tool3.title" desc="research.tools.tool3.desc" url="https://refinery.tools/">
+            <StaticImage
+              src="../../../static/images/logos/refinery-logo.svg"
+              alt={t('research.tools.tool2.title')}
+              width={58}
+              style={{ filter: 'brightness(0) invert(1)' }}
+            />
           </Tool>
         </Col>
       </Row>
diff --git a/src/content/images/projects/vampir-esa-project.png b/src/content/images/projects/vampir-esa-project.png
diff --git a/src/content/projects/projects.yml b/src/content/projects/projects.yml
@@ -1,18 +1,28 @@
-- title: SME4DD
-  subtitle: Training SMEs for the Digital Decade
-  url: https://www.eitdigital.eu/eu-collaborations/sme4dd/
-  featuredImage: ../images/projects/sme4dd.png
-  description: research.projects.SME4DD
 - title: EDGE-Skills
   subtitle: European Dataspace for Growth and Education - Skills
   url: https://ec.europa.eu/info/funding-tenders/opportunities/portal/screen/how-to-participate/org-details/999999999/project/101123471/program/43152860/details
   featuredImage: ../images/projects/prometheus-x.jpg
   description: research.projects.edgeskills
+- title: VAMPIR
+  subtitle: Verifiable AI/ML techniques for PNT applications
+  url: https://navisp.esa.int/project/details/294/show
+  featuredImage: ../images/projects/vampir-esa-project.png
+  description: research.projects.vampir
 - title: OpenSCALING
   subtitle: Open Standards for SCALable virtual engineerING
   url: https://itea4.org/project/openscaling.html
   featuredImage: ../images/projects/embrace.png
   description: research.projects.openscaling
+- title: DOSS
+  subtitle:  Secure-By-Design IoT Operation With Supply Chain Control
+  url: https://dossproject.eu
+  featuredImage: ../images/projects/doss.png
+  description: research.projects.doss
+- title: SME4DD
+  subtitle: Training SMEs for the Digital Decade
+  url: https://www.eitdigital.eu/eu-collaborations/sme4dd/
+  featuredImage: ../images/projects/sme4dd.png
+  description: research.projects.SME4DD
 - title: Competence Center
   subtitle: Safety Science and Technology Competence Center
   url: https://kompetenciakozpont.bme.hu/
@@ -28,11 +38,6 @@
   url: https://www.amazon.science/research-awards/program-updates/74-amazon-research-awards-recipients-announced
   featuredImage: ../images/projects/aws.jpg
   description: research.projects.AWS
-- title: DOSS
-  subtitle:  Secure-By-Design IoT Operation With Supply Chain Control
-  url: https://dossproject.eu
-  featuredImage: ../images/projects/doss.png
-  description: research.projects.doss
 - title: research.projects.allPrevious.title
   subtitle: research.projects.allPrevious.subtitle
   url: http://inf.mit.bme.hu/en/research/projects
diff --git a/src/locales/en/home.json b/src/locales/en/home.json
@@ -14,13 +14,13 @@
   "home.competences.c3.desc": "Empirical analysis, measurement and scaling of performance and reliability requirements based on qualitative models and fault modelling.",
   "home.education.card1.category": "Education",
   "home.education.card1.title": "Our courses cover the main topics of designing, analyzing and verifying critical systems",
-  "home.education.card1.desc": "We provide three specializations (Systems and Software Engineering at BSc, Critical Systems at MSc) and more than 12 courses for interested students.",
+  "home.education.card1.desc": "We provide two specializations (Software Engineering at BSc, Critical Systems at MSc) and more than 12 courses for interested students.",
   "home.education.card2.category": "Talent care",
   "home.education.card2.title": "Talent care is our top priority; our students are awarded regularly on international competitions",
   "home.education.card2.desc": "Our students participate in many innovative projects, from which new scientific results, open-source tools or industry collaborations emerge.",
   "home.education.card3.category": "Awards and scholarships",
   "home.education.card3.title": "Every year our students perform remarkably on excellence and research scholarships",
-  "home.education.card3.desc": "Research visits, Rector’s Award, New National Excellence Programme, National Higher Education Scholarship, University and Faculty Scholarships...",
+  "home.education.card3.desc": "Research visits, Rector's Award, University Research Scholarship Programme, National Higher Education Scholarship, University and Faculty Scholarships...",
   "home.about.p1": "Our main area is the design, verification, and analysis of critical software systems. High quality is not only the overarching attribute of our application domains, but it is in our DNA for research and education.",
   "home.about.p2": "Prof. András Pataricza founded the Fault Tolerant Systems Research Group (ftsrg) in 1994 at the Department of Artificial Intelligence and Systems Engineering of BME VIK. In the coming decade, ftsrg evolved into an internationally recognized research group in systems modeling, engineering and verification, participating in more than twenty EU-level R&D collaborative projects. From 2019, we continue the traditions of the first 25 years with a new design and the Critical Systems Research Group name while keeping the same „ftsrg” acronym and enthusiasm.",
   "home.about.p3": "",
diff --git a/src/locales/en/research.json b/src/locales/en/research.json
@@ -5,20 +5,21 @@
   "research.events.title": "$t(nav.research.events)",
   "research.publications.title": "$t(nav.research.publications)",
   "research.tools.title": "$t(nav.research.tools)",
-  "research.projects.description": "In the last 25 years, our research group participated in more than 20 EU cooperative research projects (FP4-H2020) and more than 25 direct industry collaborations. In our R&D projects, we develop new, innovative software-based solutions that help engineers create better systems.",
+  "research.projects.description": "In the last 25 years, our research group participated in more than 30 EU cooperative research projects (FP4-Horizon) and more than 25 direct industry collaborations. In our R&D projects, we develop new, innovative software-based solutions that help engineers create better systems.",
   "research.projects.counter1.title": "EU collaborative projects",
   "research.projects.counter2.title": "Cooperation with industry",
   "research.projects.counter3.title": "National and bilateral projects",
   "research.publications.fullPubList": "Full publication list",
   "research.publications.dataSets": "Datasets",
   "research.publications.slides": "Slides",
   "research.publications.description": "Our research group regularly publishes papers in the leading venues of software engineering (TSE, IST, STTT), model-driven engineering (MODELS, SoSyM), formal verification (TACAS, JAR) and software testing (ICST, STVR).",
+
   "research.tools.tool1.title": "Gamma statechart composition framework",
-  "research.tools.tool1.desc": "The Gamma modeling toolset helps to design and formally verify component-based reactive systems and can generate implementations automatically.",
+  "research.tools.tool1.desc": "The Gamma modeling toolset helps to design and formally verify component-based reactive systems and can generate implementations.",
   "research.tools.tool2.title": "Theta model checking framework",
   "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": "VIATRA Solver graphgenerator framework",
-  "research.tools.tool3.desc": "VIATRA Solver is a framework, which can automatically and efficiently generate consistent and diverse graphs from domain-specific models.",
+  "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.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.",
@@ -44,6 +45,7 @@
   "research.projects.allPrevious.subtitle": "From FP4 to H2020",
   "research.projects.allPrevious.desc": "EU collaborative projects (EEMCN, FUTEG, HIDE, DECOS, RESIST, Sensoria, Deserec, Diana, Hidenets, SafeDMI, Amber, Genesys, Mogentes, SecureChange, E-freight, R3-COP, CECRIS, Concerto, MONDO, R5-COP...) and national research grants (MTA Lendület, ERC_HU, OTKA...)",
   "research.projects.doss": "The DOSS project aims to create a secure-by-design methodology for improving the security and reliability of IoT operations by introducing an integrated monitoring and validation framework to IoT Supply Chains. FTSRG works on an impact assessment solution for generating security test targets from the aspect of system dependability.",
+  "research.projects.vampir": "The ESA-funded VAMPIR project develops a verification engine for AI-enhanced Positioning, Navigation, and Timing (PNT) application using graph reasoning. The verification engine is demonstrated on improving the performance of advanced driver assistance systems.",
 
   "research.events.disc2019.title": "DISC 2019",
   "research.events.disc2019.subtitle": "33rd Int. Symposium on Distributed Computing",
diff --git a/src/locales/hu/home.json b/src/locales/hu/home.json
@@ -14,13 +14,13 @@
   "home.competences.c3.desc": "Teljesítmény és megbízhatósági követelmények kísérleti vizsgálata, mérése, analízise, méretezése származtatott modellek alapján, hibamodellezés.",
   "home.education.card1.category": "Oktatás",
   "home.education.card1.title": "Képzésünk lefedi a kritikus rendszerek tervezésének, analízisének és üzemeltetésének legfontosabb területeit",
-  "home.education.card1.desc": "Három szakiránnyal (Rendszertervezés és Szoftverfejlesztés BSc-n, Kritikus rendszerek MSc-n) és több mint 12 tárggyal várjuk az érdeklődő hallgatókat.",
+  "home.education.card1.desc": "Két specializációval (Szoftverfejlesztés BSc-n, Kritikus rendszerek MSc-n) és több mint 12 tárggyal várjuk az érdeklődő hallgatókat.",
   "home.education.card2.category": "Tehetséggondozás",
   "home.education.card2.title": "Kiemelt figyelmet fordítunk a tehetséggondozásra, hallgatóink előkelő helyezéseket szereznek a kari és országos TDK-n",
   "home.education.card2.desc": "Hallgatóink számos innovatív projekten dolgoznak, amelyek nemritkán önálló tudományos eredményekhez és ipari együttműködésekhez vezetnek.",
   "home.education.card3.category": "Díjak, pályázatok",
   "home.education.card3.title": "Hallgatóink minden évben kiválóan szerepelnek a tanulmányi és kutatói pályázatokon, ösztöndíjakon",
-  "home.education.card3.desc": "Külföldi tanulmányutak, Rektori Különdíj, Új Nemzeti Kiválóság Program, Nemzeti Felsőoktatási Ösztöndíj, Kari és Egyetemi BME Ösztöndíjak...",
+  "home.education.card3.desc": "Külföldi tanulmányutak, Rektori Különdíj, Egyetemi Kutatói Ösztöndíj Program (EKÖP), Nemzeti Felsőoktatási Ösztöndíj (NFÖD), KBME Ösztöndíjak...",
   "home.about.p1": "Fő területünk a kritikus informatikai rendszerek, folyamatok és platformok tervezése, ellenőrzése és üzemeltetésének támogatása. A magas színvonalat nemcsak a tervezett rendszerekkel szemben várjuk el, hanem a kutatás és oktatás területén is magunkénak valljuk.",
   "home.about.p2": "A BME VIK Mesterséges Intelligencia és Rendszertervezés Tanszékén működő Hibatűrő Rendszerek Kutatócsoportot (ftsrg) 1994-ben alapította Prof. Pataricza András a hibatűrő számítástechnika kutatására és oktatására. A csoport az azóta eltelt években a rendszermodellezés, tervezés és ellenőrzés nemzetközileg jegyzett kutatócsoportjává vált, húsznál is több európai kutatási és ipari együttműködésben kamatoztatva tudását. 2019-től megújult arculattal, Kritikus Rendszerek Kutatócsoport (Critical Systems Research Group) néven, de a jól bevált „ftsrg” rövidítéssel és mentalitással folytatjuk az első 25 év hagyományait.",
   "home.about.p3": "Bővebben a kutatócsoportról a <0>BME</0> és az <1>Impulzus</1> interjújában olvasható.",
diff --git a/src/locales/hu/research.json b/src/locales/hu/research.json
@@ -5,7 +5,7 @@
   "research.events.title": "$t(nav.research.events)",
   "research.publications.title": "$t(nav.research.publications)",
   "research.tools.title": "$t(nav.research.tools)",
-  "research.projects.description": "A kutatócsoport az elmúlt 25 évben több mint húsz nagy EU-s kutatási projektben (FP4-H2020) és 25-nél is több közvetlen ipari együttműködésben vett részt. Kutatás-fejlesztési projektjeinkben olyan új, innovatív szoftveralapú megoldásokat hozunk létre, amelyek jelentősen megkönnyítik a mérnökök munkáját.",
+  "research.projects.description": "A kutatócsoport az elmúlt 25 évben több mint harminc nagy EU-s kutatási projektben (FP4-Horizon) és 25-nél is több közvetlen ipari együttműködésben vett részt. Kutatás-fejlesztési projektjeinkben olyan új, innovatív szoftveralapú megoldásokat hozunk létre, amelyek jelentősen megkönnyítik a mérnökök munkáját.",
   "research.projects.counter1.title": "EU-s kutatási projekt",
   "research.projects.counter2.title": "Ipari együttműködés",
   "research.projects.counter3.title": "Hazai és bilaterális projekt",
@@ -17,8 +17,8 @@
   "research.tools.tool1.desc": "A Gamma modellezőeszköz reaktív rendszerek komponensalapú tervezését, formális ellenőrzését, illetve implementációjának automatikus előállítását teszi lehetővé.",
   "research.tools.tool2.title": "A Theta modellellenőrző keretrendszer",
   "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 VIATRA Solver gráfgenerátor keretrendszer",
-  "research.tools.tool3.desc": "A VIATRA Solver egy keretrendszer, amely szakterület-specifikus nyelvek jólformált és változatos példánymodelljeinek automatikus és skálázódó generálására szolgál.",
+  "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.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.",
@@ -44,6 +44,7 @@
   "research.projects.allPrevious.subtitle": "FP4-től H2020-ig",
   "research.projects.allPrevious.desc": "EU keretprogramok (EEMCN, FUTEG, HIDE, DECOS, RESIST, Sensoria, Deserec, Diana, Hidenets, SafeDMI, Amber, Genesys, Mogentes, SecureChange, E-freight, R3-COP, CECRIS, Concerto, MONDO, R5-COP...) és hazai kutatási pályázatok (MTA Lendület, ERC_HU, OTKA...)",
   "research.projects.doss": "A DOSS projekt célja egy secure-by-design módszertan kidolgozása az IoT-műveletek biztonságának és megbízhatóságának növelésére. Ennek érdekében egy integrált monitorozási és validálási keretrendszert vezet be az IoT-ellátási láncokban. Az FTSRG egy hatáselemzési megoldáson dolgozik, amely a rendszer megbízhatóságának szempontjából határozza meg a biztonsági tesztcélokat.",
+  "research.projects.vampir": "Az ESA által támogatott VAMPIR projekt egy olyan verifikációs motort fejleszt ki, amivel AI-alapú Positioning, Navigation, and Timing (PNT) alkalmazások konzisztenciája javítható gráfalapú érvelésekkel. A verifikációs motor eredményeit fejlett vezetéstámogató rendszerek teljesítményének javításával demonstrálja.",
 
   "research.events.disc2019.title": "DISC 2019",
   "research.events.disc2019.subtitle": "33rd Int. Symposium on Distributed Computing",
diff --git a/static/images/logos/refinery-logo.svg b/static/images/logos/refinery-logo.svg
@@ -0,0 +1 @@
+<svg width="512" height="512" xmlns="http://www.w3.org/2000/svg"><path d="M447.98 179.335c-139.95-9.583-301.272-50.91-384-147.336v46.117C98.45 129.623 209.442 178.137 294.243 199.1c-84.796 20.963-195.791 69.476-230.265 120.985v46.117c82.73-96.422 244.053-137.752 384.002-147.334z" fill="#35373e" id="a"/><path d="M447.98 296.729c-113.755 4.192-287.485 40.727-384 136.557v46.716c95.14-103.612 279.898-137.754 384-143.745z" fill="#038a99" id="b"/></svg>

Original file line number	Diff line number	Diff line change
`@@ -8,9 +8,9 @@ const counterData = [`
`8`	`8`	`{`
`9`	`9`	`/* EEMCN, FUTEG, HIDE, DECOS, RESIST, Sensoria, Deserec, Diana, Hidenets, SafeDMI, Amber, Genesys, Mogentes,`
`10`	`10`	`SecureChange, E-freight, R3-COP, CECRIS, Concerto, MONDO, R5-COP, ADVANCE, Arrowhead Tools, EMBrACE, ProtectME,`
`11`		`- Urban Mobility ADA, SME4DD, OpenSCALING, EDGE-Skills, DOSS */`
	`11`	`+ Urban Mobility ADA, SME4DD, OpenSCALING, EDGE-Skills, DOSS, RESCHIP4EU, Digitaltech EDIH */`
`12`	`12`	`title: 'research.projects.counter1.title',`
`13`		`- count: 29`
	`13`	`+ count: 31`
`14`	`14`	`},`
`15`	`15`	`{`
`16`	`16`	`title: 'research.projects.counter2.title',`