Thank you Thanks to ACM Taipei Chapter Thanks
- Slides: 12
Thank you!!! • Thanks to ACM Taipei Chapter • Thanks to IICM • It’s been a great encouragement! • And, a force driving me to achieve more for the betterment of us all!
Current Research Work Embedded Systems Group (http: //rtsl. cs. ccu. edu. tw/embedded/) Real-Time Systems Laboratory (http: //rtsl. cs. ccu. edu. tw/) National Chung Cheng University Chiayi-621, Taiwan, ROC. 熊博安 (Pao-Ann Hsiung) January 26, 2002
Embedded Systems Group • Objectives: – Innovative research – Theoretical advancements – Practical implementations • Goals: – Design Real-Time Embedded Systems – Verify Real-Time Embedded Systems
Research Sub-Groups • System-on-Chip Verification (4) (with Natl Taiwan Univ, Dept. of Elect. Eng. ) • Bluetooth Verification (3) (with Academia Sinica, Inst. of Info. Sci. ) • Embedded Software Synthesis (3) • Formal Verification (1)
So. C Verification • Informal Verification (Simulation, Testing) • Formal Verification (Model Checking) • How to integrate them for verifying So. C? ? ? • Open Verification Library (OVL): – assertion checks TCTL formulas, – use assume-guarantee principle
Bluetooth Verification • MSC Timed Automata SGM/RED • LMP (Link Manager Protocol) • Master/Slave Role Switch • ACL Connection Request • ACL Connection Pairing/Authentication
Embedded Software Synthesis • Larger class of applications (Free Choice Petri Net Complex Choice Petri Net) • Time and Memory Scheduling • C and Java Implementations (Tools) • Automatic C code generation
Formal Verification • Assume-Guarantee Reasoning • Automating the generation of assumptions and guarantees • Vehicle Parking Management System • Extension to Real-Time Systems • Extension to Verilog OVL Assertions
Thank you for your attention!
- O edifício da foto abaixo foi construído em taipei
- Capital of taipei
- Taipei zoo hours
- Desktop taipei
- Skyscraper pendulum
- Taipei vgh
- Thank you for you listening
- Worthy is the lamb thank you for the cross
- Thank you jesus for dying on the cross
- Thank you for your attention any questions
- 8 general moral imperatives
- Quy tắc ứng xử acm
- Adaptive case management definition