Programming in Occam
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
ACE: an environment for specifying, developing and generating TINA services
Proceedings of the fifth IFIP/IEEE international symposium on Integrated network management V : integrated management in a virtual world: integrated management in a virtual world
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Theoretical Computer Science
Communication and Concurrency
C++ Network Programming: Resolving Complexity Using Ace and Patterns (C++ in-Depth Series)
C++ Network Programming: Resolving Complexity Using Ace and Patterns (C++ in-Depth Series)
A Computer-Aided Prototyping System
IEEE Software
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
A Front-End Generator for Verification Tools
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
The NCSU Concurrency Workbench
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Towards Highly Configurable Real-time Object Request Brokers
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
LfP: A Specification Language for Rapid Prototyping of Concurrent Systems
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
The design of the TAO real-time object request broker
Computer Communications
From clarity to efficiency for distributed algorithms
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Hi-index | 0.00 |
We present vpl2cxx, a translator that automatically generates efficient, fully distributed C++ code from high-level system models specified in the mathematically well-founded VPL design language. As the Concurrency Workbench of the New Century (CWB-NC) verification tool includes a front-end for VPL, designers may use the full range of automatic verification and simulation checks provided by this tool on their VPL system designs before invoking the translator, thereby generating distributed prototypes from validated specifications. Besides being fully distributed, the code generated by vpl2cxx is highly readable and portable to a host of execution environments and real-time operating systems (RTOSes). This is achieved by encapsulating all generated code dealing with low-level interprocess communication issues in a library for synchronous communication, which in turn is built upon the adaptive communication environment (ACE) client-server network programming interface. Finally, example applications show that the performance of the generated code is very good, especially for prototyping purposes. We discuss two such examples, including the RETHER real-time Ethernet protocol for voice and video applications.