Translating Discrete Time SIMULINK to SIGNAL

dc.contributor.authorMessaoud, Safaen
dc.contributor.committeechairShukla, Sandeep K.en
dc.contributor.committeememberHsiao, Michael S.en
dc.contributor.committeememberPaul, JoAnn Maryen
dc.contributor.departmentElectrical and Computer Engineeringen
dc.date.accessioned2014-07-03T08:01:25Zen
dc.date.available2014-07-03T08:01:25Zen
dc.date.issued2014-07-02en
dc.description.abstractAs 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, capability 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 thesis, we present a semantic translator that transform 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 the semantic preservation of our prototype tool by testing it on different SIMULINK models.en
dc.description.degreeMaster of Scienceen
dc.format.mediumETDen
dc.identifier.othervt_gsexam:3379en
dc.identifier.urihttp://hdl.handle.net/10919/49299en
dc.publisherVirginia Techen
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectSIMULINKen
dc.subjectSIGNALen
dc.subjectEmbedded Softwareen
dc.subjectCode Generationen
dc.titleTranslating Discrete Time SIMULINK to SIGNALen
dc.typeThesisen
thesis.degree.disciplineComputer Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen

Files

Original bundle
Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
Messaoud_S_T_2014.pdf
Size:
788.93 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
Messaoud_S_T_2014_support_1.pdf
Size:
355.51 KB
Format:
Adobe Portable Document Format
Description:
Supporting documents

Collections