A synchronous paradigm for modeling stable reactive systems

Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

Volumn , Issue , 1999, Pages 257-265

  Winter, Victor L ^a  

^a SANDIA NATIONAL LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ENGINEERING;

ANALYSIS TECHNIQUES; DEDUCTIVE SYNTHESIS; DISCRETIZATIONS; MODELING PARADIGMS; MODELING TECHNIQUE; REACTIVE SYSTEM; SOFTWARE CONSTRUCTION; SYNCHRONOUS PARADIGM;

VERIFICATION;

EID: 0003537493     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1999.809501     Document Type: Conference Paper

References (13)

1. F. Boussinot and R. De Simone. The ESTEREL Language. Proceedings of the IEEE, Vol. 79, No. 9, September 1991.
2. J. M. Boyle, R. D. Resler, V. L. Winter. Do You Trust Your Compiler Applying Formal Methods to Constructing High-Assurance Compilers. Proceedings of the IEEE High-Assurance Systems Engineering Workshop, 1997.
3. F. Giunchiglia and A. Villafiorita. ABSFOL: A proof checker with abstraction. Proceedings of the 13th International Conference on Automated Deduction, 1996.
4. N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud. The Synchronous Data Flow Programming Language LUSTRE. Proceedings of the IEEE, Vol. 79, No. 9, September 1991.
5. Ryszard Janicki, David Lorge Parnas, Jeffery Zucker. Tabular Representations in Relational Documents. Relational Methods in Cornputer Science, C. Brink G. (eds.) in cooperation with R. Albrecht, Springer-Verlag, 1996.
6. Robert P. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton Series in Computer Science, 1994.
7. C. Lewerentz and T. Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Lecture Notes in Computer Science Vol. 891, Springer-Verlag.
8. M. Lowry, A. Philpot, T. Pressburger, I. Underwood. AMPHION: Automatic Programming for Scientific Subroutine Libraries.
9. M. Stickel. Automated Deduction by Theory Resolution. Automated Reasoning, Vol. 1, 1985, pp. 333-355.
10. J. Van Baalen. A uto mated design of specialized representations. Artificial Intelligence, Vol. 54, pp 121-198, 1992.
11. Veroff, R. and Wos, L. The Linked Inference Principle I: The Formal Treatment. Journal of Automated Reasoning, Vol. 8, no. 2, pp. 213-274 (1992).
12. V. L. Winter and J. M. Boyle. Proving Refinement Transformations for Deriving High-Ass urance Software. Proceedings of the IEEE High-Assurance Systems Engineering Workshop, 1996.
13. V. L. Winter. Soft ware Construction via Abstraction Synthesis and Transformation ('AST, ). Proceedings of the IEEE High Integrity Software Conference, 1997.