By Topic

Specifying, validating, and testing a traffic management system in the TRIO environment

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
A. Gargantini ; Dipartimento di Elettronica e Inf., Politecnico di Milano, Italy ; L. Liberati ; A. Morzenti ; C. Zacchetti

Reports on an experience in applying a formal method to the specification and design of a system for monitoring and controlling surface vehicle traffic in a densely populated urban area. This method is based on TRIO, a linear time metric temporal logic, and includes a series of software tools providing (with various degrees of automation) support to the crucial activities of the system development. We illustrate the goals of the experience and describe the specification, validation and verification activities. We also discuss the problems deriving from the particular but (under several aspects) typical history of the application development, and from applying formal methods in an industrial setting. Finally, we assess the encouraging results obtained in the project

Published in:

Computer Assurance, 1996. COMPASS '96, Systems Integrity. Software Safety. Process Security. Proceedings of the Eleventh Annual Conference on

Date of Conference:

17-21 Jun 1996