Objectif AFRODITE aims to demonstrate the applicability of formal specification to the development of combined software/hardware systems in a technical environment, using an extended version VDM. The applications will include safety-critical and highly distributed systems and the design of a dedicated parallel real-time computer architecture for on-line data acquisition.The applicability of formal specification to the development of combined software/hardware systems in a technical environment, using an extended version Vienna development method (VDM) has been demonstrated. The applications include safety critical and highly distributed systems and the design of a dedicated parallel real time computer architecture for on line data acquisition.The object oriented (OO), parallel and real time part of what is now called VDM++ has been designed. The consolidation based upon the experience of the pilot applications for the OO part has been achieved. Tool support comprising syntax checking, extensive static semantic checking, pretty printing and (large scale) specification management is available. The efforts to embed VDM++ into existing (nonformal) development methods and their tools led to the inclusion of this formal language into the object modelling technique (OMT) as an extra module in an OMT case environment. Champ scientifique natural sciencescomputer and information sciencessoftware Programme(s) FP3-ESPRIT 3 - Specific research and technological development programme (EEC) in the field of information technologies, 1990-1994 Thème(s) Data not available Appel à propositions Data not available Régime de financement Data not available Coordinateur CAP GEMINI INTERNATIONAL SUPPORT Contribution de l’UE Aucune donnée Adresse BURGEMEESTER ELSENLAAN, 170, 3027 2280 GA RIJSWIJK Pays-Bas Voir sur la carte Coût total Aucune donnée Participants (9) Trier par ordre alphabétique Trier par contribution de l’UE Tout développer Tout réduire CERN France Contribution de l’UE Aucune donnée Adresse Site de Prévessin 01631 Prevessin Voir sur la carte Coût total Aucune donnée Defence Research Agency (DRA) Royaume-Uni Contribution de l’UE Aucune donnée Adresse St Andrews Road WR14 3PS Malvern Voir sur la carte Coût total Aucune donnée HELLENIC INFORMATION TECHNOLOGIES AND ENGINEERING COMPANY S.A. Grèce Contribution de l’UE Aucune donnée Adresse ANDROUTSOU, 4 174 55 ALINOS Voir sur la carte Coût total Aucune donnée IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE Royaume-Uni Contribution de l’UE Aucune donnée Adresse Queens Gate 180 SW7 2BZ LONDON Voir sur la carte Coût total Aucune donnée Instituttet for Anvendt Datateknik /Ifad Danemark Contribution de l’UE Aucune donnée Adresse Forskerparken 10 5230 Odense M Voir sur la carte Coût total Aucune donnée Lloyds Register of Shipping Royaume-Uni Contribution de l’UE Aucune donnée Adresse 29 Wellesley Road CR0 2AJ Croydon Voir sur la carte Coût total Aucune donnée TECHNISCHE UNIVERSITEIT DELFT Pays-Bas Contribution de l’UE Aucune donnée Adresse LANDBERGSTRAAT, 35 2628 CE DELFT Voir sur la carte Coût total Aucune donnée UNIVERSITEIT VAN UTRECHT Pays-Bas Contribution de l’UE Aucune donnée Adresse PRINCETONPLEINWEG 5, 80000 3508 TA UTRECHT Voir sur la carte Coût total Aucune donnée University of Manchester Royaume-Uni Contribution de l’UE Aucune donnée Adresse Oxford Road M13 9PL Manchester Voir sur la carte Coût total Aucune donnée