Abstract:

TE-LOTOS (Time Extended LOTOS) is the current ISO proposal for extending Standard LOTOS with quantitative time. Real time features were introduced by defining timed events which should happens in concrete instants of time. LOLA (LOTOS LAboratory) is a Full Standard LOTOS exploration and analysis tool which is one of the components of the DIT/UPM LOTOS Tool Set TOPO. TE-LOLA is a LOLA-based prototype that supports TE-LOTOS. The current version runs on SunOS 4.1.3 and Solaris 2.3 but portability to other platforms is straightforward. TE-LOLA has almost the same functionality as LOLA, supporting the following transformations: Expansion (EFSM generation), Parameterized Expansion, Interleaved Expansion, Timed Testing and Timed Simulation/Debugging.