A multi-level requirements modeling for sociotechnical system simulation-based checking

Sophie Prat, Philippe Rauffet (), Pascal Berruet () and Alain Bignon ()
Additional contact information
Sophie Prat: Lab-STICC_UBS_CACS_MOCS - Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance - UEB - Université européenne de Bretagne - European University of Brittany - ENIB - École Nationale d'Ingénieurs de Brest - UBS - Université de Bretagne Sud - UBO - Université de Brest - Télécom Bretagne - IBNM - Institut Brestois du Numérique et des Mathématiques - UBO - Université de Brest - ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne - IMT - Institut Mines-Télécom [Paris] - CNRS - Centre National de la Recherche Scientifique
Philippe Rauffet: Lab-STICC_UBS_CID_IHSEV - Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance - UEB - Université européenne de Bretagne - European University of Brittany - ENIB - École Nationale d'Ingénieurs de Brest - UBS - Université de Bretagne Sud - UBO - Université de Brest - Télécom Bretagne - IBNM - Institut Brestois du Numérique et des Mathématiques - UBO - Université de Brest - ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne - IMT - Institut Mines-Télécom [Paris] - CNRS - Centre National de la Recherche Scientifique
Pascal Berruet: Lab-STICC_UBS_CACS_MOCS - Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance - UEB - Université européenne de Bretagne - European University of Brittany - ENIB - École Nationale d'Ingénieurs de Brest - UBS - Université de Bretagne Sud - UBO - Université de Brest - Télécom Bretagne - IBNM - Institut Brestois du Numérique et des Mathématiques - UBO - Université de Brest - ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne - IMT - Institut Mines-Télécom [Paris] - CNRS - Centre National de la Recherche Scientifique
Alain Bignon: Lab-STICC_UBS_CACS_MOCS - Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance - UEB - Université européenne de Bretagne - European University of Brittany - ENIB - École Nationale d'Ingénieurs de Brest - UBS - Université de Bretagne Sud - UBO - Université de Brest - Télécom Bretagne - IBNM - Institut Brestois du Numérique et des Mathématiques - UBO - Université de Brest - ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne - IMT - Institut Mines-Télécom [Paris] - CNRS - Centre National de la Recherche Scientifique

Post-Print from HAL

Abstract: So as to design reconfigurable sociotechnical system, there is a need to check the control/monitoring system meets the end-user needs and requirements, as soon as possible. The use of simulation techniques allows the functional/behavior checking, in early design stages. However, it demands to model the requirements in the context, according to the sociotechnical and reconfigurable features. Therefore, we propose a multi-level requirements modeling and discuss its use, in the case of the design of a ship auxiliary fluid management system.

Keywords: Requirements modeling; Reconfigurable system; Control/monitoring verification (search for similar items in EconPapers)
Date: 2016-11
References: Add references at CitEc
Citations:

Published in International Conference on System Man and Cybernetics (IEEE SMC), IEEE, Nov 2016, Budapest, Hungary

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:hal-01358015

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().