Skip to main content

2018 | OriginalPaper | Buchkapitel

Support of Justification Elicitation: Two Industrial Reports

verfasst von : Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino

Erschienen in: Advanced Information Systems Engineering

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The result of productive processes is commonly accompanied by a set of justifications which can be, depending on the product, process-related qualities, traceability documents, product-related experiments, tests or expert reports, etc. In critical contexts, it is mandatory to substantiate that a product’s development has been carried out appropriately which results in an inflation of the quantity of justification documents. This mass of document and information is difficult to manage and difficult to assess (in terms of soundness). In this paper, we report on the experience gained on two industrial case studies, in which we applied a justification elicitation approach based on justification diagrams and justification pattern diagrams in order to identify necessary and sufficient justification documentation.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
In the first version, these diagrams are called the Argumentation Diagram, but to avoid any ambiguity with dialogical argumentation, we chose to use the term Justification Diagram.
 
2
ATA chapters are defined by the Air Transport Association of America. It is a common referencing standard for all commercial aircraft documentation. An ATA chapter represents a aircraft domain like Air Conditioning & Pressurization (ATA 21), Electrical Power (ATA 24) or Pneumatics (ATA 36).
 
Literatur
1.
Zurück zum Zitat AAMI AT: Guidance on the use of agile practices in the development of medical device software. Association for the Advancement of Medical Instrumentation (2012) AAMI AT: Guidance on the use of agile practices in the development of medical device software. Association for the Advancement of Medical Instrumentation (2012)
2.
Zurück zum Zitat Balci, O.: Verification, validation, and accreditation. In: Proceedings of the 30th Conference on Winter Simulation, pp. 41–44. IEEE Computer Society Press (1998) Balci, O.: Verification, validation, and accreditation. In: Proceedings of the 30th Conference on Winter Simulation, pp. 41–44. IEEE Computer Society Press (1998)
3.
Zurück zum Zitat Bieber, P., Boniol, F., Durrieu, G., Poitou, O., Polacsek, T., Wiels, V., Martinez, G.: MIMOSA: Towards a model driven certification process. In: Proceedings of the 8th International Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016) Bieber, P., Boniol, F., Durrieu, G., Poitou, O., Polacsek, T., Wiels, V., Martinez, G.: MIMOSA: Towards a model driven certification process. In: Proceedings of the 8th International Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)
4.
Zurück zum Zitat Camillieri, C., Parisi, L., Blay-Fornarino, M., Precioso, F., Riveill, M., Cancela Vaz, J.: Towards a software product line for machine learning workflows: focus on supporting evolution. In: Proceedings of the 10th Workshop on Models and Evolution Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), October 2016 Camillieri, C., Parisi, L., Blay-Fornarino, M., Precioso, F., Riveill, M., Cancela Vaz, J.: Towards a software product line for machine learning workflows: focus on supporting evolution. In: Proceedings of the 10th Workshop on Models and Evolution Co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), October 2016
5.
Zurück zum Zitat Cassano, V., Maibaum, T.S.E.: The definition and assessment of a safety argument. In: 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, pp. 180–185. IEEE Computer Society (2014) Cassano, V., Maibaum, T.S.E.: The definition and assessment of a safety argument. In: 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, pp. 180–185. IEEE Computer Society (2014)
6.
Zurück zum Zitat Chowdhury, T., Lin, C.w., Kim, B., Lawford, M., Shiraishi, S., Wassyng, A., Division, S., View, M.: Principles for systematic development of an assurance case template from ISO 26262. In: ISSREW 2017 (2017) Chowdhury, T., Lin, C.w., Kim, B., Lawford, M., Shiraishi, S., Wassyng, A., Division, S., View, M.: Principles for systematic development of an assurance case template from ISO 26262. In: ISSREW 2017 (2017)
7.
Zurück zum Zitat Dalpiaz, F., Franch, X., Horkoff, J.: istar 2.0 language guide. CoRR abs/1605.07767 (2016) Dalpiaz, F., Franch, X., Horkoff, J.: istar 2.0 language guide. CoRR abs/1605.07767 (2016)
8.
Zurück zum Zitat Duffau, C., Camillieri, C., Blay-Fornarino, M.: Improving confidence in experimental systems through automated construction of argumentation diagrams. In: ICEIS 2017 (2017) Duffau, C., Camillieri, C., Blay-Fornarino, M.: Improving confidence in experimental systems through automated construction of argumentation diagrams. In: ICEIS 2017 (2017)
9.
Zurück zum Zitat Duffau, C., Grabiec, B., Blay-Fornarino, M.: Towards embedded system agile development challenging verification, validation and accreditation: application in a healthcare company. In: ISSREW 2017 (2017) Duffau, C., Grabiec, B., Blay-Fornarino, M.: Towards embedded system agile development challenging verification, validation and accreditation: application in a healthcare company. In: ISSREW 2017 (2017)
10.
Zurück zum Zitat Emmet, L., Cleland, G.: Graphical notations, narratives and persuasion: a pliant systems approach to hypertext tool design. In: Blustein, J., Allen, R.B., Anderson, K.M., Moulthrop, S. (eds.) Proceedings of the 13th ACM Conference on Hypertext and Hypermedia, HYPERTEXT 2002, pp. 55–64. ACM (2002) Emmet, L., Cleland, G.: Graphical notations, narratives and persuasion: a pliant systems approach to hypertext tool design. In: Blustein, J., Allen, R.B., Anderson, K.M., Moulthrop, S. (eds.) Proceedings of the 13th ACM Conference on Hypertext and Hypermedia, HYPERTEXT 2002, pp. 55–64. ACM (2002)
11.
Zurück zum Zitat Franch, X., Fernández, D.M., Oriol, M., Vogelsang, A., Heldal, R., Knauss, E., Travassos, G.H., Carver, J.C., Dieste, O., Zimmermann, T.: How do practitioners perceive the relevance of requirements engineering research? an ongoing study (2017). arXiv:1705.06013 Franch, X., Fernández, D.M., Oriol, M., Vogelsang, A., Heldal, R., Knauss, E., Travassos, G.H., Carver, J.C., Dieste, O., Zimmermann, T.: How do practitioners perceive the relevance of requirements engineering research? an ongoing study (2017). arXiv:​1705.​06013
12.
Zurück zum Zitat González, V., Génova Fuster, G., Álvarez Rodríguez, J.M., Llorens Morillo, J.B., et al.: An analysis of safety evidence management with the structured assurance case metamodel (2017) González, V., Génova Fuster, G., Álvarez Rodríguez, J.M., Llorens Morillo, J.B., et al.: An analysis of safety evidence management with the structured assurance case metamodel (2017)
13.
Zurück zum Zitat Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceedings of Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004) Kelly, T., Weaver, R.: The goal structuring notation - a safety argument notation. In: Proceedings of Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)
15.
Zurück zum Zitat Knauss, E., Liebel, G., Schneider, K., Horkoff, J., Kasauli, R.: Quality requirements in agile as a knowledge management problem: more than just-in-time. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), pp. 427–430 (2017) Knauss, E., Liebel, G., Schneider, K., Horkoff, J., Kasauli, R.: Quality requirements in agile as a knowledge management problem: more than just-in-time. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), pp. 427–430 (2017)
16.
Zurück zum Zitat Kunz, W., Rittel, H.: Issues as elements of information systems. Working Paper 131, Institute of Urban and Regional Development, University of California, Berkeley, California (1970) Kunz, W., Rittel, H.: Issues as elements of information systems. Working Paper 131, Institute of Urban and Regional Development, University of California, Berkeley, California (1970)
17.
Zurück zum Zitat van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, New York (2009) van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, New York (2009)
18.
Zurück zum Zitat MacLean, A., Young, R.M., Bellotti, V.M.E., Moran, T.P.: Questions, options, and criteria: elements of design space analysis. Hum. Comput. Interact. 6(3), 201–250 (1991)CrossRef MacLean, A., Young, R.M., Bellotti, V.M.E., Moran, T.P.: Questions, options, and criteria: elements of design space analysis. Hum. Comput. Interact. 6(3), 201–250 (1991)CrossRef
20.
Zurück zum Zitat Nguyen, C.M., Sebastiani, R., Giorgini, P., Mylopoulos, J.: Requirements evolution and evolution requirements with constrained goal models. In: Comyn-Wattiau, I., Tanaka, K., Song, I.-Y., Yamamoto, S., Saeki, M. (eds.) ER 2016. LNCS, vol. 9974, pp. 544–552. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46397-1_42CrossRef Nguyen, C.M., Sebastiani, R., Giorgini, P., Mylopoulos, J.: Requirements evolution and evolution requirements with constrained goal models. In: Comyn-Wattiau, I., Tanaka, K., Song, I.-Y., Yamamoto, S., Saeki, M. (eds.) ER 2016. LNCS, vol. 9974, pp. 544–552. Springer, Cham (2016). https://​doi.​org/​10.​1007/​978-3-319-46397-1_​42CrossRef
21.
Zurück zum Zitat Nisbett, R.E.: Rules for Reasoning. Psychology Press, London (1993) Nisbett, R.E.: Rules for Reasoning. Psychology Press, London (1993)
22.
Zurück zum Zitat OMG: Business Process Model and Notation (BPMN), Version 2.0, January 2011 OMG: Business Process Model and Notation (BPMN), Version 2.0, January 2011
23.
Zurück zum Zitat OMG: Structured assurance case meta-model (SACM) (2013) OMG: Structured assurance case meta-model (SACM) (2013)
24.
Zurück zum Zitat Polacsek, T.: Validation, accreditation or certification: a new kind of diagram to provide confidence. In: 10th IEEE International Conference on Research Challenges in Information Science, RCIS, pp. 59–466 (2016) Polacsek, T.: Validation, accreditation or certification: a new kind of diagram to provide confidence. In: 10th IEEE International Conference on Research Challenges in Information Science, RCIS, pp. 59–466 (2016)
25.
Zurück zum Zitat Polacsek, T., Roussel, S., Bouissiere, F., Cuiller, C., Dereux, P.-E., Kersuzan, S.: Towards thinking manufacturing and design together: an aeronautical case study. In: Mayr, H.C., Guizzardi, G., Ma, H., Pastor, O. (eds.) ER 2017. LNCS, vol. 10650, pp. 340–353. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-69904-2_27CrossRef Polacsek, T., Roussel, S., Bouissiere, F., Cuiller, C., Dereux, P.-E., Kersuzan, S.: Towards thinking manufacturing and design together: an aeronautical case study. In: Mayr, H.C., Guizzardi, G., Ma, H., Pastor, O. (eds.) ER 2017. LNCS, vol. 10650, pp. 340–353. Springer, Cham (2017). https://​doi.​org/​10.​1007/​978-3-319-69904-2_​27CrossRef
26.
Zurück zum Zitat Rempel, P., Mäder, P., Kuschke, T., Cleland-Huang, J.: Mind the gap: Assessing the conformance of software traceability to relevant guidelines. In: Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp. 943–954. ACM (2014) Rempel, P., Mäder, P., Kuschke, T., Cleland-Huang, J.: Mind the gap: Assessing the conformance of software traceability to relevant guidelines. In: Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp. 943–954. ACM (2014)
27.
Zurück zum Zitat Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (2003). updated Edition, first published in (1958) Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (2003). updated Edition, first published in (1958)
28.
Metadaten
Titel
Support of Justification Elicitation: Two Industrial Reports
verfasst von
Clément Duffau
Thomas Polacsek
Mireille Blay-Fornarino
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-91563-0_5