Translating Discrete Time SIMULINK to SIGNAL
| Dublin Core | PKP Metadata Items | Metadata for this Document | |
| 1. | Title | Title of document | Translating Discrete Time SIMULINK to SIGNAL |
| 2. | Creator | Author's name, affiliation, country | Safa Messaoud; University of Illinois at Urbana-Champaign; United States |
| 2. | Creator | Author's name, affiliation, country | Neda Saeedloei; University of Minnnesota Duluth; United States |
| 2. | Creator | Author's name, affiliation, country | Sandeep Shukla; Virginia Polytechnic and State University; United States |
| 3. | Subject | Discipline(s) | |
| 3. | Subject | Keyword(s) | |
| 4. | Description | Abstract | As Cyber Physical Systems (CPS) are getting more complex and safety critical, Model Based Design (MBD), which consists of building formal models of a system in order to be used in verification and correct-by-construction code generation, is becoming a promising methodology for the development of the embedded software of such systems. This design paradigm significantly reduces the development cost and time while guaranteeing better robustness and correctness with respect to the original specifications, when compared with the traditional ad-hoc design methods. SIMULINK has been the most popular tool for embedded control design in research as well as in industry, for the last decades. As SIMULINK does not have formal semantics, the application of the model based design methodology and tools to its models is very limited. In this paper, we present a semantic translator that transforms discrete time SIMULINK models into SIGNAL programs. The choice of SIGNAL is motivated by its polychronous formalism that enhances synchronous programming with asynchronous concurrency, as well as, by the ability of its compiler of generating deterministic multi thread code. Our translation involves three major steps: clock inference, type inference and hierarchical top-down translation. We validate our prototype tool by testing it on different SIMULINK models. |
| 5. | Publisher | Organizing agency, location | |
| 6. | Contributor | Sponsor(s) | |
| 7. | Date | (YYYY-MM-DD) | 2015-11-28 |
| 8. | Type | Status & genre | Peer-reviewed Article |
| 8. | Type | Type | |
| 9. | Format | File format | |
| 10. | Identifier | Uniform Resource Identifier | https://www.revue-eti.net/index.php/eti/article/view/20 |
| 11. | Source | Title; vol., no. (year) | Electronic Journal of Information Technology; Issue 8 |
| 12. | Language | English=en | en |
| 13. | Relation | Supp. Files | |
| 14. | Coverage | Geo-spatial location, chronological period, research sample (gender, age, etc.) | |
| 15. | Rights | Copyright and permissions |
Copyright (c) 2015 Safa Messaoud, Neda Saeedloei, Sandeep Shukla This work is licensed under a Creative Commons Attribution 4.0 International License. |