Model-based design and verification of automotive electronics compliant with OSEK/VDX

ICESS 2005 - Second International Conference on Embedded Software and Systems

Volumn 2005, Issue , 2005, Pages 237-243

  Yang, Guoqing ^a   Zhao, Minde ^a   Wang, Lei ^a   Wu, Zhaohui ^a  

^a ZHEJIANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE ELECTRONICS; DOMAIN-SPECIFIC MODELING; MODEL-BASED DESIGN;

AUTOMOBILES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; STANDARDS; UNIFIED MODELING LANGUAGE;

SYSTEMS ANALYSIS;

EID: 33847729535     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICESS.2005.70     Document Type: Conference Paper

References (18)

1. G. Yang, Z. Wu, X. Li, and W. Chen, "SVE: Embedded Agent Based Smart Vehicle Environment," The 2003 IEEE International Conference on Intelligent Transportation Systems, 2003.
2. Z. Gu, S. Kodase, S. Wang, and K. G. Shin, "A Model-Based Approach to System-Level Dependency and Real-time Analysis of Embedded Software," presented at IEEE Real Time Technology and Applications Symposium 2003, 2003.
3. OMG, "UML." http://www.omg.org/uml.
4. OMG, "MDA." http://www.omg.org/mda.
5. J. Sztipanovits and G. Karsai, "Model-integrated computing," IEEE Computer, vol. 30, pp. 100-111, 1997.
6. OSEK/VDX, "OSEK/VDX Binding Specification Version 1.4.1,"2003. http://www.osek-vdx.org.
7. P.Green, M. Edwards, and S. Essa, "UML for System- Level Design, Forum on Design Languages," Proceedings of FDL 2001, vol. Lyon, France, Sept. 3-7, 2001.
8. Vanderbilt, "GME." http://www.isis.vanderbilt.edu/Projects/gme.
9. ILogix, "Rhapsody." http://www.ilogix.com.
10. 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.
11. OSEK/VDX, "OSEK/VDX Operating System Specification Version 2.2.2," 2004. http://www.osek-vdx.org.
12. Berkeley, "Ptolemy." http://ptolemy.eecs.berkeley.edu.
13. A. Moore, "Extending the uml rt profile to support the osek infrastructure," Proceedings of Fifth IEEE International Symposium on Object Oriented Real-Time Distributed Computing, pp. 341-347, 2002.
14. OSEK/VDX, "OSEK/VDX OSEK Implementation Language Specification Version 2.4.1," 2003. http://www.osek-vdx.org.
15. Z. Gu, S. Wang, and K. O. Shin, "Issues in Mapping from UML Real-Time Profile to OSEK," MSC-News: SVERTS workshop at UML 2003, 2003.
16. W. Lei, W. Zhaohui, and Z. Mingde, "Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-time Distributed Control Systems," The 28th Annual International Computer Software and Applications Conference, pp. 148-153, 2004.
17. W. Lei and W. Zhaohui, "Schedulability Test for Fault- Tolerant Hybrid Real-time Systems with Preemptive and Non-preemptive Tasks," The 4th International Conference on Computer and Information Technology, pp. 1169-1174, 2004.
18. W. Lei, W. Zhaohui, and W. Xianming, "Time Analysis for Fault-Tolerant Real-Time Group-Based Scheduling," The 51st Annual Reliability & Maintainability Symposium, Alexandria, 2005.