A Dual Spring System Case-Study Model in Rosetta [chapter]

Peter J. Ashenden, Perry Alexander, David L. Barton
2001 System-on-Chip Methodologies & Design Languages  
This paper describes a design case-study undertaken as part of the language design validation for the Rosetta System Level Description Language. The system under consideration is a dual-spring mechanical system. A physical model is constructed, describing the static characteristics of springs and the requirements and constraints applying to the system. It is demonstrated that the declarative modelling style used in Rosetta is a powerful modelling tool. Furthermore, the formal semantic basis of
more » ... he language allows analysis of models and interfaces with other tools.
doi:10.1007/978-1-4757-3281-8_14 fatcat:7nhb276w2zdkxbetbpnxocbfqq