A step-wise approach for integrating QoS throughout software development

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6603 LNCS, Issue , 2011, Pages 217-231

  Gatti, Stéphanie ^a   Balland, Emilie ^a   Consel, Charles ^a  

^a UNIVERSITÉ DE BORDEAUX   (France)

Author keywords

Domain Specific Design Language; Generative Programming; Quality of Service; Tool Based Development Methodology

Indexed keywords

DATA NETWORK; DEVELOPMENT PHASIS; DEVELOPMENT PROCESS; DOMAIN SPECIFIC; GENERATIVE PROGRAMMING; LOOP SYSTEMS; QOS GUARANTEE; QOS REQUIREMENTS; REQUIREMENTS ANALYSIS; SOFTWARE DEVELOPMENT; SOFTWARE DEVELOPMENT PROCESS;

AVIONICS; QUALITY CONTROL; QUALITY OF SERVICE; REAL TIME SYSTEMS; REQUIREMENTS ENGINEERING;

SOFTWARE DESIGN;

EID: 79953181317     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19811-3_16     Document Type: Conference Paper

References (26)

1. Aagedal, J.Ø.: Quality of service support in development of distributed systems. PhD thesis, University of Oslo (2001)
2. AlTurki, M., Dhurjati, D., Yu, D., Chander, A., Inamura, H.: Formal specification and analysis of timing properties in software systems. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 262-277. Springer, Heidelberg (2009)
3. ARINC 653, system partitioning and scheduling. Aeronautical Radio, Inc. (2003)
4. ARINC 664, AFDX: Avionics Full DupleX switched ethernet. Aeronautical Radio, Inc. (2005)
5. ARP4754, certification considerations for highly-integrated or complex aircraft systems, SAE (1996)
6. Bertolino, A., Mirandola, R.: CB-SPE tool: putting component-based performance engineering into practice. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 233-248. Springer, Heidelberg (2004)
7. Carcenac, F., Boniol, F.: A formal framework for verifying distributed embedded systems based on abstraction methods. International Journal on Software Tools for Technology Transfer 8(6), 471-484 (2006)
8. Cassou, D., Bertran, B., Loriant, N., Consel, C.: A generative programming approach to developing pervasive computing systems. In: Proceedings of the 8th International Conference on Generative Programming and Component Engineering, pp. 137-146. ACM, New York (2009)
9. Colmerauer, A.: Specifications of Prolog IV (1996)
10. Defour, O., Jézéquel, J.-M., Plouzeau, N.: Extra-functional contract support in components. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 217-232. Springer, Heidelberg (2004)
11. DO-178B, software considerations in airborne systems and equipment certification, RTCA, Inc. (1992)
12. DO-297, Integrated Modular Avionics (IMA) development guidance and certification considerations, RTCA, Inc. (2005)
13. Doose, D., Mammeri, Z.: Polyhedra-based approach for incremental validation of real-time systems. In: Yang, L.T., Amamiya, M., Liu, Z., Guo, M., Rammig, F.J. (eds.) EUC 2005. LNCS, vol. 3824, pp. 184-193. Springer, Heidelberg (2005)
14. Duclos, F., Estublier, J., Morat, P.: Describing and using non-functional aspects in component-based applications. In: Proceedings of the 1st International Conference on Aspect-Oriented Software Development, pp. 65-75. ACM, New York (2002)
15. Fredriksson, J., Tivoli, M., Crnkovic, I.: A component-based development framework for supporting functional and non-functional analysis in control system design. In: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, pp. 368-371. ACM, New York (2005)
16. Genssler, T., Christoph, A., Winter, M., Nierstrasz, O., Ducasse, S., Wuyts, R., Arévalo, G., Schönhage, B., Müller, P.O., Stich, C.: Components for embedded software: the PECOS approach. In: Proceedings of the Conference on Compilers, Architectures and Synthesis for Embedded Systems, pp. 19-26. ACM, New York (2002)
17. Halima, R.B., Drira, K., Jmaiel, M.: A QoS-oriented reconfigurable middleware for self-healing web services. In: Proceedings of the 6th IEEE International Conference on Web Services, pp. 104-111. IEEE, Los Alamitos (2008)
18. Jha, S., Seneviratne, A.: Synchronization skew: a QoS measurement study. In: Proceedings of the Conference on Local Computer Networks, pp. 77-78 (1999)
19. Koziolek, H., Happe, J.: A QoS driven development process model for component-based software systems. In: Gorton, I., Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063, pp. 336-343. Springer, Heidelberg (2006)
20. Krogmann, K., Schweda, C.M., Buckl, S., Kuperberg, M., Martens, A., Matthes, F.: Improved feedback for architectural performance prediction using software cartography visualizations. In: Mirandola, R., Gorton, I., Hofmeister, C. (eds.) QoSA 2009. LNCS, vol. 5581, pp. 52-69. Springer, Heidelberg (2009)
21. Mercadal, J., Enard, Q., Consel, C., Loriant, N.: A domain-specific approach to architecturing error handling in pervasive computing. In: Proceedings of the 25th International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. ACM, New York (2010)
22. Paulitsch, M., Ruess, H., Sorea, M.: Non-functional avionics requirements. In: Proceedings of the 3rd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp. 369-384. Springer, Heidelberg (2009)
23. Perry, A.R.: The FlightGear flight simulator. In: Proceedings of the USENIX Annual Technical Conference (2004)
24. Robert, T., Fabre, J.-C., Roy, M.: On-line monitoring of real time applications for early error detection. In: Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, pp. 24-31. IEEE, Los Alamitos (2008)
25. Watkins, C.B., Walter, R.: Transitioning from federated avionics architectures to Integrated Modular Avionics. In: Proceedings of the 26th IEEE/AIAA Digital Avionics Systems Conference, p. 2. IEEE, Los Alamitos (2007)
26. Windsor, J., Hjortnaes, K.: Time and space partitioning in spacecraft avionics. In: Proceedings of the 3rd IEEE International Conference on Space Mission Challenges for Information Technology, pp. 13-20. IEEE, Los Alamitos (2009)