Model-based control design and integration of cyberphysical systems: An adaptive cruise control case study

Journal of Control Science and Engineering

Volumn 2013, Issue , 2013, Pages

  Eyisi, Emeka ^a   Zhang, Zhenkai ^a   Koutsoukos, Xenofon ^a   Porter, Joseph ^a   Karsai, Gabor ^a   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE CONTROL; COMPLEX INTERACTION; CYBER PHYSICAL SYSTEMS (CPSS); EXPERIMENTAL PLATFORM; MODEL-BASED CONTROL DESIGNS; SOFTWARE GENERATION; SYSTEMATIC DESIGNS; SYSTEMATIC METHODOLOGY;

ADAPTIVE CRUISE CONTROL; CONTROL; EMBEDDED SYSTEMS; SOFTWARE DESIGN;

INTEGRATION;

EID: 84875642429     PISSN: 16875249     EISSN: 16875257     Source Type: Journal    
DOI: 10.1155/2013/678016     Document Type: Article

References (33)

1. Mossinger J., An insight into the hardware and software complexity of ecus in vehicles. Advances in Computing and Information Technology 2011 198 99 106 Communications in Computer and Information Science
2. Mossinger J., Software in automotive systems. IEEE Software 2010 27 2 92 94
3. Michailidis A., Spieth U., Ringler T., Hedenetz B., Kowalewski S., Test front loading in early stages of automotive software development based on AUTOSAR. Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE '10) March 2010 435 440 2-s2.0-77953096124
4. Sangiovanni-Vincentelli A., Electronic-system design in the automobile industry. IEEE Micro 2003 23 3 8 18 2-s2.0-0041848570 10.1109/MM.2003.1209462
5. Cook J. A., Kolmanovsky I. V., McNamara D., Nelson E. C., Prasad K. V., Control, computing and communications: technologies for the twenty-first century model T. Proceedings of the IEEE 2007 95 2 334 355 2-s2.0-62949120568 10.1109/JPROC.2006.888384
6. Sangiovanni-Vincentelli A., Di Natale M., Embedded system design for automotive applications. Computer 2007 40 10 42 51 2-s2.0-36249000551 10.1109/MC.2007.344
7. Stahl T., Volter M., Model-Driven Software Development 2006 John Wiley and Sons
8. Porter J., Hemingway G., Nine H., VanBuskirk C., Kottenstette N., Karsai G., Sztipanovits J., The esmol language and tools for high-confidence distributed control systems design-part 1: language, framework, and analysis. 2010 ISIS-10-109 Vanderbilt University
9. Ledeczi A., Maroti M., Bakay A., Karsai G., Garrett J., Thomason C., Nordstrom G., Sprinkle J., Volgyesi P., The generic modeling environment. Proceedings of the IEEE Workshop on Intelligent Signal Processing (WISP '01) May 2001
10. Kopetz H., Bauer G., The time-triggered architecture. Proceedings of the IEEE 2003 91 1 112 126 2-s2.0-0141684229 10.1109/JPROC.2002.805821
11. Navet N., Song Y., Simonot-Lion F., Wilwert C., Trends in automotive communication systems. Proceedings of the IEEE 2005 93 6 1204 1222 2-s2.0-21644462279 10.1109/JPROC.2005.849725 (Pubitemid 40928636)
12. Broy M., Chakraborty S., Goswami D., Ramesh S., Satpathy M., Resmerita S., Pree W., Cross-layer analysis, testing and verification of automotive control software. Proceedings of the 9th ACM International Conference on Embedded Software (EMSOFT '11) 2011 263 272
13. Drolia U., Wang Z., Pant Y., Mangharam R., AutoPlug: an automotive test-bed for electronic controller unit testing and verification. Proceedings of the 14th IEEE International Conference on Intelligent Transportation Systems (ITSC '11) 2011 1187 1192
14. Hu W., Wang M., Lin Y., On the software-based development and verification of automotive control systems. Proceedings of the 33rd IEEE Annual Conference of the Industrial Electronics Society (IECON '07) 2007 857 862
15. Ray A., Morschhaeuser I., Ackermann C., Cleaveland R., Shelton C., Martin C., Validating automotive control software using instrumentation-based verification. Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE '09) November 2009 15 25 2-s2.0-77952189087 10.1109/ASE.2009.98
16. Gerdes J. C., Hedrick J. K., Vehicle speed and spacing control via coordinated throttle and brake actuation. Control Engineering Practice 1997 5 11 1607 1614 2-s2.0-0031281664 10.1016/S0967-0661(97)10016-8 (Pubitemid 27480185)
17. Hedrick J. K., Yip P. P., Multiple sliding surface control: theory and application. Journal of Dynamic Systems, Measurement, and Control 2000 122 4 586 593
18. Ioannou P. A., Chien C. C., Autonomous intelligent cruise control. IEEE Transactions on Vehicular Technology 1993 42 4 657 672
19. Yi K., Lee S., Kwon Y. D., An investigation of intelligent cruise control laws for passenger vehicles. Journal of Automobile Engineering 2001 215 2 159 169 10.1243/0954407011525502 (Pubitemid 34459409)
20. Fancher P. S., Peng H., Bareket Z., Comparative analyses of three types of headway control systems for heavy commercial vehicles. Vehicle System Dynamics 1996 25 1 139 151 2-s2.0-0029771746 (Pubitemid 126715812)
21. Güvenç B. A., Kural E., Adaptive cruise control simulator: a low-cost, multiple-driver-in-the-loop simulator. IEEE Control Systems Magazine 2006 26 3 42 55 2-s2.0-33744813033 10.1109/MCS.2006.1636309 (Pubitemid 43834508)
22. Breuer K., Weilkes M., A versatile test vehicle for acc-systems and components. 1999
23. Girard A. R., Spry S., Hedrick J. K., Intelligent cruise-control applications: real-time, embedded hybrid control software. IEEE Robotics and Automation Magazine 2005 12 1 22 28 2-s2.0-17844364649 10.1109/MRA.2005.1411415 (Pubitemid 40583688)
24. Armengaud E., Tengg A., Driussi M., Karner M., Steger C., Weiß R., Automotive software architecture: migration challenges from an event-triggered to a time-triggered communication scheme. Proceedings of the 7th Workshop on Intelligent Solutions in Embedded Systems (WISES '09) June 2009 95 103 2-s2.0-70449369856
25. Sztipanovits J., Koutsoukos X., Karsai G., Kottenstette N., Antsaklis P., Gupta V., Goodwine B., Baras J., Wang S., Toward a science of cyber-physical system integration. Proceedings of the IEEE 2012 100 1 29 44
26. Eker J., Janneck J. W., Lee E. A., Liu J., Liu X., Ludvig J., Neuendorffer S., Sachs S., Xiong Y., Taming heterogeneity-the ptolemy approach. Proceedings of the IEEE 2003 91 1 127 143 2-s2.0-0242444222 10.1109/JPROC.2002. 805829
27. MathWorks-real-time workshop, http://www.mathworks.com/products/rtw/
28. Chou B., Erkkinen T., Converting models from floating point to fixed point for production code generation. Matlab Digest, November 2008
29. Magyari E., Bakay A., Lang A., Paka T., Vizhanyo A., Agarwal A., Karsai G., Udm: an infrastructure for implementing domain-specific modeling languages. Proceedings of the 3rd OOPSLA Workshop on Domain-Specific Modeling 2003 Anaheim, Calif, USA
30. Ttethernet,. http://www.tttech.com/en/products/ttethernet/
31. Sinnen O., Task Scheduling for Parallel Systems 2007 New York, NY, USA Wiley-Interscience
32. Carsim,. http://www.carsim.com/
33. National Instruments,. http://www.ni.com/