Objective 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. Fields of science engineering and technologymechanical engineeringvehicle engineeringaerospace engineeringsatellite technologynatural sciencesmathematicspure mathematicstopologynatural sciencesphysical sciencesopticsfibre optics Programme(s) FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988 Topic(s) Data not available Call for proposal Data not available Funding Scheme Data not available Coordinator Cap Scientific Ltd EU contribution No data Address Scientific House 40-44 Coombe Road KT3 4QF New Malden United Kingdom See on map Total cost No data Participants (4) Sort alphabetically Sort by EU Contribution Expand all Collapse all 7-TECHNOLOGIES A/S Denmark EU contribution No data Address KOBMAGERGADE, 26 E P.O. Box 81 1150 KOEBENHAVN See on map Total cost No data UNIV DE LIEGE Belgium EU contribution No data Address CAMPUS DU SART-TILMAN,BATIMENT 4000 LIEGE See on map Total cost No data UNIV VAN TWENTE Netherlands EU contribution No data Address DRIENERLOLAAN Postbus 217 7500 AE ENSCHEDE See on map Total cost No data University of Reading United Kingdom EU contribution No data Address Whiteknights Park RG6 2AX Reading See on map Total cost No data