Generation of communication schedules for multi-mode distributed real-time applications

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2014, Pages

  Azim, Akramul ^a   Carvajal, Gonzalo ^a   Pellizzoni, Rodolfo ^a   Fischmeister, Sebastian ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS; SEMANTICS;

DISTRIBUTED APPLICATIONS; MODE CHANGES; MODEL SEMANTICS; MULTI-MODE COMMUNICATIONS; RANDOMIZED ALGORITHMS; REAL-TIME APPLICATION; REAL-TIME VIDEO MONITORING; TIMING REQUIREMENTS;

COMMUNICATION;

EID: 84903848106     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7873/DATE2014.306     Document Type: Conference Paper

References (18)

1. J.-D. Decotignie, "The Many Faces of Industrial Ethernet," IEEE Industrial Electronics Magazine, vol. 3, no. 1, pp. 8-19, 2009.
2. "Time-Triggered Ethernet," http://www.tttech.com.
3. "Profinet," http://www.profibus.com.
4. G. Weiss, S. Fischmeister, M. Anand, and R. Alur, "Specification and Analysis of Network Resource Requirements of Control Systems," in Proc. of the Int. Conference on Hybrid Systems: Computation and Control (HSCC), 2009, pp. 381-395.
5. M. Anand, S. Fischmeister, Y. Hur, J. Kim, and I. Lee, "Generating Reliable Code from Hybrid Systems Models," IEEE Trans. on Computers, vol. 59, no. 9, pp. 1281-1294, 2010.
6. A. Easwaran, M. Anand, and I. Lee, "Compositional Analysis Framework Using EDP Resource Models," in Proc. of the 28th IEEE Real-Time Systems Symposium (RTSS), 2007, pp. 129-138.
7. L. T. X. Phan, S. Chakraborty, and P. S. Thiagarajan, "A Multi-Mode Real-Time Calculus," in Proc. of the 29th IEEE Real-Time Systems Symposium (RTSS), 2008, pp. 59-69.
8. S. Fischmeister, R. Trausmuth, and I. Lee, "Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet," IEEE Trans. on Industrial Informatics, vol. 5, no. 3, pp. 325-327, 2009.
9. G. Carvajal, M. Figueroa, R. Trausmuth, and S. Fischmeister, "Atacama: An Open FPGA-based Platform for Mixed-Criticality Communication in Multi-segmented Ethernet Networks," in Proc. of the 21st IEEE Int. Symposium on Field-Programmable Custom Computing Machines (FCCM), 2013, pp. 121-128.
10. G. Lasnier, T. Robert, L. Pautet, and F. Kordon, "Behavioral Modular Description of Fault-tolerant Distributed Systems with AADL Behavioral Annex," in Conference on New Technologies of Distributed Systems, 2010, pp. 17-24.
11. J. Vidal, F. de Lamotte, G. Gogniat, P. Soulard, and J.-P. Diguet, "A co-design approach for embedded system modeling and code generation with uml and marte," in Design, Automation Test in Europe Conference Exhibition (DATE), 2009, pp. 226-231.
12. S. C. Hsieh, "Product Construction of Finite-State Machines," in Proc. of the World Congress on Engineering and Computer Science, 2010, pp. 141-143.
13. "Open-source scripts," http://www.mathworks.com/matlabcentral/ fileexchange/44716.
14. CAN Specification, Version 2, Robert Bosch GmbH, 1991.
15. FlexRay Communications System-Protocol Specification, Version 2, FlexRay Consortium, 2004.
16. R. Alur and G. Weiss, "Regular Specifications of Resource Requirements for Embedded Control Software," in Proc. of the Real-Time and Embedded Technology and Applications Symposium (RTAS), 2008, pp. 159-168.
17. D. Potop-Butucaru, A. Azim, and S. Fischmeister, "Semantics- Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures," in Proc. of the International Conference on Embedded Software (EMSOFT), 2010, pp. 199-208.
18. D. Potop-Butucaru, R. Simone, Y. Sorel, and J. Talpin, "Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs," in Proc. of the International Conference on Embedded Software (EMSOFT), 2009, pp. 147-156.