diff --git a/src/components/indexpage-components/EducationCounters.tsx b/src/components/indexpage-components/EducationCounters.tsx index 144e7988..297f6d19 100644 --- 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 index 3af2ea8a..0d1632b6 100644 --- 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 index 73a21e6c..7a1853ec 100644 --- 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 = ({ heroBackgroundImage }) => { - - + + diff --git a/src/content/images/projects/vampir-esa-project.png b/src/content/images/projects/vampir-esa-project.png new file mode 100644 index 00000000..6006147e Binary files /dev/null and b/src/content/images/projects/vampir-esa-project.png differ diff --git a/src/content/projects/projects.yml b/src/content/projects/projects.yml index 2cf75e77..0eb4e389 100644 --- 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 index 52b2c92a..6a88ea4d 100644 --- 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 index 5177eb9f..2af1d917 100644 --- a/src/locales/en/research.json +++ b/src/locales/en/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": "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", @@ -13,12 +13,13 @@ "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 index d38dcd9d..aa9c731c 100644 --- 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 és az <1>Impulzus interjújában olvasható.", diff --git a/src/locales/hu/research.json b/src/locales/hu/research.json index f2754d21..0d1769c4 100644 --- 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 new file mode 100644 index 00000000..43d302e3 --- /dev/null +++ b/static/images/logos/refinery-logo.svg @@ -0,0 +1 @@ +