{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:59:29Z","timestamp":1742925569582,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198106"},{"type":"electronic","value":"9783642198113"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19811-3_16","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T13:06:18Z","timestamp":1300107978000},"page":"217-231","source":"Crossref","is-referenced-by-count":7,"title":["A Step-Wise Approach for Integrating QoS throughout Software Development"],"prefix":"10.1007","author":[{"given":"St\u00e9phanie","family":"Gatti","sequence":"first","affiliation":[]},{"given":"Emilie","family":"Balland","sequence":"additional","affiliation":[]},{"given":"Charles","family":"Consel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Aagedal, J.\u00d8.: Quality of service support in development of distributed systems. PhD thesis, University of Oslo (2001)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-00593-0_18","volume-title":"Fundamental Approaches to Software Engineering","author":"M. AlTurki","year":"2009","unstructured":"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.\u00a05503, pp. 262\u2013277. Springer, Heidelberg (2009)"},{"key":"16_CR3","unstructured":"ARINC 653, system partitioning and scheduling. Aeronautical Radio, Inc. (2003)"},{"key":"16_CR4","unstructured":"ARINC 664, AFDX: Avionics Full DupleX switched ethernet. Aeronautical Radio, Inc. (2005)"},{"key":"16_CR5","unstructured":"ARP4754, certification considerations for highly-integrated or complex aircraft systems, SAE (1996)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-24774-6_21","volume-title":"Component-Based Software Engineering","author":"A. Bertolino","year":"2004","unstructured":"Bertolino, A., Mirandola, R.: CB-SPE tool: putting component-based performance engineering into practice. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 233\u2013248. Springer, Heidelberg (2004)"},{"issue":"6","key":"16_CR7","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10009-006-0011-0","volume":"8","author":"F. Carcenac","year":"2006","unstructured":"Carcenac, F., Boniol, F.: A formal framework for verifying distributed embedded systems based on abstraction methods. International Journal on Software Tools for Technology Transfer\u00a08(6), 471\u2013484 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/1621607.1621629","volume-title":"Proceedings of the 8th International Conference on Generative Programming and Component Engineering","author":"D. Cassou","year":"2009","unstructured":"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\u2013146. ACM, New York (2009)"},{"key":"16_CR9","unstructured":"Colmerauer, A.: Specifications of Prolog IV (1996)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-540-24774-6_20","volume-title":"Component-Based Software Engineering","author":"O. Defour","year":"2004","unstructured":"Defour, O., J\u00e9z\u00e9quel, J.-M., Plouzeau, N.: Extra-functional contract support in components. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054, pp. 217\u2013232. Springer, Heidelberg (2004)"},{"key":"16_CR11","unstructured":"DO-178B, software considerations in airborne systems and equipment certification, RTCA, Inc. (1992)"},{"key":"16_CR12","unstructured":"DO-297, Integrated Modular Avionics (IMA) development guidance and certification considerations, RTCA, Inc. (2005)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/11596356_21","volume-title":"Embedded and Ubiquitous Computing \u2013 EUC 2005","author":"D. Doose","year":"2005","unstructured":"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.\u00a03824, pp. 184\u2013193. Springer, Heidelberg (2005)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/508386.508394","volume-title":"Proceedings of the 1st International Conference on Aspect-Oriented Software Development","author":"F. Duclos","year":"2002","unstructured":"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\u201375. ACM, New York (2002)"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/1101908.1101972","volume-title":"Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering","author":"J. Fredriksson","year":"2005","unstructured":"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\u2013371. ACM, New York (2005)"},{"key":"16_CR16","first-page":"19","volume-title":"Proceedings of the Conference on Compilers, Architectures and Synthesis for Embedded Systems","author":"T. Genssler","year":"2002","unstructured":"Genssler, T., Christoph, A., Winter, M., Nierstrasz, O., Ducasse, S., Wuyts, R., Ar\u00e9valo, G., Sch\u00f6nhage, B., M\u00fcller, 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\u201326. ACM, New York (2002)"},{"key":"16_CR17","first-page":"104","volume-title":"Proceedings of the 6th IEEE International Conference on Web Services","author":"R.B. Halima","year":"2008","unstructured":"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\u2013111. IEEE, Los Alamitos (2008)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Jha, S., Seneviratne, A.: Synchronization skew: a QoS measurement study. In: Proceedings of the Conference on Local Computer Networks, pp. 77\u201378 (1999)","DOI":"10.1109\/LCN.1999.802000"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/11783565_25","volume-title":"Component-Based Software Engineering","author":"H. Koziolek","year":"2006","unstructured":"Koziolek, H., Happe, J.: A QoS driven development process model for component-based software systems. In: Gorton, I., Heineman, G.T., Crnkovi\u0107, I., Schmidt, H.W., Stafford, J.A., Ren, X.-M., Wallnau, K. (eds.) CBSE 2006. LNCS, vol.\u00a04063, pp. 336\u2013343. Springer, Heidelberg (2006)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-02351-4_4","volume-title":"Architectures for Adaptive Software Systems","author":"K. Krogmann","year":"2009","unstructured":"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.\u00a05581, pp. 52\u201369. Springer, Heidelberg (2009)"},{"key":"16_CR21","volume-title":"Proceedings of the 25th International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","author":"J. Mercadal","year":"2010","unstructured":"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)"},{"key":"16_CR22","first-page":"369","volume-title":"Proceedings of the 3rd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation","author":"M. Paulitsch","year":"2009","unstructured":"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\u2013384. Springer, Heidelberg (2009)"},{"key":"16_CR23","unstructured":"Perry, A.R.: The FlightGear flight simulator. In: Proceedings of the USENIX Annual Technical Conference (2004)"},{"key":"16_CR24","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/PRDC.2008.31","volume-title":"Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing","author":"T. Robert","year":"2008","unstructured":"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\u201331. IEEE, Los Alamitos (2008)"},{"key":"16_CR25","first-page":"2","volume-title":"Proceedings of the 26th IEEE\/AIAA Digital Avionics Systems Conference","author":"C.B. Watkins","year":"2007","unstructured":"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)"},{"key":"16_CR26","first-page":"13","volume-title":"Proceedings of the 3rd IEEE International Conference on Space Mission Challenges for Information Technology","author":"J. Windsor","year":"2009","unstructured":"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\u201320. IEEE, Los Alamitos (2009)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19811-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T07:11:45Z","timestamp":1741072305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19811-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198106","9783642198113"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19811-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}