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