Unifying Analysis Tools with Rosetta

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.

• Type: Conference
• Year: 2008
• Where: KBSE
• Authors: Nicolas Frisby
• Keywords: Analysis Tools, KBSE 2008, Rosetta, Single Analysis Tool, Software Engineering