Opis projektu
Oprogramowanie dla Przemysłu 4.0
Przemysł 4.0 czyli inaczej czwarta rewolucja przemysłowa, zakłada integrację systemów cyberfizycznych i internetu rzeczy, dużych zbiorów danych, chmury obliczeniowej, robotyki, systemów sztucznej inteligencji oraz obróbki przyrostowej. Kluczową technologią wspomagającą te rozwiązania jest oprogramowanie. Przykładowo, innowacje w dziedzinie oprogramowania są niezbędne dla rozwoju systemów cyberfizycznych. W związku z tym testowanie ma kluczowe znaczenie dla zapobiegania wadom, które mogą powodować ogromne straty. Finansowany przez UE projekt Dezyne Enterprise ma na celu opracowanie i wprowadzenie na rynek rozwiązania umożliwiającego tworzenie kompletnych, poprawnych i spójnych systemów oprogramowania. Jest to zestaw narzędzi umożliwiający inżynierom oprogramowania uzyskiwanie solidnych, wiarygodnych i odpornych wyników dzięki zastosowaniu technologii walidacji i formalnej weryfikacji. Jego celem jest zmniejszenie liczby wad nawet o 99,9 %.
Cel
"In the ""fourth industrial revolution"" (Industry 4.0) our society is already immersed, cyberphysical systems (CPS) are key to improve our way of life. CPS rely heavily on software innovation, so mastering the ability to innovate quickly in SW is crucial. Nevertheless, creating a complete, correct and consistent SW system is not trivial. During different stages of development, multiple defects can accumulate due to specification, design, or coding errors. Therefore, it is essential to undergo a testing phase to ensure that defects are remedied before the SW reaches the market. These defects can lead to massive economic losses for companies or, more importantly, putting people's lives at risk. Verum Software Tools BV is an independent company founded in 2014, aiming to revolutionize embedded software industry by introducing DEZYNE Enterprise with the purpose to be leaders within the Industry 4.0. DEZYNE is the definitive solution to develop complete, correct and consistent SW systems. DEZYNE is a SW development toolset that strengthens existing software engineering practices by enabling SW engineers to produce robust, reliable and resilient results through the application of validation and formal verification technologies. DEZYNE makes it possible to increase productivity by up to 300%, thanks to the automation of validation and verification of SW system models; to reduce field defects by up to 99.99%, thanks to advanced mathematical analysis for SW verification; and to reduce marketing time by more than 20%, speeding up and shortening the entire development process. This is achieved by focusing on detecting and repairing defects in a SW system during the specification and design phases, so that total costs, time and field defects are severely minimised. We estimate that this project will bring cumulative profits of €13.56 million by 2024 and the generation of 29 new job positions, with a ROI in 2024 of 4.61."
                                Dziedzina nauki (EuroSciVoc)
                                                                                                            
                                            
                                            
                                                Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
                                                
                                            
                                        
                                                                                                
                            Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki przyrodnicze matematyka matematyka czysta analiza matematyczna
- nauki społeczne socjologia stosunki przemysłowe automatyzacja
- nauki społeczne nauki polityczne przemiany polityczne rewolucje
- nauki społeczne ekonomia i biznes ekonomia ekonomia produkcji produktywność
- nauki przyrodnicze informatyka oprogramowanie aplikacje komputerowe oprogramowanie symulacyjne
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Przepraszamy… podczas wykonywania operacji wystąpił nieoczekiwany błąd.
Wymagane uwierzytelnienie. Powodem może być wygaśnięcie sesji.
Dziękujemy za przesłanie opinii. Wkrótce otrzymasz wiadomość e-mail z potwierdzeniem zgłoszenia. W przypadku wybrania opcji otrzymywania powiadomień o statusie zgłoszenia, skontaktujemy się również gdy status ulegnie zmianie.
            Program(-y)
            
              
              
                Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
                
              
            
          
                      Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
- 
                  H2020-EU.2.3. - INDUSTRIAL LEADERSHIP - Innovation In SMEs
                                      GŁÓWNY PROGRAM
                                    
 Wyświetl wszystkie projekty finansowane w ramach tego programu
- 
                  H2020-EU.3. - PRIORITY 'Societal challenges
                                    
 Wyświetl wszystkie projekty finansowane w ramach tego programu
- 
                  H2020-EU.2.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies
                                    
 Wyświetl wszystkie projekty finansowane w ramach tego programu
            Temat(-y)
            
              
              
                Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
                
              
            
          
                      
                  Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
            System finansowania
            
              
              
                Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
                
              
            
          
                      Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
SME-1 - SME instrument phase 1
Wyświetl wszystkie projekty finansowane w ramach tego programu finansowania
                Zaproszenie do składania wniosków
                
                  
                  
                    Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
                    
                  
                
              
                              Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
(odnośnik otworzy się w nowym oknie) H2020-EIC-SMEInst-2018-2020
Wyświetl wszystkie projekty finansowane w ramach tego zaproszeniaKoordynator
Kwota netto dofinansowania ze środków Unii Europejskiej. Suma środków otrzymanych przez uczestnika, pomniejszona o kwotę unijnego dofinansowania przekazanego powiązanym podmiotom zewnętrznym. Uwzględnia podział unijnego dofinansowania pomiędzy bezpośrednich beneficjentów projektu i pozostałych uczestników, w tym podmioty zewnętrzne.
5708 JZ Helmond
Niderlandy
Organizacja określiła się jako MŚP (firma z sektora małych i średnich przedsiębiorstw) w czasie podpisania umowy o grant.
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.
 
           
        