BEARS 2012 February 23, 2012 Berkeley, CA An Ontology Framework for Static Analysis Ben Lickly...
Preview:
Citation preview
- 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