Obiettivo The primary goal of the PANGLOSS project was to develop a systematic design and development methodology for concurrent systems which would reduce the amount of compromise and resolve the inconsistencies commonly encountered in the early stages of a designprocess. The main aims were to: -define a methodology for the development of concurrent systems -define a gateway architecture for the interworking of OSI system networks -design a high-performance network gateway using the defined methodology. In addition, and by way of proving the methodology, the project aimed to design a high-performance network gateway for linking OSI systems using the PANGLOSS method. Whilst the methodology can be applied to concurrent systems in general, the choice of a gateway was seen as a sufficiently difficult target for testing the usability method. This is because of the predicted need for high traffic loads and transfer rates for gateways if they are to meet the demands of the new networking technologies (such as local area networks, satellite links, fibre optics, broadband systems, and integrated services digital networks). The primary goal of the parallel architecture for networking gateways linking open systems interconnection (OSI) systems (PANGLOSS) project was to develop a systematic design and development methodology for concurrent systems which would reduce the amount of compromise and resolve the inconsistencies commonly encountered in the early stages of a design process.The PANGLOSS method relied on the use of a reference architecture, obtained and refined during the lifetime of the project by a process of abstraction from a number of well defined scenarios, from which an implementation design was then developed. The design process was guided at each stage by performance considerations which provide feedback to both the architectural and implementation work. Performance objectives were met by modular design and flexible topologies so that modules could be added when performance requirements increased. An important feature of the project the project was the use of formal methods as a design tool. This enabled the design process to be verified at each stage to show logical consistency and conformity to objectives. The project demonstrated the feasibility of the method, though for widespread industrial use more tools to support the formal processes are required. The method is in use in adapted form. The example design of the gateway was produced to demonstrate the method, and could form the basis of a family of gateway products.The PANGLOSS method relies on the use of a reference architecture, obtained and refined during the lifetime of the project by a process of abstraction from a number of well-defined scenarios, from which an implementation design can then be developed. The design process is guided at each stage by performance considerations which provide feedback to both the architectural and implementation work. Performance objectives are met by modular design and flexible topologies so that modules can be added when performance requirements increase. An important feature of the project was the use of formal methods as a design tool. This enabled the design process to be verified at each stage to show logical consistency and conformity to objectives. The project demonstrated the feasibility of the method, though for widespread industrial use more tools to support the formal processes are required. The method is in use in adapted form. The example design of the gateway was produced to demonstrate the method, and could form the basis of a family of gateway products. Campo scientifico engineering and technologymechanical engineeringvehicle engineeringaerospace engineeringsatellite technologynatural sciencesmathematicspure mathematicstopologynatural sciencesphysical sciencesopticsfibre optics Programma(i) FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988 Argomento(i) Data not available Invito a presentare proposte Data not available Meccanismo di finanziamento Data not available Coordinatore Cap Scientific Ltd Contributo UE Nessun dato Indirizzo Scientific House 40-44 Coombe Road KT3 4QF New Malden Regno Unito Mostra sulla mappa Costo totale Nessun dato Partecipanti (4) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto 7-TECHNOLOGIES A/S Danimarca Contributo UE Nessun dato Indirizzo KOBMAGERGADE, 26 E P.O. Box 81 1150 KOEBENHAVN Mostra sulla mappa Costo totale Nessun dato UNIV DE LIEGE Belgio Contributo UE Nessun dato Indirizzo CAMPUS DU SART-TILMAN,BATIMENT 4000 LIEGE Mostra sulla mappa Costo totale Nessun dato UNIV VAN TWENTE Paesi Bassi Contributo UE Nessun dato Indirizzo DRIENERLOLAAN Postbus 217 7500 AE ENSCHEDE Mostra sulla mappa Costo totale Nessun dato University of Reading Regno Unito Contributo UE Nessun dato Indirizzo Whiteknights Park RG6 2AX Reading Mostra sulla mappa Costo totale Nessun dato