Tabular requirements prescribe software behavior through an “if-then” paradigm. Verifying the consistency and completeness of tabular requirements is crucial, as it can identify specification errors, reduce development time and costs, and help prevent potential failures. Theano is a verification tool designed to ensure the consistency and completeness of tabular requirements formulated with Simulink Requirements Tables. This demonstration paper presents the key features of Theano, illustrates its application through an automotive case study, and discusses the underlying implementation and design choices. An online video walkthrough of the case study is also available: youtu.be/p71bKupmRUQ.

(2025). Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements . Retrieved from https://hdl.handle.net/10446/309727

Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements

Bombarda, Andrea;Gargantini, Andrea;Menghi, Claudio
2025-01-01

Abstract

Tabular requirements prescribe software behavior through an “if-then” paradigm. Verifying the consistency and completeness of tabular requirements is crucial, as it can identify specification errors, reduce development time and costs, and help prevent potential failures. Theano is a verification tool designed to ensure the consistency and completeness of tabular requirements formulated with Simulink Requirements Tables. This demonstration paper presents the key features of Theano, illustrates its application through an automotive case study, and discusses the underlying implementation and design choices. An online video walkthrough of the case study is also available: youtu.be/p71bKupmRUQ.
andrea.bombarda@unibg.it
2-s2.0-105013960530
2025
Inglese
FSE Companion '25: Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
Jingyue, Li
979-8-4007-1276-0
1148
1152
cartaceo
online
United States
New York
Association for Computing Machinery
FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering, Trondheim, Norway, 23-28 June 2025
33rd
Trondheim, Norway
23-28 June 2025
ACM SIGSOFT
ByteDance
et al.
Huawei
Research Council of Norway
U.S. National Science Foundation
internazionale
contributo
Settore IINF-05/A - Sistemi di elaborazione delle informazioni
Completeness; Consistency; Requirements Table; Simulink; Tabular Expressions
   ANTHEM - AdvaNced Technologies for Human-centrEd Medicine
   ANTHEM
   MUR - MINISTERO DELL'UNIVERSITA' E DELLA RICERCA - Segretariato generale Direzione generale della ricerca - Ufficio IV

   Green responsibLe privACy preservIng dAta operaTIONs
   GLACIATION
   UNIONE EUROPEA - COMMISSIONE EUROPEA
info:eu-repo/semantics/conferenceObject
7
Zanenga, Aurora Francesca; Bisceglia, Nunzio Marco; Ippoliti, Benedetta; Bombarda, Andrea; Gargantini, Angelo Michele; Rajhans, Akshay; Menghi, Claudi...espandi
1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
reserved
Non definito
273
(2025). Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements . Retrieved from https://hdl.handle.net/10446/309727
File allegato/i alla scheda:
File Dimensione del file Formato  
Paper Bombarda.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 4.13 MB
Formato Adobe PDF
  Visualizza/Apri
4.13 MB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/309727
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact