Model Checking of Real-Time Systems: A Telecommunications Application

Model Checking of Real-Time Systems: A Telecommunications Application (1997)

by Rajeev Alur , Lalita Jategaonkar Jagadeesan , Joseph J. Kott , James E. Von Olnhausen

Venue:	IN PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
Citations:	17 - 1 self

User correction supplied by mph

Datum	Value	Source
TITLE	Model Checking of Real-Time Systems: A Telecommunications Application	user correction - Legacy Corrections
AUTHOR NAME	Rajeev Alur	user correction
AUTHOR NAME	Lalita Jategaonkar Jagadeesan	user correction
AUTHOR NAME	Joseph J. Kott	user correction
AUTHOR NAME	James E. Von Olnhausen	user correction
ABSTRACT	We describe the application of model checking tools to analyze a real-time software challenge in the design of Lucent Technologies' 5ESS telephone switching system. We use two tools: COSPAN for checking real-time properties, and TPWB for checking probabilistic specifications. We report on the feedback given by the tools, and based on our experience, discuss the advantages and the limitations of the approach used.	user correction
YEAR	1997	INFERENCE
VENUE	IN PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	514--524	INFERENCE
CITATIONS	23 found	ParsCit 1.0