Development of safety-critical reconfigurable hardware with esterel

Electronic Notes in Theoretical Computer Science

Volumn 80, Issue , 2003, Pages 219-234

  Hammarberg, Jerker ^a   Nadjm Tehrani, Simin ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

Esterel; Formal Verification; FPGA; Safety Analysis

Indexed keywords

AEROSPACE APPLICATIONS; APPLICATION SPECIFIC INTEGRATED CIRCUITS; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; FAULT TREE ANALYSIS; FIELD PROGRAMMABLE GATE ARRAYS; FLIP CHIP DEVICES; HYDRAULIC CONTROL EQUIPMENT; LIFE CYCLE; LOGIC CIRCUITS; MATHEMATICAL MODELS; SEMANTICS; SYSTEMS ANALYSIS;

AUTOMATIC CODE GENERATIONS; ESTEREL; FORMAL VERIFICATIONS; SAFETY ANALYSIS;

SECURITY SYSTEMS;

EID: 18944371722     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80820-X     Document Type: Conference Paper

References (21)

1. Berry Gerard, Gonthier Georges. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming. 19:(2):1992;87-152. Elsevier Science, 1992
2. Deneux, Johann, "Automated Fault-Tree analysis", Master's Thesis, Uppsala university, 2001.
3. Edwards, Stephen A., High-level Synthesis from the Synchronous Language Esterel, in Proceedings of the International Workshop of Logic and Synthesis (IWLS), New Orleans, June 2002.
4. Esterel Technologies web site, URL: http://www.esterel-technologies.com
5. Hammarberg, Jerker, "High-Level Development and Formal Verification of Reconfigurable Hardware", Master's Thesis LiTH-IDA-Ex-02/102, Linköping university, 2002.
6. Halbwachs, Nicholas, Fabienne Lagnier and Pascal Raymond, Synchronous Observers and the Verification of Reactive Systems, Third International Conference on Algebraic Methodology and Software Technology (AMAST93), Workshops in Computing, Springer-Verlag, June 1993.
7. Halbwachs, Nicholas and Pascal Raymond, A Tutorial of Lustre, Technical report, Verimag, September 1993.
8. Henley Ernest J., Kumamoto Hiromitsu. "Reliability Engineering and Risk Assessment" 1981;Prentice-Hall
9. Holbrok, Donald, FPGA Use For Safety Critical Functions in an Air Intercept Missile, in Proceedings of the 19th International System Safety Conference, pp 618-628, 2001.
10. INRIA TICK project web page, URL: http://www.inria.fr/recherche/equipes/ tick.en.html
11. Katz, Richard B., Faster, Better, Cheaper Space Flight Electronics - An Analytical Case Study, Mil/Aero Applications of Programmable Logic Devices (MAPLD) Conference, September 2001.
12. Le Guernic, Paul, Thierry Gautier, Michel Le Borgne and Claude Le Maire, Programming real-time applications with SIGNAL, in Proceedings of the IEEE, vol 79, pp 1321-1336, September 1991.
13. Manna Zohar, Pnueli Amir. "The Temporal Logic of Reactive and Concurrent Systems - Specification" 1992;Springer-Verlag, New York
14. McMillan, Kenneth L., "Symbolic Model Checking - An approach to the state explosion problem", Technical Report CMU-CS-92-131, Carnegie Mellon University, 1992.
15. Musa John D., Iannino Anthony, Okumoto Kazuhira. "Software Reliability - Measurement, Prediction, Application" 1987;McGraw-Hill
16. Shivakumar, Premkishore, Michael Kistler, Stephen W. Keckler, Doug Burger and Lorenzo Alvisi, Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic, in Proceedings of International Conference on Dependable Systems and Networks, pp 389-398, IEEE, June 2002.
17. Sjöholm, Stefan and Lennart Lindh, "VHDL för konstruktion", Studentlitteratur, Lund, 1999.
18. Sheeran, Mary, Satnam Singh and Gunnar Stålmarck, Checking Safety Properties Using Induction and a SAT-Solver, in Proceedings of Formal Methods in Computer-Aided Design, Springer-Verlag, November 2000.
19. Sheeran Mary, Stålmarck Gunnar. A Tutorial on Stålmarck's Proof Procedure for Propositional Logic. Formal Methods in System Design. 16:(1):2000;23-58. Kluwer Academic Publishers, January 2000
20. Synplify Pro product web page, URL: http://www.synplicity.com/products/ synplifypro
21. Åkerlund, Ove, Simin Nadjm-Tehrani and Gunnar Stålmarck, Integration of Formal Methods into System Safety and Reliability Analysis, in Proceedings of the 17th International System Safety Conference, Orlando, 1999.