Towards a compositional multi-modal framework for adaptive cyber-physical systems

Proceedings - 1st International Workshop on Cyber-Physical Systems, Networks, and Applications, CPSNA 2011, Workshop Held During RTCSA 2011

Volumn 2, Issue , 2011, Pages 67-73

  Phan, Linh T X ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVITY; COMPOSITIONAL ANALYSIS; CYBER-PHYSICAL SYSTEMS; DISTRIBUTED ARCHITECTURE; FUTURE DIRECTIONS; KEY CHARACTERISTICS; MULTI-MODAL; MULTI-MODAL APPROACH; MULTIFUNCTIONALITY; MULTIMODE SYSTEM; RESOURCE USE;

COBALT COMPOUNDS; DISTRIBUTED COMPUTER SYSTEMS; NETWORK ARCHITECTURE; REAL TIME SYSTEMS;

EMBEDDED SYSTEMS;

EID: 84855551696     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2011.82     Document Type: Conference Paper

References (28)

1. L. Abeni and G. Buttazzo. Adaptive bandwidth reservation for multimedia computing. In Proc. of the International Conference on Real-Time Computing Systems and Applications (RTCSA), 1999.
2. L. Abeni and G. Buttazzo. Hierarchical QoS management for time sensitive applications. In Proc. of the IEEE Real-Time Technology and Applications Symposium (RTAS), 2001.
3. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. TIMES: a tool for schedulability analysis and code generation of real-time systems. In Proc. of the International Conference on Formal Modeling and Analysis of Timed Systems, 2003.
4. D. Bertrand, A.-M. Déplanche, S. Faucou, and O. H. Roux. A study of the AADL mode change protocol. In Proc. of the IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS), 2008.
5. G. C. Buttazzo, G. Lipari, and L. Abeni. Elastic task model for adaptive rate control. In Proc. of the IEEE Real-Time Systems Symposium (RTSS), 1999.
6. G. C. Buttazzo, G. Lipari, M. Caccamo, and L. Abeni. Elastic scheduling for flexible workload management. IEEE Transactions on Computers, 51(3):289-302, 2002. (Pubitemid 35426905)
7. S. Chakraborty, S. Künzli, and L. Thiele. A general framework for analysing system properties in platform-based embedded system designs. In Proc. of the 2003 Design, Automation and Test in Europe Conference and Exposition (DATE), 2003.
8. S. Craciunas, C. Kirsch, H. Payer, H. Rock, and A. Sokolova. Programmable temporal isolation through variable-bandwidth servers. In Proc. of the IEEE International Symposium on Industrial Embedded Systems (SIES), 2009.
9. A. B. de Oliveira, E. Camponogara, and G. Lima. Dynamic reconguration in reservation-based scheduling: An optimization approach. In Proc. of the IEEE Real-Time Technology and Applications Symposium (RTAS), 2009.
10. P. Feiler, B. Lewis, and S. Vestal. The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering. In Workshop on Model-Driven Embedded Systems, 2003.
11. S. Goddard and X. Liu. A variable rate execution model. In Proc. of the Euromicro Conference on Real-Time Systems (ECRTS), pages 135-143, 2004.
12. L. Huang and Q. Xu. Energy-efficient task allocation and scheduling for multi-mode MPSoCs under lifetime reliability constraint. In Proc. of the Design, Automation Test in Europe Conference Exhibition (DATE), 2010.
13. V. Kianzad and S. S. Bhattacharyya. CHARMED: A multi-objective cosynthesis framework for multi-mode embedded systems. In Proc. of the 15th IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2004.
14. F. Maraninchi and Y. Rémond. Mode-automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming, 46(3):219-254, 2003. (Pubitemid 35349765)
15. P. Martins and A. Burns. On the meaning of modes in uniprocessor real-time systems. In SAC, pages 324-325, 2008.
16. M. Mitzlaff, R. Kapitza, and W. Schröder-Preikschat. Enabling mode changes in a distributed automotive system. In Proc. of the 1st Workshop on Critical Automotive applications: Robustness and Safety, 2010.
17. P. Pedro and A. Burns. Schedulability analysis for mode changes in flexible real-time systems. In Proc. of the Euromicro Conference on Real-Time Systems (ECRTS), pages 172-179, 1998.
18. L. Phan, S. Chakraborty, and I. Lee. Timing analysis of mixed time/event-triggered multi-mode systems. In Proc. of the IEEE Real-Time Systems Symposium (RTSS), 2009.
19. L. Phan, S. Chakraborty, and P. Thiagarajan. A multi-mode real-time calculus. In Proc. of the IEEE Real-Time Systems Symposium (RTSS), 2008.
20. L. Phan, I. Lee, and O. Sokolsky. Compositional analysis of multi-mode systems. In Proc. of the Euromicro Conference on Real-Time Systems (ECRTS), 2010.
21. L. Phan, I. Lee, and O. Sokolsky. A formal semantic framework for multi-mode systems. In Proc. of the IEEE Real-Time Technology and Applications Symposium (RTAS), 2011.
22. J. Real and A. Crespo. Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Systems, 26(2):161-197, 2004.
23. M. T. Schmitz, B. M. Al-Hashimi, and P. Eles. Cosynthesis of energyefficient multimode embedded systems with consideration of modeexecution probabilities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 24(2):153-169, 2005. (Pubitemid 40178516)
24. Y. Shin, D. Kim, and K. Choi. Schedulability-driven performance analysis of multiple mode embedded real-time systems. In Proc. of the 37th Design Automation Conference (DAC), 2000.
25. N. Stoimenov, S. Perathoner, and L. Thiele. Reliable mode changes in real-time systems with fixed priority or EDF scheduling. In Proc. of the 2009 Design, Automation and Test in Europe Conference and Exposition (DATE), 2009.
26. J.-P. Talpin, C. Brunette, T. Gautier, and A. Gamatié. Polychronous mode automata. In Proc. of the International Conference on Embedded Software (EMSOFT), pages 83-92, 2006. (Pubitemid 47168577)
27. K. W. Tindell, A. Burns, and A. J. Wellings. Mode changes in priority pre-emptively scheduled systems. In Proc. of the IEEE Real-Time Systems Symposium, 1992.
28. M. G. Valls, A. Alonso, and J. A. de la Puente. Mode change protocols for predictable contract-based resource management in embedded multimedia systems. In Proc. of the International Conference on Embedded Software and Systems (EMSOFT), 2009.