Reasoning system for real time reactive systems
Real time reactive systems are complex systems that react with their environment through stimulus response behaviour. TROMLAB development environment is a formal system being developed at Concordia University. It is the basis of the real time reactive system that will be described in this thesis. O...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
1999
|
| Online Access: | http://spectrum.library.concordia.ca/945/1/MQ47844.pdf Haidar, Ghayath <http://spectrum.library.concordia.ca/view/creators/Haidar=3AGhayath=3A=3A.html> (1999) Reasoning system for real time reactive systems. Masters thesis, Concordia University. |
| id |
ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.945 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-LACETR-oai-collectionscanada.gc.ca-QMG.9452013-10-22T03:41:04Z Reasoning system for real time reactive systems Haidar, Ghayath Real time reactive systems are complex systems that react with their environment through stimulus response behaviour. TROMLAB development environment is a formal system being developed at Concordia University. It is the basis of the real time reactive system that will be described in this thesis. One of the main uses of the simulation tool is debugging. The Reasoning System is a very good complement of the simulation tool. The scope of this thesis is the study of a Reasoning System that can be used along with the simulation tool to help debug the design and verify system properties during the development phase in TROMLAB environment. 1999 Thesis NonPeerReviewed application/pdf http://spectrum.library.concordia.ca/945/1/MQ47844.pdf Haidar, Ghayath <http://spectrum.library.concordia.ca/view/creators/Haidar=3AGhayath=3A=3A.html> (1999) Reasoning system for real time reactive systems. Masters thesis, Concordia University. http://spectrum.library.concordia.ca/945/ |
| collection |
NDLTD |
| format |
Others
|
| sources |
NDLTD |
| description |
Real time reactive systems are complex systems that react with their environment through stimulus response behaviour. TROMLAB development environment is a formal system being developed at Concordia University. It is the basis of the real time reactive system that will be described in this thesis. One of the main uses of the simulation tool is debugging. The Reasoning System is a very good complement of the simulation tool. The scope of this thesis is the study of a Reasoning System that can be used along with the simulation tool to help debug the design and verify system properties during the development phase in TROMLAB environment. |
| author |
Haidar, Ghayath |
| spellingShingle |
Haidar, Ghayath Reasoning system for real time reactive systems |
| author_facet |
Haidar, Ghayath |
| author_sort |
Haidar, Ghayath |
| title |
Reasoning system for real time reactive systems |
| title_short |
Reasoning system for real time reactive systems |
| title_full |
Reasoning system for real time reactive systems |
| title_fullStr |
Reasoning system for real time reactive systems |
| title_full_unstemmed |
Reasoning system for real time reactive systems |
| title_sort |
reasoning system for real time reactive systems |
| publishDate |
1999 |
| url |
http://spectrum.library.concordia.ca/945/1/MQ47844.pdf Haidar, Ghayath <http://spectrum.library.concordia.ca/view/creators/Haidar=3AGhayath=3A=3A.html> (1999) Reasoning system for real time reactive systems. Masters thesis, Concordia University. |
| work_keys_str_mv |
AT haidarghayath reasoningsystemforrealtimereactivesystems |
| _version_ |
1716605529148620800 |