Model transformation for high-integrity software development in derivative vehicle control system design

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2007, Pages 227-234

  Wang, Shige ^a  

^a GENERAL MOTORS CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL DERIVATIVES; CONTROL SOFTWARE; CRUISE CONTROL; CURRENT MODELING; DESIGN BENEFITS; HIGH ASSURANCE SYSTEMS; INTEGRITY CONTROL; INTERNATIONAL SYMPOSIUM; MODEL TRANSFORMATIONS; PRODUCT VARIATIONS; RESEARCH MODELS; SOFTWARE DEVELOPMENT; VEHICLE CONTROL; VEHICLE SYSTEMS;

COMPUTER CONTROL; CONCURRENCY CONTROL; CONTROL SYSTEM SYNTHESIS; CONTROL THEORY; DERIVATIVES; DYNAMIC PROGRAMMING; INDUSTRIAL ENGINEERING; PRODUCT DEVELOPMENT; QUALITY ASSURANCE; RELIABILITY; RESEARCH; SYSTEMS ENGINEERING; TECHNICAL PRESENTATIONS; TECHNOLOGY; VEHICLES;

SOFTWARE DESIGN;

EID: 48349102046     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2007.51     Document Type: Conference Paper

References (12)

1. G. Agosta, G. Palermo, and C. Silvano. Multi-objective coexploration of source code transformations and design space architectures for low-power embedded systems. In Proceedings of the 2004 ACM Symposium on Applied Computing, pages 891-896, Nicosia, Cyprus, March 2004.
2. A. Agrawal, G. Karsai, and F. Shi. Graph transformations on domain-specific models. Technical Report ISIS-03-403, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN., November 2003.
3. B. Alabiso. Transformation of data flow analysis models to object oriented design. In Proceedings on 1988 Object-Oriented Programming Systems, Languages, and Applications, pages 335-353, San Diega, Ca., September 1988.
4. S. Birla, S. Wang, S. Neema, and T. Saxena. Addressing cross-tool semantic ambiguities in behavior modeling for vehicle motion control domain. In Proceedings of the 2nd Automotive Software Workshopin San Diego (ASWSD'06), San Diego, Ca., March 2006.
5. T. Gardner, C. Griffin, J. Koehler, and R. Hauser. A review of OMG MOF 2.0 query/views/transformations submissions and recommendations towards the final standard. www.omg.org/docs/ad/03-08-02.pdf, July 2003.
6. A. Girault, B. Lee, and E. A. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 18(6):742-760, June 1999.
7. G. Group. GMT project, http://www.eclipse.org/gmt/.
8. G. K. Khalsa. Using object modeling to transform structured analysis into object oriented design. In Proceedings of the 6th Washington Ada Symposium on Ada, pages 201-212, McLean, Va., 1989.
9. I. Kurtev, K. van den Berg, and F. Jouault. Rule-based modularization in model transforamtion languages illustrated with ATL. In Proceedings of the 2006 ACM Symposium on Applied Computing SAC06, pages 1202-1209, Dijon, France, April 2006.
10. E. A. Lee and P. Varaiya. Structure and Interpretation of Signals and Systems. Addison Wesley, 2003.
11. G. Martin. Design methodologies for system level IP. In Proceedings of 1998 Design, Automation, and Test in Europe (DATE'98), pages 286-289, Paris, France, Feburary 1998.
12. I. Sander, A. Jantsch, and Z. Lu. Development and application of design transformation in ForSyDe'. In Proceedings of the 2003 Design, Automation and Test in Europe Conference and Exhibition, pages 364-369, Munich, Germany, March 2003.