Research groups

Laboratories

Formalization and Semi-Automation of Software Development – the goal is to create methodologies and tools that enable a formal approach to software development and its partial automation, thereby increasing the efficiency and reliability of the development process.

Software Quality Assurance (SQA) – focused on ensuring software quality through processes, standards, and techniques that guarantee the software meets defined requirements and is error-free.

Evidence-Based Software Engineering (EBSE) – employs scientifically validated approaches and data to optimize and manage software engineering processes, based on evidence from empirical studies.

SPICE (Software Process Improvement and Capability Determination) – a model for assessing and improving software development processes, providing a structured approach to enhancing the capabilities of development teams.

Automotive SPICE – a specific application of SPICE for the automotive industry, aimed at improving processes in the development and quality assurance of automotive software.

Distributed Software Architectures – research and development of architectures that support distributed systems, enabling computational tasks to be distributed across multiple components running on different physical or virtual machines.

Programming Technologies 

Cooperation

Projects

• Štolfa Svatopluk Ing., Ph.D.: ECQA Certified Electric Powertrain Engineer, Erasmus - IP (Intensive programs) (2019 - 2022)
• Štolfa Svatopluk Ing., Ph.D.: DRIVES (Development and Research on Innovative Vocational Education Skills), Erasmus - IP (Intensive programs) (2018 - 2022)
• Štolfa Jakub Ing., Ph.D.: ECQA Certified Cybersecurity Engineer and Manager – Automotive Sector, ERASMUS (2020 - 2023)
• Štolfa Jakub Ing., Ph.D.: Alliance for Batteries Training and Skills, ERASMUS (2019 - 2024)
• Kožusznik Jan Ing., Ph.D.: ČEPS,a.s.,Kožusznik,5869, Ministerstvo školství, mládeže a tělovýchovy (2022 - 2022)
• Štolfa Jakub Ing., Ph.D.: FULLCOM systems s.r.o.,Št, Ministerstvo školství, mládeže a tělovýchovy (2022 - 2022)
• Štolfa Jakub Ing., Ph.D.: TITSMPO116 Návrh strategického rámce vysokoškolského vzdělávání pro sektor automotive, Technologická agentura ČR (2022 - 2024)
• Štolfa Jakub Ing., Ph.D.: Project for Assessment and Support of Key Skills/Competences, ERASMUS (2022 - 2024)
• Štolfa Jakub Ing., Ph.D.: Forward Looking Approaches for Green Mobility Ecosystem Network Collaboration (FLAMENCO), ERASMUS (2023 - 2024)
• Štolfa Jakub Ing., Ph.D.: Capacity Building for Battery Teachers in Vocational Education and Training (CaBatt), ERASMUS (2023 - 2025)
• Štolfa Jakub Ing., Ph.D.: A Greener European VET Network (GREEN), ERASMUS (2023 - 2024)
• Štolfa Jakub Ing., Ph.D.: TRAUTOM – Kompetence pro 21. století, Ministerstvo životního prostředí (2023 - 2027)
• Štolfa Jakub Ing., Ph.D.: ChemSkills: enabling the green and digital skills transformation of the chemical industry, ERASMUS (2023 - 2027)
• Štolfa Jakub Ing., Ph.D.: European Chips Skills Academy (ECS Academy), ERASMUS (2023 - 2027)
• Štolfa Svatopluk Ing., Ph.D.: Aplikace formálních metod v oblastech modelování znalostí a softwarovém inženýrství VII, Ministerstvo školství, mládeže a tělovýchovy (2024 - 2024)
• Štolfa Svatopluk Ing., Ph.D.: Digital & Green Skills Towards Future of the Mobility Ecosystem (TRIREME), ERASMUS (2024 - 2027)
• Štolfa Jakub Ing., Ph.D.: Boosting Resilience In five industrial ecosystems through adoption and Deployment of advanced technoloGiEs among SMEs (BRIDGESMEs), Evropská unie (2024 - 2026)
• Štolfa Svatopluk Ing., Ph.D.: Aplikace formálních metod v oblastech modelování znalostí a softwarovém inženýrství VIII, Ministerstvo školství, mládeže a tělovýchovy (2025 - 2025)

Publications

• Kuchař, Š., Vondrák, I. (2016). Automatic Allocation of Resources in Software Process Simulations Using Their Capability and Productivity,, Journal of Simulation, Volume 10, 227–236 [detail...]
• Štolfa, J., Štolfa, S., O’Connor, R., Messnarz, R. (2017). Preface, Communications in Computer and Information Science, 748, V-VII [detail...]
• Štolfa, J., Štolfa, S., Baio, C., Madaleno, U., Dolejší, P., Brugnoli, F., Messnarz, R. (2019). DRIVES-EU blueprint project for the automotive sector-A literature review of drivers of change in automotive industry, Journal of software: evolution and process, 32, 1-16 [detail...]
• Kožusznik, J., Bainar, P., Klímová, J., Krumnikl, M., Moravec, P., Svatoň, V., Tomančák, P. (2019). SPIM workflow manager for HPC, Bioinformatics, 35, 3875-3876 [detail...]
• Dobaj, J., Ekert, D., Štolfa, J., Štolfa, S., Macher, G., Messnarz, R. (2021). Cybersecurity threat analysis, risk assessment and design patterns for automotive networked embedded systems: A case study, Journal of Universal Computer Science, 27, 830-849 [detail...]
• Štolfa, S., Štolfa, J., Šimoník, P., Mrověc, T., Harach, T. (2021). Safety Design Strategies in Highly Autonomous Drive Level 2-Lateral Control Decomposition Concept, Journal of Universal Computer Science, 27, 811-829 [detail...]

Application results

• Kožusznik, J., Bainar, P., Klímová, J., Krumnikl, M., Moravec, P., Tomančák, P. (2020). SPIM Workflow Manager for HPC, Vysoká škola báňská – Technická univerzita Ostrava SOFTWARE [detail...]
• Kožusznik, J., Bainar, P. (2020). Scijava-parallel, Vysoká škola báňská – Technická univerzita Ostrava SOFTWARE [detail...]
• Kožusznik, J., Velissariou, DS., Krumnikl, M., Trnka, D., Bainar, P., Moravec, P., Tomančák, P., Ulman, V. (2021). HPC Workflow Manager, Vysoká škola báňská - Technická univerzita Ostrava SOFTWARE [detail...]
• Štolfa, J., Štolfa, S. (2022). DRIVES Learning Platform, Faculty of Electrical Engineering and Computer Science, VŠB-TUO SOFTWARE [detail...]
• Štolfa, J., Štolfa, S., Spányik, M. (2022). DRIVES Framework, Faculty of Electrical Engineering and Computer Science, VŠB-TUO SOFTWARE [detail...]

Team

Group leader

Ing. Jan Kožusznik, Ph.D.

Contact person

Ing. David Ježek, Ph.D.

Academic staff:

Ing. David Ježek, Ph.D., Ing. Jan Kožusznik, Ph.D., Ing. Svatopluk Štolfa, Ph.D., Ing. Jakub Štolfa, Ph.D., prof. Ing. Ivo Vondrák, CSc.

Externalists: