Projektbeschreibung
ICT forever yours
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.
Wissenschaftliches Gebiet
- natural sciencescomputer and information sciencessoftwaresoftware applicationssystem software
- social sciencessociologyindustrial relationsautomation
- natural sciencescomputer and information sciencessoftwaresoftware development
- social scienceseconomics and businessbusiness and managementcommercee-commerce
- social sciencespolitical sciencesgovernment systemse-governance
Programm/Programme
Thema/Themen
Aufforderung zur Vorschlagseinreichung
FP7-ICT-2007-3
Andere Projekte für diesen Aufruf anzeigen
Finanzierungsplan
CP - Collaborative project (generic)Koordinator
412 96 GOTEBORG
Schweden
Auf der Karte ansehen
Beteiligte (14)
3000 Leuven
Auf der Karte ansehen
64289 Darmstadt
Auf der Karte ansehen
80686 Munchen
Auf der Karte ansehen
67663 Kaiserslautern
Auf der Karte ansehen
12618 TALLINN
Auf der Karte ansehen
28040 Madrid
Auf der Karte ansehen
40126 Bologna
Auf der Karte ansehen
1101 BE AMSTERDAM ZUIDOOST
Auf der Karte ansehen
1098XG AMSTERDAM
Auf der Karte ansehen
0314 Oslo
Auf der Karte ansehen
0313 Oslo
Auf der Karte ansehen
100 44 Stockholm
Auf der Karte ansehen
Beteiligung beendet
28760 TRES CANTOS
Auf der Karte ansehen
28223 Pozuelo De Alarcon
Auf der Karte ansehen