SmartC: A component-based hierarchical modeling language for automotive electronics

Proceedings - 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2006

Volumn , Issue , 2006, Pages 203-208

  Yang, Guoqing ^a   Li, Hong ^a   Wu, Zhaohui ^a  

^a ZHEJIANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE ENGINEERING; COMPUTER OPERATING SYSTEMS; ELECTRONIC EQUIPMENT; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS;

AUTOMOTIVE ELECTRONICS; INTER-TASK COMMUNICATION; SMARTC GENERATOR; TASK TRIGGERING MECHANISMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 36949016630     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2006.45     Document Type: Conference Paper

References (13)

1. E. M. Clarke and J. M. Wing, "Formal Methods: State of the Art and Future Directions," ACM Computing Surveys, vol. 28, 1996.
2. OMG, "MDA."
3. J. Sztipanovits and G. Karsai, "Model-integrated computing," IEEE Computer, vol. 30, pp. 100-111, 1997.
4. J. A. Stahkovic and R. Rajkumar, "Real-Time Operating Systems," Real-Time Systems, vol. 28, pp. 237-253, 2004.
5. M. Zhao, Z. Wu, G. Yang, L. Wang, and W. Chen, "SmartOSEK: A Dependable Platform for Automobile Electronics," The First International Conference on Embedded Software and System, vol. Springer-Verlag GmbH ISSN: 0302-9743, pp. 437, 2004.
6. G. Yang, M. Zhao, L. Wang, and Z. Wu, "Model-based Design and Verification of Automotive Electronics Compliant with OSEKVDX," presented at The Secend International Conference on Embedded Software and System (ICESS), Xi'an, 2005.
7. OSEK/VDX, "OSEK/VDX Operating System Specification Version 2.2.2," 2004.
8. J. Shim, K. Choi, G. Jung, S. Park, H. Shin, and D. Kim, "Priority inversion handling in microkernel-based RealTime Mike," Proceedings of the Third International Workshop on Real-Time Computing Systems Application, 1996.
9. Z. Gu, S. Kodase, S. Wang, and K. G. Shin, "A ModelBased Approach to System-Level Dependency and Realtime Analysis of Embedded Software," IEEE Real Time Technology and Applications Symposium 2003, pp. 78-85, 2003.
10. Vanderbilt, "GME." http://www.isis.vanderbilt.edu/Projects/gme
11. ILogix, "Rhapsody." http://www.ilogix.com
12. DSL, "Domain-Specific Languages - An Overview." [13] E. Cheong and J. Liu, "galsC: A Language for EventDriven Embedded Systems," presented at Design, Automation and Test in Europe, 2005.
13. J. Gartner, "The effectiveness of synchronous languages for the development of safety-critical systems," 2006.