1. mbeddr : AN EXTENSIBLE C-BASED PROGRAMMING LANGUAGE AND IDE FOR EMBEDDED SYSTEMS CISC 836 WINTER 2015 APOORV GOYAL MENG, ECE DEPT QUEEN’S UNIVERSITY

2. PROBLEM ADDRESSED C legacy code Embedded systems use C Highly optimized low-level code in C “C LACKS HIGH-LEVEL ABSTRACTION”

3. CHALLENGES IN EMBEDDED SYSTEMS Strict functional requirements Strict operational requirements- Reliable Safety for life Efficiency Real time

4. CURRENT APPROACHES FOR PROBLEM Modeling tools- Simulink, ASCET-SD DSL for embedded systems

5. ?MBEDDR? Built on top of JetBrains MPS language workbench C extension for embedded systems Tight integration between low-level C and high-level abstraction IDE support for C

6. CHALLENGES CONSIDERED Low over-head abstractions Safety mechanism in C Annotations Verifications and checks Process support

7. MBEDDR – LANGUAGE EXTENSION

8. IMPLEMENTATION State machine Components Decision tables Safe modules Add Unit test Physical units Trace requirements Product line validation and support

9. STATE MACHINE

10. COMPONENTS

11. DECISION TABLE

12. UNIT TEST

13. REQUIREMENT TRACEABILITY

14. PHYSICAL UNITS

15. IMPLEMENTATION EFFORT Total LOC < 10,000 4 man-months Requires proficiency in MPS(1 man-month effort)

16. RELATED WORK DSLs Feldspar Hume C extensions By Palopoli By Boussinot By Yosi Ben-Asher Language and IDE extension Guy Steele’s OOPSLA Thrifts extension of Lisp Work of Hudak

17. ONGOING WORK Debugger Real world Feasibility Industry usage and results

18. THANKS