HATS
Highly adaptable and trustworthy software using formal models
| Coordinatore | CHALMERS TEKNISKA HOEGSKOLA AB
Organization address contact info |
| Nazionalità Coordinatore | Sweden [SE] |
| Totale costo | 6˙889˙340 € |
| EC contributo | 5˙270˙000 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Funding Scheme | CP |
| Anno di inizio | 2009 |
| Periodo (anno-mese-giorno) | 2009-03-01 - 2013-02-28 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 | CHALMERS TEKNISKA HOEGSKOLA AB | SE | coordinator | 0.00 |
| 2 |
ALMA MATER STUDIORUM-UNIVERSITA DI BOLOGNA
Organization address
address: Via Zamboni 33 contact info |
IT (BOLOGNA) | participant | 0.00 |
| 3 | FRAUNHOFER IAF | DE | participant | 0.00 |
| 4 |
FREDHOPPER B.V.
Organization address
address: SARPHATIKADE 8 contact info |
NL (AMSTERDAM) | participant | 0.00 |
| 5 |
INSTITUTO MADRILENO DE ESTUDIOS AVANZADOS FUNDACION
Organization address
address: CARRERA DE SAN JERONIMO 15 2A contact info |
ES (MADRID) | participant | 0.00 |
| 6 | KATHOLIEKE UNIVERSITEIT LEUVEN | BE | participant | 0.00 |
| 7 | KUNGLIGA TEKNISKA HOEGSKOLAN | SE | participant | 0.00 |
| 8 |
NORSK REGNESENTRAL STIFTELSE
Organization address
address: Gaustadalleen 23 contact info |
NO (OSLO) | participant | 0.00 |
| 9 |
STICHTING CENTRUM VOOR WISKUNDE EN INFORMATICA
Organization address
address: Kruislaan 413 contact info |
NL (AMSTERDAM) | participant | 0.00 |
| 10 |
TECHNISCHE UNIVERSITAET KAISERSLAUTERN
Organization address
address: GOTTLIEB-DAIMLER-STRASSE -Geb. 47 contact info |
DE (KAISERSLAUTERN) | participant | 0.00 |
| 11 |
UNIVERSIDAD POLITECNICA DE MADRID
Organization address
address: Calle Ramiro de Maeztu 7 contact info |
ES (MADRID) | participant | 0.00 |
| 12 |
UNIVERSITETET I OSLO
Organization address
address: PROBLEMVEIEN 5-7 contact info |
NO (OSLO) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
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 accommodate 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.