Rosetta Hompage

SLDG | Cadstone | EDAptive | Ashenden Designs
[ Systems Level Design ] [ Participation ] [ Stories ]
[ Standard ] [ Overview ] [ Semantics ] [ Interactions ]
[ System-Level Design with Rosetta ] [ System-Level Design Semantics ]
[ Schmidt Trigger ] [ Alarm Clock ] [ Actuator and Spring ] [ Satellite Comm Link ]
[ Introduction ] [ Domain Semantics ] [ Specification Domains ] [ Mechanical Studies ]
[ Rhaskell ] [ ANTLR Java Parser ] [ Simulator ] [ Test Vector Generator ]
[ ITTC ] [ Cadstone ] [ NSF ] [ Rhaskell ] [ InterpreterLib ] [ Thread Pool Monad ]
[ Base Language ] [ Domain ] [ Reflection ] [ Tool Flow ]

Tools

A number of prototype Rosetta tools are available for download. Most of the available tools reflect early work on a Java-based language parser and evaluator. These tools are somewhat dated, but still reflect the principles behind the base Rosetta language.

The newer Rhaskell environment reflects current thinking about Rosetta parsing and evaluation. The full toolset is not available for download due to licensing issues. However, evaluation software can be obtained through Cadstone, Inc.

All tools are in early development stages and should be treated as alpha quality. Please contact us if you would like to be involved in Rosetta tool development or you have further interest in the tool suite.


Rhaskell Environment

The Rhaskell Environment provides a Parsec-based language parser and parser development tools. Rhaskell is not available for download due to licensing issues and ongoing development activities. However, it can be obtained for non-commercial uses through Cadstone, LLC. Contact Cadstone or Perry Alexander for more information.


    Java-based Language Parser

    The Java-based parser has formally been deprecated and is no longer formally supported. Version 2.0 was the final parser release and continues to be useful, implementing the bulk of the Rosett language. Parser updates occurred on a monthly basis while usage guide updates stabilize and we achieved a stable parser. Earlier version of the parser are available if desired. However, it is not advisable to use versions earlier than 2.0.

    Please note that with rapid changes in the language standard, the Java-based parser and the usage guide are significantly out of sequence.


    Rosetta Parser v2.0

    This is the 12th release of the Rosetta parser. Major changes in this version include the integration of the TARP ANTLR-based language parser. The ANTLR parser implements a grammar that is much closer to the emerging Rosetta standard. Moving to version 2.0 will require modifying specifications to address new syntactic forms. The ROM Changes in this version include:

    • Integration of the TARP ANTLR Parser
    • Numerous bug fixes

    November 20, 2002

    • : Download Java Source (rosetta-2-0.tar.gz)

    Rosetta Parser v1.1

    This is the 11th release of the Rosetta parser. Please note that this is the last version of the parser that will use the current JavaCC analyzer. The TARP ANTLR-based parser will be integrated in the next release. Changes in this version include:

    • Changes to track the Accellera Standard
    • Implementation of the case statement
    • Better linking capabilities
    • Numerous bug fixes
    • Domains are no longer hard coded
    • Arrays and sequences reconciled with the emerging standard
    • Bunches are gone
    • Much, much more...

    July 15, 2002

    • : Download Java Source (rosetta-1-1.tar.gz)

    Rosetta Parser v0.9

    This is the 10th release of the Rosetta parser. Changes in this version include:

    • Parsing of domain and interaction definitions
    • Parsing of constructed types
    • Introduction of the elsif clause and the deriv function
    • Serious revisions to the symbol table manager
    • Numerous bug fixes including better error recovery in the parser
    • More and better semantic checking

    October 31, 2001

    • : Download Java Source (rosetta-0-9.tar.gz)

    Rosetta Parser v0.8

    This is the ninth release of the Rosetta parser. Changes in this version include:

    • Parsing of constructed types
    • Introduction of the type keyword
    • Numerous bug fixes
    • New version of enumerations
    • More and better semantic checking

    July 8, 2001

    • : Download Java Source (rosetta-0-8.tar.gz)

    Rosetta Parser v0.7

    This is the eighth release of the Rosetta parser. Changes in this version include:

    • Several bug fixes
    • Updates for new features

    May 1, 2001

    • : Download Java Source (rosetta-0-7.tar.gz)

    MoML Export

    A MoML compliant format for Rosetta specifications is being deployed to support interaction with CAD environments. The import/export capability extends the current parser to support import and export of object models.

    Contact the Rosetta Team for details.


      Source and Semantic Object Browsers

      Developed by Adelaide University, these browsers extend the syntactic and semantic object models allowing intelligent browsing of parsed Rosetta source.

      Contact the Rosetta Team for details.


        Native Simulator

        The simulation environment generates a Haskell-based simulation capability for a limited subset of Rosetta.

        Contact the Rosetta Team for details.


          Test Vector Generator

          EDAptiveR EDASTART is a Rosetta-based software tool suite and methodology that offers dramatic time and cost savings in design and verification of military and aerospace systems. EDAptiveR EDASTART is composed of three major components:

          • SyscapeT: The Engineer's Electronic Napkin - Syscape enables an engineering team to rapidly layout a conceptual and executable specification as a block diagram, using standard graphical editing techniques.
          • VectorGenT: Automated Test Generator - VectorGen allows an engineering team to generate test vectors based on current system specifications allowing the team to test replacement components against the captured test vectors.
          • KeystoneT: The Rosetta Evaluator - Keystone provides ability to evaluate an executable subset of Rosetta, including interactions.
          Additional information can be found at http://www.edaptive.com/edastar.php.

            About Us | Site Map | Privacy Policy | Contact Us | ©2005 Perry Alexander