Optimizing automotive cyber-physical system specifications with multi-event dependencies

Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008

Volumn , Issue , 2008, Pages 475-479

  Andrei, Stefan ^a   Cheng, Albert M K ^b  

^a Lamar University   (United States)

^b University of Houston   (United States)

Author keywords

Cyber physical system; Multi event dependency; Optimization; Specification

Indexed keywords

BEHAVIORAL SPECIFICATION; CYBER-PHYSICAL SYSTEM; CYBER-PHYSICAL SYSTEMS; MULTI-EVENT DEPENDENCY; PHYSICAL WORLD; PROCESSING PLATFORM; SYSTEM DESIGNERS; SYSTEM SPECIFICATION;

COMPUTATION THEORY; SIMULATED ANNEALING;

SPECIFICATIONS;

EID: 70449484240     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2008.16     Document Type: Conference Paper

References (18)

1. F. Jahanian and A. K. Mok, "A graph-theoretic approach for timing analysis and its implementation," IEEE Transactions on Computers, vol. C-36, no. 8, pp. 961-975, 1987.
2. A. K. Mok, D.-C. Tsou, and R. C. M. de Rooij. The MSP. RTL real-time scheduler synthesis tool. In Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS'96), pages 118-128. IEEE Computer Society, 1996.
3. L. E. P. Rice and A. M. K. Cheng. Timing analysis of the X-38 space station crew return vehicle avionics. In Proceedings of the 5-th IEEE-CS Real-Time Technology and Applications Symposium, pages 255-264, 1999.
4. S. Andrei and W.-N. Chin, "Incremental satisfiability counting for real-time systems," in Proceedings of 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '04), 2004, pp. 482-489.
5. S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, "Systematic debugging of real-time systems based on incremental satisfiability counting," in Proceedings of 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '05), 2005, pp. 519-528.
6. S. Andrei and A. M. K. Cheng, "Faster Verification of RTLSpecified Systems via Decomposition and Constraint Extension," Proc. 27th IEEE-CS Real-Time Systems Symposium, Rio de Janeiro, Brazil, December 2006, pp. 67-76.
7. S. Andrei and A. M. K. Cheng, "Verifying Linear Real-Time Logic Specifications", Proc. 28th IEEE-CS Real-Time Systems Symposium, Tucson, Arizona, Dec. 2007, pp. 333-342.
8. S. Andrei and A. M. K. Cheng, "Optimization of Real-Time Systems Timing Specifications", Proc. 12th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Sydney, Australia, Aug. 2006., pp. 68-76.
9. G. R. Hellestrand, "Systems architecture: the empirical way: abstract architectures to "optimal□ systems." in EMSOFT, 2005, pp. 147-158.
10. V. Carchiolo, M. Malgeri, and G. Mangioni, "Hardware/software synthesis of formal specifications in codesign of embedded systems," Design Automation of Electronic Systems, vol. 5, no. 3, pp. 399-432, 2000.
11. W. Zhao, D. Whalley, C. Healy, and F. Mueller, "Improving WCET by applying a WC code-positioning optimization," ACM Transactions on Architecture and Code Optimization, vol. 2, no. 4, pp. 335-365, 2005.
12. T. A. Henzinger, C. M. Kirsch, and S. Matic, "Composable code generation for distributed giotto," ACM SIGPLAN Notices, vol. 40, no. 7, pp. 21-30, 2005.
13. P. Pop, P. Eles, and Z. Peng, "Schedulability-driven frame packing for multicluster distributed embedded systems." ACM Transactions on Embedded Computing Systems, vol. 4, no. 1, pp. 112-140, 2005.
14. Lee, Edward. "Cyber Physical Systems: Design Challenges". University of California, Berkeley, Technical Report No. UCB/EECS-2008-8, January 23, 2008
15. Wolf, Wayne. "The Good News and the Bad News", Embedded Computing Column. IEEE Computer, November 2007
16. ***, "ATIS T1A1 telecom glossary 2000. performance and signal processing," in T1.523-2001, [Online] - http://www.atis.org/ tg2k/, 2001.
17. A. M. K. Cheng, Real-time systems. Scheduling, Analysis, and Verification. U. S. A.: Wiley-Interscience, 2002.
18. J. Moller, J. Lichtenberg, H. Andersen, and H. Hulgaard, "Difference decision diagrams." in Proceedings Annual Conference of the European Association for Computer Science Logic (CSL), 1999.