Abstract
When developing real-time systems such as avionics software, it is critical to ensure the performance of these systems. In general, deterministic Quality of Service (QoS) is guaranteed by the execution platform, independently of a particular application. For example, in the avionics domain, the ARINC 664 standard defines a data network that provides deterministic QoS guarantees. However, this strategy falls short of addressing how the QoS requirements of an application get transformed through all development phases and artifacts. Existing approaches provide support for QoS concerns that only cover part of the development process, preventing traceability.
In this paper, we propose a declarative approach for specifying QoS requirements that covers the complete software development process, from the requirements analysis to the deployment. This step-wise approach is dedicated to control-loop systems such as avionics software. The domain-specific trait of this approach enables the stakeholders to be guided and ensures QoS requirements traceability via a tool-based methodology.
Chapter PDF
References
Aagedal, J.Ø.: Quality of service support in development of distributed systems. PhD thesis, University of Oslo (2001)
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)
ARINC 653, system partitioning and scheduling. Aeronautical Radio, Inc. (2003)
ARINC 664, AFDX: Avionics Full DupleX switched ethernet. Aeronautical Radio, Inc. (2005)
ARP4754, certification considerations for highly-integrated or complex aircraft systems, SAE (1996)
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)
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)
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)
Colmerauer, A.: Specifications of Prolog IV (1996)
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)
DO-178B, software considerations in airborne systems and equipment certification, RTCA, Inc. (1992)
DO-297, Integrated Modular Avionics (IMA) development guidance and certification considerations, RTCA, Inc. (2005)
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)
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)
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)
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)
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)
Jha, S., Seneviratne, A.: Synchronization skew: a QoS measurement study. In: Proceedings of the Conference on Local Computer Networks, pp. 77–78 (1999)
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)
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)
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)
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)
Perry, A.R.: The FlightGear flight simulator. In: Proceedings of the USENIX Annual Technical Conference (2004)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gatti, S., Balland, E., Consel, C. (2011). A Step-Wise Approach for Integrating QoS throughout Software Development. In: Giannakopoulou, D., Orejas, F. (eds) Fundamental Approaches to Software Engineering. FASE 2011. Lecture Notes in Computer Science, vol 6603. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19811-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-19811-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19810-6
Online ISBN: 978-3-642-19811-3
eBook Packages: Computer ScienceComputer Science (R0)