• Corpus ID: 54681207

Translating Discrete Time SIMULINK to SIGNAL

@article{Messaoud2015TranslatingDT,
  title={Translating Discrete Time SIMULINK to SIGNAL},
  author={Safa Messaoud and Neda Saeedloei and Sandeep K. Shukla},
  journal={Electronic Journal of Information Technology},
  year={2015}
}
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… 

Figures and Tables from this paper

Timed Path Conditions in MATLAB/Simulink
TLDR
An approach for the construction of timed path conditions for MATLAB/Simulink models that have the potential to reduce the complexity of models to improve verifiability, reason about compliance with security policies as well as generate feasible, efficient test cases is presented.
APECS: Polychrony based End-to-End Embedded System Design and Code Synthesis

References

SHOWING 1-10 OF 19 REFERENCES
Compositional translation of simulink models into synchronous BIP
TLDR
A method for the translation of a discrete-time fragment of Simulink into the synchronous subset of the BIP language is presented, which preserves completely the original structure and reveals the minimal control coordination structure needed to perform the correct computation withinSimulink models.
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
TLDR
This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive, avionics, nuclear power plants, telecommunication and multimedia, and the synchronous Programming language, SIGNAL, is used to demonstrate the pragmatic design of embedded systems.
Translating discrete-time simulink to lustre
TLDR
A method of translating discrete-time Simulink models to Lustre programs is presented, which has been implemented in a prototype tool called S2L and has been used in the context of a European research project to translate two automotive controller models provided by Audi.
Designing Safe, Reliable Systems Using Scade
TLDR
This paper presents a tool that helps engineers design safe and reliable systems and allows to perform Failure Mode and Effect Analysis, which consists of verifying whether systems remain safe when selected components fail.
Separate Compilation of Polychronous Specifications
An alternative polychronous model and synthesis methodology for model-driven embedded software
  • B. A. JoseS. Shukla
  • Computer Science
    2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC)
  • 2010
TLDR
An alternate polychronous model of computation termed Multi-rate Instantaneous Channel connected Data Flow (MRICDF) actor network model is presented, which avoids the complex clock-tree based analysis required in SIGNAL.
Automatic testing of reactive systems
TLDR
This paper proposes to use synchronous observers to express both the relevance and the correctness of the test sequences, and uses the relevance observer to randomly choose inputs satisfying temporal assumptions about the environment.
The synchronous data flow programming language LUSTRE
The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware. The data
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications
TLDR
This work describes the technique for multi-threaded code synthesis from a variant of the polychronous programming language SIGNAL, namely MRICDF, and shows the efficacy of the synthesis technique through a series of experimental benchmarks.
...
...