Transcript
![Page 1: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/1.jpg)
SCADE – Safety Critical Application Development
Environment
Presented By
Divya Udayan J
VR Lab
![Page 2: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/2.jpg)
![Page 3: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/3.jpg)
![Page 4: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/4.jpg)
![Page 5: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/5.jpg)
![Page 6: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/6.jpg)
![Page 7: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/7.jpg)
![Page 8: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/8.jpg)
![Page 9: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/9.jpg)
![Page 10: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/10.jpg)
![Page 11: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/11.jpg)
![Page 12: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/12.jpg)
![Page 13: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/13.jpg)
![Page 14: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/14.jpg)
![Page 15: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/15.jpg)
![Page 16: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/16.jpg)
![Page 17: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/17.jpg)
DESIGN EXAMPLE
![Page 18: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/18.jpg)
Modeling & Interfacing
![Page 19: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/19.jpg)
Model Checking(1/4)
![Page 20: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/20.jpg)
Model Checking(2/4)
![Page 21: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/21.jpg)
Model Checking(3/4)
![Page 22: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/22.jpg)
Model Checking(4/4)
![Page 23: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/23.jpg)
Automatic generation of code(1/2)
![Page 24: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/24.jpg)
Automatic generation of code(2/2)
![Page 25: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/25.jpg)
Simulation
![Page 26: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/26.jpg)
![Page 27: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/27.jpg)
![Page 28: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/28.jpg)
![Page 29: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/29.jpg)
![Page 30: SCADE – Safety Critical Application Development Environmentdslab.konkuk.ac.kr/Class/2011/11ASE/Tools/Scade_divyatermwork.pdf · SCADE – Safety Critical Application Development](https://reader034.vdocuments.net/reader034/viewer/2022052309/5b7946ac7f8b9a331e8d6de8/html5/thumbnails/30.jpg)
Reference
• www.esterel-technologies.com