The Pandora Protocol Development System
نویسندگان
چکیده
In a joint project with the Netherlands PTT, the Delft University of Technology is developing an interactive protocol design and analysis system named ‘Pandora’. The system provides users with a controlled environment for protocol synthesis and formal analysis, and offers both software and hardware tools for protocol assessment. Pandora can assist the user in the documentation of protocol designs by autonomously extracting SDL−diagrams, and has a set of tools for the generation of executable protocol implementations from abstract specifications. Proc. 3rd IFIP PSTV Conf, Zurich, Sw., June 1983, North−Holland Publ, pp 357−369.
منابع مشابه
Pandora: An Approach to Analyzing Safety-Related Digital System Failures
Accidents have occurred in which failures of digital systems have contributed to property damage, injury, and even loss of life. Most investigative agencies do not know how to investigate these failures comprehensively because the complexity and coupling of a digital system’s functions can obfuscate its design, making it difficult for an investigator to understand the system, and because the un...
متن کاملPANDORA at the Crossroads-lssues and Future Directions
PANDORA stands for Preserving and Accessing Networked Documentary Resources of Australia. This is the project name given to the work that has been undertaken by the National Library of Australia to develop an electronic archive of Australian publications on the Internet. Work on the project, which commenced in earnest at the beginning of 1997, has concentrated on two strands of activity. These ...
متن کاملThe Pandora Software Development Kit for Pattern Recognition
The development of automated solutions to pattern recognition problems is important in many areas of scientific research and human endeavour. This paper describes the implementation of the Pandora Software Development Kit, which aids the process of designing, implementing and running pattern recognition algorithms. The Pandora Application Programming Interfaces ensure simple specification of th...
متن کاملComparative Ontogeny of the Digestive Tract in Sharpsnout Sea Bream Diplodus puntazzo Cetti and Common Pandora Pagellus erythrinus L
The ontogeny of the alimentary tract and its associated structures (liver, pancreas, gall bladder) was compared between sharpsnout sea bream Diplodus puntazzo and Pagellus erythrinus and some differences were highlighted. The first goblet cells appeared earlier in sharpsnout seabream (5-7 DAH) and later in common pandora (9-11 DAH), as well as taste buds which appeared at 11 DAH in sharpsnout s...
متن کاملPANDORA: keyword-based analysis of protein sets by integration of annotation sources.
Recent advances in high-throughput methods and the application of computational tools for automatic classification of proteins have made it possible to carry out large-scale proteomic analyses. Biological analysis and interpretation of sets of proteins is a time-consuming undertaking carried out manually by experts. We have developed PANDORA (Protein ANnotation Diagram ORiented Analysis), a web...
متن کامل