|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)
Architecture specifications for complex real-time dependable systems
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 - | |||
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
Usage of this product signifies your acceptance of the Terms of Use.