Flexible specification and application of rule-based transformations in an automotive design flow

ABSTRACT

This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flexible specification entry for the definition of transformation rules, which allows a designer to specify transformations by his/her own without having XML expertise. The specification entry provides a guided and graphically supported mechanism to define transformation rules. This opens up a new approach, in which the specification and verification of a transformation rule is carried out by using simple design examples, to be applied to arbitrary complex designs subsequently. A new key characteristic of our approach is that both transformation environment and transformation entry tool are based on a very compact definition of the hardware description language grammar in use, and both of them are fully automatically generated from that basic grammar definition. This makes our approach highly open for other hardware and system specification languages. The paper describes the transformation environment and transformation entry tool, and demonstrates its application in terms of two automotive-typical transformations, addressing power aspects on the one hand, and safety aspects on the other.

REFERENCES

• 1: Oetjens, J.-H., J. Gerlach, W. Rosenstiel, An XML Based Approach for the Flexible Representation and Transformation of System Descriptions, Forum on Design Languages, Lille, 2004
• 2: World Wide Web Consortium, Extensible Markup Language, http://www.w3.org/XML/
• 3: Atrenta Inc., SpyGlass Predictive Analyzer, http://www.atrenta.com/
• 4: Si2, OpenAccess Project, http://www.si2.org/openaccess/index.html
• 5: Lee, E. A., S. Neuendorffer, MoML A Modeling Markup Language in XML, International Conference on Computer Aided Design, San Jose, 2000.
• 6: Mohammad Hossein Reshadi , Bita Gorji-Ara , Zainalabedin Navabi, HDML: Compiled VHDL in XML, Proceedings of the VHDL International Users Forum Fall Workshop (VIUF'00), p.69, October 18-20, 2000
• 7: Zamfirescu, A., Z. Zhao, HXML -- A New Approach to Managing Hardware Information, Forum on Design Languages, Lyon, 1999
• 8: Ecker, W., M. Heuchling, J. Mades, T. Schneider, A. Windisch, K. Yang, Using XML for VHDL Model Representation, World Computer Congress, Beijing, 2000
• 9: Sun Microsystems, Javadoc Tool Home Page, http://java.sun.com/j2se/javadoc/
• 10: World Wide Web Consortium, XSL Transformations (XSLT) Version 1.0, http://www.w3.org/TR/xslt/
• 11: World Wide Web Consortium, XML Schema 1.0, http://www.w3.org/XML/Schema/
• 12: ANTLR, ANother Tool for Language Recognition, http://www.antlr.org/
• 13: The SAXON XSLT and Xquery Processor, http://saxon.sourceforge.net/
• 14: Hamming, R. W., Error Detecting and Error Correcting Codes, Bell System Technical Journal. 29: 147, 1950