Configuration-Aware Contracts

  • Irfan Sljivo
  • Barbara Gallina
  • Jan Carlson
  • Hans Hansson
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9923)

Abstract

Assumption/guarantee contracts represent the basis for independent development of reusable components and their safety assurance within contract-based design. In the context of safety-critical systems, their use for reuse of safety assurance efforts has encountered some challenges: the need for evidence supporting the confidence in the contracts; and the challenge of context, where contracts need to impose different requirements on different systems.

In this paper we propose the notion of configuration-aware contracts to address the challenge contract-based design faces with multiple contexts. Since reusable components are often developed with a set of configuration parameters that need to be configured in each context, we extend the notion of contract to distinguish between the configuration parameters and the other variables. Moreover, we define a multi-context reusable component based on the configuration-aware contracts. Finally, we demonstrate the usefulness of the multi-context components on a motivating case.

References

  1. 1.
    Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K.G.: Contracts for system design. Research report RR-8147, Inria, November 2012Google Scholar
  2. 2.
    Cimatti, A., Tonetta, S.: Contracts-refinement proof system for component-based embedded systems. Sci. Comput. Programm. 97(3), 333–348 (2014)Google Scholar
  3. 3.
    Oliveira, A.L., Papadopoulos, Y., Azevedo, L., Parker, D., Braga, R., Masiero, P.C., Habli, I., Kelly, T.: Automatic allocation of safety requirements to components of a software product line. IFAC-Pap. OnLine 48(21), 1309–1314 (2015)CrossRefGoogle Scholar
  4. 4.
    Dey, A.K.: Understanding and using context. Pers. Ubiquitous Comput. 5(1), 4–7 (2001)CrossRefGoogle Scholar
  5. 5.
    Road vehicles — Functional safety — Part 10: Guideline on ISO 26262. International Organization for Standardization, Geneva (2011)Google Scholar
  6. 6.
    Papadopoulos, Y., Walker, M., Parker, D., Rüde, E., Hamann, R., Uhlig, A., Grätz, U., Lien, R.: Engineering failure analysis and design optimisation with HiP-HOPS. Eng. Fail. Anal. 18(2), 590–608 (2011)CrossRefGoogle Scholar
  7. 7.
    Redmill, F.: The COTS debate in perspective. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol. 2187, p. 119. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  8. 8.
    Schneider, D., Trapp, M., Papadopoulos, Y., Armengaud, E., Zeller, M., Höfig, K.: WAP: digital dependability identities. In: 26th International Symposium on Software Reliability Engineering, pp. 324–329. IEEE (2015)Google Scholar
  9. 9.
    Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Strong and weak contract formalism for third-party component reuse. In: 3rd International Workshop on Software Certification, International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 359–364. IEEE, November 2013Google Scholar
  10. 10.
    Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Generation of safety case argument-fragments from safety contracts. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 170–185. Springer, Heidelberg (2014)Google Scholar
  11. 11.
    Varnell-Sarjeant, J., Andrews, A.A., Stefik, A., Strategies, C.R.: An empirical evaluation of developer views. In: 8th International Workshop on Quality Oriented Reuse of Software, pp. 498–503. IEEE (2014)Google Scholar
  12. 12.
    Westman, J., Nyberg, M.: Environment-centric contracts for design of cyber-physical systems. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 218–234. Springer, Heidelberg (2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Irfan Sljivo
    • 1
  • Barbara Gallina
    • 1
  • Jan Carlson
    • 1
  • Hans Hansson
    • 1
  1. 1.Mälardalen Real-Time Research CentreMälardalen UniversityVästeråsSweden

Personalised recommendations