Rosetta LRMThe Rosetta Language Reference Manual is currently under development. The current draft is maintained on the Rosetta Homepage along with examples and other information about language usage. |
Participate in Rosetta StandardsThe Rosetta Standards process is ongoing through The System-Level Design Language Consortium. If you are interested in participating in language development or the standards process, please contact the SLDL Committee chair. |
SLDL ConsortiumThe System-Level Design Language Consortium is a leading in the preparation of Rosetta standards for IEEE balloting. The SLDL Consortium is open to all those who wish to actively assist with the developing standard. Two standards are currently under development The Rosetta Language Standard and The Rosetta Domain Standard. |
ITTCITTC is an interdisciplinary research center housed in Nichols Hall on The University of Kansas campus. The Cadstone tool suite is a result of research performed by Dr. Perry Alexander as a principal investigator at ITTC. Cadstone continues a synergistic relationship with ITTC transitioning research results into the private sector. |
Cadstone, LLC is the leading provider of language-based system-level design tools and services. Our goal is assisting companies reduce the costs associated with system-level issues such as resource utilization, security, safety and undesirable interactions that can frequently be missed until system integration. Our approach is to discover these issues as early in the design processes as possible, reducing mitigation costs or avoiding problems completely. We focus on system-level design from the earliest design stages using an integrated approach that considers multiple modeling facets simultaneously.
Our techniques center on application of the Rosetta specification language, an emerging system-level design language standard. Cadstone offers a complete collection of Rosetta tools that support system analysis, integration and third-party tool development. Specifically, we offer:
- Rosetta Parser, Type Checker and Object Model - a standard front-end analyzer and data representation for development of Rosetta tools.
- Rosetta Evaluators - extensible capabilities for dynamically analyzing Rosetta using simulator-like tools based on formally synthesized models.
- Rosetta Static Analyzers - extensible capabilities for analyzing Rosetta specifications using formal and semi-formal techniques.
- Rosetta Synthesizers - extensible capabilities for synthesizing implementations and models from Rosetta specifications
Cadstone provides tool support at multiple levels. Basic Rosetta tools are made available off-the-shelf for basic specification, analysis and synthesis. Custom, verified Rosetta tools are developed on a customer-by-customer basis for specific user needs. Finally, the Rosetta ToolKit used for developing all Cadstone tools can be licensed for those interested in developing their own custom solutions.
Cadstone offers tutorials on writing Rosetta specifications, systems-level design and use of Cadstone tools. The Rosetta approach to system-level design represents a revolutionary step forward in system design. Cadstone tutorials enable customers to take full advantage of this emerging capability.