Architecture specifications for complex real-time dependable systems

	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 P. Binns Articles by S. Vestal

First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)

Ft. Lauderdale, Florida

November 06-November 10

ISBN: 0-8186-7123-8

	ASCII Text	x
	P. Binns, S. Vestal, "Architecture specifications for complex real-time dependable systems," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 357, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995.

	BibTex	x
	@article{ 10.1109/ICECCS.1995.479358, author = {P. Binns and S. Vestal}, title = {Architecture specifications for complex real-time dependable systems}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {1995}, isbn = {0-8186-7123-8}, pages = {357}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479358}, 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 - Architecture specifications for complex real-time dependable systems SN - 0-8186-7123-8 SP EP A1 - P. Binns, A1 - S. Vestal, PY - 1995 KW - specification languages; real-time systems; program verification; formal specification; architecture specifications; complex real-time dependable systems; specification languages; automated analytic modeling; automated system implementation; formal models; program correctness VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER -

P. Binns, Honeywell Technol. Cente, Minneapolis, MN, USA

S. Vestal, Honeywell Technol. Cente, Minneapolis, MN, USA

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

We discuss the use of architecture specification languages to drive both automated analytic modeling and automated system implementation. We "co-generate" various formal models and an implementation from an architecture specification in a way that provides high assurance that the analysis results accurately predict implementation behavior. This approach enables improved system quality and functionality due to early and reliable design trade-off studies, rapid and low-cost system development and evolution, and increased assurance of correctness.

Index Terms:

specification languages; real-time systems; program verification; formal specification; architecture specifications; complex real-time dependable systems; specification languages; automated analytic modeling; automated system implementation; formal models; program correctness

Citation:

P. Binns, S. Vestal, "Architecture specifications for complex real-time dependable systems," iceccs, pp.357, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995

Peer Review Notice | Give Us Feedback

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