PORTO @ 
Archivio Istituzionale della Ricerca
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishRequirements guide the engineering process from a technical and contractual point of view. Verification is the activity that manages the technical specification and provides the activities able to guarantee that the designed and manufactured system is able to fulfil requirements. While many of the engineering activities are increasingly based on models, especially for what concerns analysis by simulation, requirements are still text-based for the largest part. This paper proposes a methodology to manage the requirements as models, linking their distinguishing features to the relevant product objects, attributes, physical parameters and operational conditions. A case study is provided to assess the feasibility of the approach and to clarify the involved issues.
Model-based definition of requirements to support system verification / Pace, Lorenzo; Vedova, Matteo D. L. Dalla; Maggiore, Paolo. - In: INTERNATIONAL JOURNAL OF MECHANICS AND CONTROL. - ISSN 1590-8844. - STAMPA. - 18:2(2017), pp. 135-141.
| Titolo: | Model-based definition of requirements to support system verification | |
| Autori: | ||
| Data di pubblicazione: | 2017 | |
| Rivista: | ||
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
http://hdl.handle.net/11583/2704233
Copyright © 2022