On component-based development and high-integrity real-time systems

Proceedings - 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009

Volumn , Issue , 2009, Pages 79-84

  Panunzio, Marco ^a   Vardanega, Tullio ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

Component model; Composability; Compositionality; Computational model; Model driven engineering

Indexed keywords

BUSINESS APPLICATIONS; COMPONENT MODEL; COMPONENT-BASED DEVELOPMENT; COMPOSITIONALITY; COMPUTATIONAL MODEL; DEVELOPMENT METHOD; DEVELOPMENT TIME; INDUSTRIAL ADOPTION; INDUSTRIAL PRACTICES; MODEL-DRIVEN ENGINEERING; PROGRAMMING MODELS; WORK-LOAD MODELS;

COMPUTER SCIENCE; EMBEDDED SYSTEMS; QUALITY ASSURANCE;

REAL TIME SYSTEMS;

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

References (16)

1. C. Szyperski, Component Software: Beyond Object-Oriented Programming. 2nd ed. Addison-Wesley, 2002.
2. C. L. Liu and J. W. Layland, "Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment," Journal of the ACM, vol. 20, no. 1, pp. 46-61, 1973.
3. E. Bini, G. C. Buttazzo, and G. Lipari, "Speed Modulation in Energy-Aware Real-Time Systems," in Proc. of the 17th Euromicro Conference on Real-Time Systems, 2005.
4. G. C. Buttazzo, G. Lipari, M. Caccamo, and L. Abeni, "Elastic Scheduling for Flexible Workload Management," IEEE Transactions on Computers, vol. 51, no. 3, 2002.
5. I. Shin and I. Lee, "Compositional Real-Time Scheduling Framework with Periodic Model," Transactions on Embedded Computing Systems, vol. 7, no. 3, pp. 1-39, 2008.
6. D. C. Schmidt, "Model-Driven Engineering," IEEE Computer, vol. 39, no. 2, pp. 25-31, 2006.
7. D. S. Frankel, Model Driven Architecture - Applying MDA to Enterprise Computing. John Wiley & Sons, 2003.
8. R. Chapman, "Correctness by Construction: a Manifesto for High Integrity Software," in ACM International Conference Proceeding Series; Vol. 162, 2006, pp. 43-46.
9. T. Vardanega, "A Property-Preserving Reuse-Geared Approach to Model-Driven Development," in Proceedings of the 12th IEEE Int. Conf. on Embedded and Real-Time Computing Systems and Applications, 2006, pp. 223-232.
10. M. Bordin, M. Panunzio, and T. Vardanega, "Fitting Schedulability Analysis Theory into Model-Driven Engineering," in Proc. of the 20th Euromicro Conference on Real-Time Systems, 2008, pp. 135-144.
11. A. Basu, M. Bozga, and J. Sifakis, "Modeling Heterogeneous Real-time Components in BIP," in Proceedings of the 4th IEEE International Conference on Software Engineering and Formal Methods, 2006, pp. 3-12.
12. M. Åkerholm, J. Carlson, J. Fredriksson, H. Hansson, J. Håkansson, A. Möller, P. Pettersson, and M. Tivoli, "The SAVE Approach to Component-based Development of Vehicular Systems," Journal of Systems and Software, vol. 80, no. 5, pp. 655-667, 2007.
13. P. López Martínez, J. M. Drake, P. Pacheco, and J. L. Medina, "Ada-CCM: Component-based Technology for Distributed Real-Time Systems," in Proc. of the 11th Int. Symposium on Component-Based Software Engineering, 2008, pp. 334-350.
14. J. M. Martínez and M. G. Harbour, "RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet," in Reliable Software Technologies - Ada-Europe, 2005.
15. M. Aldea Rivas and M. González Harbour, "MaRTE OS: an Ada Kernel for Real-Time Embedded Applications," in Reliable Software Technologies - Ada-Europe, 2001.
16. H. Kopetz and G. Bauer, "The Time-Triggered Architecture," Proceedings of the IEEE, vol. 91, no. 1, pp. 112-126, 2003.