TALIRO TOOLS


TALIRO (TemporAl LogIc RObustness) tools is a suit of tools for the analysis of continuous and hybrid dynamical systems using linear time temporal logics. Currently, the following tools are distributed:

  • S-TALIRO (Systems TALIRO) is a software toolbox for Matlab for the temporal logic falsification and requirements mining of Dynamical Systems, Hybrid Automata, Matlab/Simulink models, PiL (processor-in-the-loop) models and HiL (hardware-in-the-loop) models.
  • C-TALIRO (Conformance TALIRO) is a Matlab toolbox for black, gray and white-box conformance testing between two systems. 
  • DP-TALIRO is a software toolbox for Matlab for the temporal logic space robustness analysis of discrete time signals that take values in metric spaces. DP-TALIRO is based on a dynamic programming algorithm.
  • DP-T-TALIRO is a software toolbox for Matlab for the temporal logic time robustness analysis of discrete time signals that take values in metric spaces. DP-T-TALIRO is based on the same dynamic programming algorithm as DP-TALIRO.
  • FW-TALIRO is a Matlab toolbox for the computation of the space robustness of a propositional temporal logic specification with respect to a discrete time signal. FW-TALIRO is based on formula rewriting techniques.
  • V-TALIRO (Verification TALIRO) is a Matlab software toolbox for robust temporal logic testing of Dynamical Systems and Hybrid Automata. V-TALIRO can provide search space coverage guarantees.
 

All the toolboxes are included with the distribution of S-TALIRO.

Material for a quick introduction to S-Taliro:


IN THE NEWS

         
Read the article on S-TALIRO that appeared in [Embedded Computing Design].   TALIRO tools were nominated by the industry in 2014 as Technology Breakthrough of NSF Industry / University Cooperative Research Centers (I/UCRC). Read the article [Safer In-Vehicle Control Systems and Medical Devicesin the 2014 nomination   TALIRO tools were nominated by the industry in 2012 as Technology Breakthrough of NSF Industry / University Cooperative Research Centers (I/UCRC). See [All 2012 I/UCRC nominations] and the [S-TALIRO 2012 nomination].


SUPPORTING FUNDS          

This work has been partially supported by NSF awards 
and Toyota and Bosch through the [NSF I/UCRC Center for Embedded Systems] (CES) at ASU. 

Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

 NSF
ASU Center for Embedded Systems
 

 

 

Subpage Listing