1. BEARS 2012 February 23, 2012 Berkeley, CA An Ontology Framework for Static Analysis Ben Lickly Elizabeth Latronico Charles Shelton Edward A. Lee

2. Embedded Systems http://chess.eecs.berkeley.edu/eecs149/lectures/CyberPhysicalSystems.pdf BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly2

3. Mars Climate Orbiter Ariane 5 Rocket BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly3 http://www.youtube.com/watch?v=kYUrqdUyEpI Mismatched Specifications

4. Actor Models BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly4

5. User-specified Ontologies Units Ontology Bitwidth Ontology BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly5

6. Other Projects: GameTime BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly6 (a) Unrolled CFG 1 2 3 4 5 6 7 8 9 1 2 5 6 9 1 3 4 5 6 9 1 2 5 7 8 9 (b) Basis paths x 1, x 2, x 3 1 3 4 5 7 8 9 (c) Additional path x 4 x 1 = (1, 1, 0, 0, 1, 1, 0, 0, 1) x 2 = (1, 0, 1, 1, 1, 1, 0, 0, 1) x 3 = (1, 1, 0, 0, 1, 0, 1, 1, 1) x 4 = (1, 0, 1, 1, 1, 0, 1, 1, 1) (d) Vector representations x 4 = x 2 + x 3 – x 1

7. Other Projects: PREcision Timed Architecture (PRET) BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly7 Predictable Architecture: Software with Time: Pipelines: Memory System: + Assembly Instruction SET_TIME rd, rm DELAY_UNTIL rd, rm BRANCH_EXPIRED rd, rm, rn EXCEPTION_ON_EXPIRE rd, DEACTIVATE_EXCEPTION

8. Center for Hybrid and Embedded Software Systems Location: 540 A/B, Cory Hall –Lunch: 12:45-1:45pm –Open House: 2:00-3:30pm BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly8 Cyber Physical Systems

9. Other CHESS Projects ActionWebs GameTime PTIDES PRET Hybrid Systems Quadrotor Cyber-physical Systems BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly9

10. Infer and Find Errors BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly10

11. Conclusion The framework is open source and available for download from: http://chess.eecs.berkeley.edu/pthomas Reference: Ben Lickly, Charles Shelton, Elizabeth Latronico, Edward A. Lee. “A Practical Ontology Framework for Static Model Analysis”. EMSOFT 2011 BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly11

12. Other Projects: GameTime BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly12 (a) Unrolled CFG 1 2 3 4 5 6 7 8 9 1 2 5 6 9 1 3 4 5 6 9 1 2 5 7 8 9 (b) Basis paths x 1, x 2, x 3 1 3 4 5 7 8 9 (c) Additional path x 4 x 1 = (1, 1, 0, 0, 1, 1, 0, 0, 1) x 2 = (1, 0, 1, 1, 1, 1, 0, 0, 1) x 3 = (1, 1, 0, 0, 1, 0, 1, 1, 1) x 4 = (1, 0, 1, 1, 1, 0, 1, 1, 1) (d) Vector representations x 4 = x 2 + x 3 – x 1