Translating Discrete Time SIMULINK to SIGNAL
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ecole Mohammadia d'Ingénieurs
2015-11-01
|
| Series: | Electronic Journal of Information Technology |
| Subjects: | |
| Online Access: | http://www.revue-eti.net/index.php/eti/article/view/20 |