Unifying Analysis Tools with Rosetta

DOI 10.1109/ase.2008.93 dblp

Abstract

The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language's generality prohibits the development of a single analysis tool. It is proposed, instead, to leverage the existing analysis tools and create an analysis environment unified around the Rosetta language. A semi-automated tool, the Rosetta Nexus, will generated tool-specific analysis models and a correspondence with the original Rosetta specifications.

BibTeX

@inproceedings{Frisby:ASE08,
  author    = {Nicolas Frisby},
  title     = {Unifying Analysis Tools with Rosetta},
  booktitle = {ASE},
  pages     = {505--508},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
}

Unifying Analysis Tools with Rosetta

Abstract

Related papers