Sponsorship of the Rosetta effort comes in many forms from many
sources. Funding for the Rosetta effort has been provided
through contracts with The Air Force Research Laboratories
(AFRL), Air Force
MANTECH, ITTC,
and Cadstone, LLC.
Additional support for Rosetta related projects has been
provided by NSF, DARPA, NASA Langley, NASA Ames,
EDAptive Computing, Inc
and TRW.
We would like to include links to all Rosetta projects on our
website. If you would like a link added, please
contact Perry Alexander and provide link information and a brief
description.
Sponsors
Following are links to sponsored research projects that
currently support or have recently supported Rosetta related
research. If you are working on a Rosetta project and would
like to have it listed here, please contact Perry Alexander
ITTC Technology Tansfer Fund
ITTC has supported Rosetta language and tool development
through grants from its Technology Transfer Fund. During the
current year, they are providing support for the development
of composable abstract interpretation capabilities using
monadic simulation models.
Fri Dec 9 23:02:30 CST 2005
Cadstone, LLC Technology Development
Cadstone, LLC has supported Rosetta tool development at ITTC
through an IRD grant. From August 2005-August 2007, they are
providing support for the development of Rosetta simulation
techniques and further development of the Rhaskell
environment.
The National Science Foundation provided funding through ITTC
for the development of embedded systems modeling capabilities
through the Embedded and Hybrid Systems program.
Following are links to projects related to Rosetta and Rosetta
tool development. Many of these projects are peripherally
related to Rosetta providing infrastructure for tools and
applications. More information on related research can be
found by visiting
the ITTC
Systems Level Design Group website,
EDAptive Computing,
and Ashenden Systems.
Rhaskell
Rhaskell is a collection of related tools that support
analyzing Rosetta specifications. Written in Haskell, the
Rhaskell tools include a Parsec-based LL(k) parser,
recursive and non-recursive AST definitions, a primitive type
checker and a primitive simulation environment. Rhaskell is
undergoing commercialization through Cadstone, Inc.
EDAptive Computing, Inc. (ECI) provides innovative solutions to design,
verification and validation of complex and critical military and aerospace
systems. ECI solutions leverage System Level Design Languages (SLDLs) to
capture system requirements in a computer-sensible manner. ECI solutions are
based on the basic premise that if requirements for complex systems are
captured unambiguously and accurately in a computer-sensible manner, the
risk of producing a system that does not meet its cost, schedule or
performance requirements is diminished significantly. EDAptive EDAstarT
methodology and tool suite consists of tools to capture requirements
intuitively, simulate them to conduct trade-off analysis, check them for
correctness using formal methods, generate tests from requirements to
validate a design or implementation, assure trustworthiness and detect,
identify, accommodate faults. For more information, visit
www.edaptive.com .
InterpreterLib
The InterpreterLib package is a Haskell module that supports
writing modular language interpreters using explicit
algebras. Many of the techniques used in the Rhaskell
environment were first realized as a part of InterpreterLib.
The Thread Pool Monad package is a Haskell package using
resumption monads to model collections of communicating
threads. This work extends
Bill
Harrison's foundational work modeling concurrent systems
monadically. By making the thread pool itself a resumption
monad, we can define hierarchical simulations representing
structural designs. We are also integrating the Thread Pool
Monad with the Haskell monad transformer package, although
complete integration is not possible due to the structure of
the resumption.
