Opis projektu ICT forever yours Pokaż cel projektu Ukryj cel projektu Software systems are central for the infrastructure of modern society. To justify the huge investments such systems need to live for decades. This requires software which is highly adaptable. Software systems must support a high degree of (spatial) variability to accomodate a range of requirements and operating conditions, and temporal evolvability to allow these parameters to change over time. Current approaches to reusability and maintenance are inadequate to cope with the dynamics and longevity of future software applications and infrastructures, e.g. for e-commerce, e-health and e-government. At the same time, we rely increasingly on systems that provide a high degree of trustworthiness. Thus, the major challenge facing software construction in the next decades is high adaptability combined with trustworthiness. A severe limitation of current development practices is the missing rigour of models and property specifications. Without a formal notation of distributed, component-based systems it is impossible to achieve automation for consistency checking, enforcement of security, generation of trustworthy code, etc. Furthermore, it does not suffice to simply extend current formal approaches. We propose to take an empirically successful, yet informal software development paradigm and put it on a formal basis. Specifically, we will turn software product family (SWPF) development into a rigorous approach. The technical core of the project is an Abstract Behavioural Specification language which will allow precise description of SWPF features and components and their instances. The main project outcome is a methodological and tool framework achieving not merely far-reaching automation in maintaining dynamically evolving software, but an unprecedented level of trust while informal processes are replaced with rigorous analyses based on formal semantics. This includes the perspective of designing self-adapting software systems. Dziedzina nauki natural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwaresocial sciencessociologyindustrial relationsautomationnatural sciencescomputer and information sciencessoftwaresoftware developmentsocial scienceseconomics and businessbusiness and managementcommercee-commercesocial sciencespolitical sciencesgovernment systemse-governance Program(-y) FP7-ICT - Specific Programme "Cooperation": Information and communication technologies Temat(-y) ICT-2007.8.6 - ICT forever yours Zaproszenie do składania wniosków FP7-ICT-2007-3 Zobacz inne projekty w ramach tego zaproszenia System finansowania CP - Collaborative project (generic) Koordynator CHALMERS TEKNISKA HOGSKOLA AB Wkład UE € 741 895,00 Adres - 412 96 GOTEBORG Szwecja Zobacz na mapie Region Södra Sverige Västsverige Västra Götalands län Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Per Waborg (Mr.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych Uczestnicy (14) Sortuj alfabetycznie Sortuj według wkładu UE Rozwiń wszystko Zwiń wszystko KATHOLIEKE UNIVERSITEIT LEUVEN Belgia Wkład UE € 367 480,00 Adres OUDE MARKT 13 3000 Leuven Zobacz na mapie Region Vlaams Gewest Prov. Vlaams-Brabant Arr. Leuven Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Maria Vereeken (Ms.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych TECHNISCHE UNIVERSITAT DARMSTADT Niemcy Wkład UE € 81 600,00 Adres KAROLINENPLATZ 5 64289 Darmstadt Zobacz na mapie Region Hessen Darmstadt Darmstadt, Kreisfreie Stadt Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Reiner Hähnle (Dr.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych FRAUNHOFER GESELLSCHAFT ZUR FORDERUNG DER ANGEWANDTEN FORSCHUNG EV Niemcy Wkład UE € 367 430,00 Adres HANSASTRASSE 27C 80686 Munchen Zobacz na mapie Region Bayern Oberbayern München, Kreisfreie Stadt Rodzaj działalności Research Organisations Kontakt administracyjny Maximilian Steiert (Dr.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT Niemcy Wkład UE € 447 420,00 Adres GOTTLIEB DAIMLER STRASSE 67663 Kaiserslautern Zobacz na mapie Region Rheinland-Pfalz Rheinhessen-Pfalz Kaiserslautern, Kreisfreie Stadt Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Berthold Klein (Mr.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych TALLINNA TEHNIKAUELIKOOLI KUEBERNEETIKA INSTITUUT Estonia Wkład UE € 337 480,00 Adres Akadeemia tee, 21 12618 TALLINN Zobacz na mapie Rodzaj działalności Research Organisations Kontakt administracyjny Tarmo Uustalu (Dr.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych UNIVERSIDAD POLITECNICA DE MADRID Hiszpania Wkład UE € 478 347,00 Adres CALLE RAMIRO DE MAEZTU 7 EDIFICIO RECTORADO 28040 Madrid Zobacz na mapie Region Comunidad de Madrid Comunidad de Madrid Madrid Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Gonzalo León (Mr.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Włochy Wkład UE € 482 538,00 Adres VIA ZAMBONI 33 40126 Bologna Zobacz na mapie Region Nord-Est Emilia-Romagna Bologna Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Davide Sangiorgi (Prof.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych Fredhopper B.V. Niderlandy Wkład UE € 445 648,00 Adres HOOGOORDDREEF 1101 BE AMSTERDAM ZUIDOOST Zobacz na mapie Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Kontakt administracyjny Barthold IJssel de Schepper (Dr.) Linki Kontakt z organizacją Opens in new window Koszt całkowity Brak danych STICHTING CENTRUM VOOR WISKUNDE EN INFORMATICA Niderlandy Wkład UE € 456 887,00 Adres Science Park 123 1098XG AMSTERDAM Zobacz na mapie Rodzaj działalności Research Organisations Kontakt administracyjny Margriet Brouwer (Ms.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych NORSK REGNESENTRAL Norwegia Wkład UE € 450 249,00 Adres GAUSTADALLEEN 23 A 0314 Oslo Zobacz na mapie Region Norge Oslo og Viken Oslo Rodzaj działalności Research Organisations Kontakt administracyjny Lise Lundberg (Ms.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych UNIVERSITETET I OSLO Norwegia Wkład UE € 493 980,00 Adres PROBLEMVEIEN 5-7 0313 Oslo Zobacz na mapie Region Norge Oslo og Viken Oslo Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Morten Dæhlen (Prof.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych KUNGLIGA TEKNISKA HOEGSKOLAN Szwecja Wkład UE € 485 326,00 Adres BRINELLVAGEN 8 100 44 Stockholm Zobacz na mapie Region Östra Sverige Stockholm Stockholms län Rodzaj działalności Higher or Secondary Education Establishments Kontakt administracyjny Christina Billing-Ericson (Ms.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych INSTITUTO MADRILENO DE ESTUDIOS AVANZADOS FUNDACION Zakończenie uczestnictwa Hiszpania Wkład UE € 0,00 Adres CALLE ISAAC NEWTON 2 28760 TRES CANTOS Zobacz na mapie Rodzaj działalności Research Organisations Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych FUNDACION IMDEA SOFTWARE Hiszpania Wkład UE € 0,00 Adres CAMPUS DE MONTEGANCEDO SN 28223 Pozuelo De Alarcon Zobacz na mapie Region Comunidad de Madrid Comunidad de Madrid Madrid Rodzaj działalności Research Organisations Kontakt administracyjny Marta Sedano (Ms.) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych