Slide 1

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

Slide 2

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

Slide 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

Slide 4

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

Slide 5

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

Slide 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

Slide 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

Slide 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

Slide 9

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

Slide 10

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

Slide 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

Slide 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