Modeling and analysis of complex computer systems-the MTCCS approach

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by H. Toetenel Articles by R.L. Spelberg Articles by S. Stuurman Articles by J. van Katwijk

Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96)

Montreal, CANADA

October 21-October 25

ISBN: 0-8186-7614-0

	ASCII Text	x
	H. Toetenel, R.L. Spelberg, S. Stuurman, J. van Katwijk, "Modeling and analysis of complex computer systems-the MTCCS approach," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 423, Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96), 1996.

	BibTex	x
	@article{ 10.1109/ICECCS.1996.558488, author = {H. Toetenel and R.L. Spelberg and S. Stuurman and J. van Katwijk}, title = {Modeling and analysis of complex computer systems-the MTCCS approach}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {1996}, isbn = {0-8186-7614-0}, pages = {423}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1996.558488}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - Modeling and analysis of complex computer systems-the MTCCS approach SN - 0-8186-7614-0 SP EP A1 - H. Toetenel, A1 - R.L. Spelberg, A1 - S. Stuurman, A1 - J. van Katwijk, PY - 1996 KW - formal specification; complex computer systems modeling; complex computer systems analysis; MTCCS approach; work in progress; formal specification; verification; real time concurrent systems; non trivial data component; Timed CCS; Model Oriented Timed Calculus of Communicating Systems; model oriented data language; VDM; operational style; temporal logic properties; symbolic model checking; combination notation; specification language VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER -

H. Toetenel, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands

R.L. Spelberg, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands

S. Stuurman, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands

J. van Katwijk, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.1996.558488

The paper presents results from work in progress on finding a method for formal specification and verification of real time concurrent systems that incorporate a non trivial data component. We have extended Timed CCS, a timed CCS variant with a model oriented data language based on VDM. The semantics of the extension, called MTCCS is expressed in a combination of denotational and operational style. We show how verification of temporal logic properties based on symbolic model checking can be made possible for such a combination notation.

Index Terms:

formal specification; complex computer systems modeling; complex computer systems analysis; MTCCS approach; work in progress; formal specification; verification; real time concurrent systems; non trivial data component; Timed CCS; Model Oriented Timed Calculus of Communicating Systems; model oriented data language; VDM; operational style; temporal logic properties; symbolic model checking; combination notation; specification language

Citation:

H. Toetenel, R.L. Spelberg, S. Stuurman, J. van Katwijk, "Modeling and analysis of complex computer systems-the MTCCS approach," iceccs, pp.423, Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96), 1996

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.