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

Slides:



Advertisements
Similar presentations
Sungjun Kim Columbia University Edward A. Lee UC Berkeley
Advertisements

COMP3221 lec23-decode.1 Saeid Nooshabadi COMP 3221 Microprocessors and Embedded Systems Lectures 23: Instruction Representation; Assembly and Decoding.
School of Engineering & Technology Computer Architecture Pipeline.
Chapter 4 Advanced Pipelining and Intruction-Level Parallelism Computer Architecture A Quantitative Approach John L Hennessy & David A Patterson 2 nd Edition,
AB 11 22 33 44 55 66 77 88 99 10  20  19  18  17  16  15  14  13  12  11  21  22  23  24  25  26  27  28.
ActionWebs : Education and Outreach ActionWebs Kickoff Meeting December 17, 2009 │Berkeley, California Education Overview Kristen Gates, Ed.D University.
February 21, 2008 Center for Hybrid and Embedded Software Systems Cyber-Physical Systems (CPS): Orchestrating networked.
Overview of PTIDES Project
Timing Analysis of Embedded Software for Families of Microarchitectures Jan Reineke, UC Berkeley Edward A. Lee, UC Berkeley Representing Distributed Sense.
2/11/2010 BEARS 2010 On PTIDES Programming Model John Eidson Jeff C. Jensen Edward A. Lee Slobodan Matic Jia Zou PtidyOS.
7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Causality Interfaces for Actor Networks Ye Zhou and Edward A. Lee University of California,
Chess Review May 8, 2003 Berkeley, CA Classes and Inheritance in Actor- Oriented Models Stephen Neuendorffer Edward Lee UC Berkeley.
February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.
IEEE International Symposium on Distributed Simulation and Real-Time Applications October 27, 2008 Vancouver, British Columbia, Canada Presented by An.
Type-Safe Programming in C George Necula EECS Department University of California, Berkeley.
February 11, 2010 Center for Hybrid and Embedded Software Systems Ptolemy II - Heterogeneous Concurrent Modeling and Design.
8th Biennial Ptolemy Miniconference Berkeley, CA April 16, 2009 Precision Timed (PRET) Architecture Hiren D. Patel, Ben Lickly, Isaac Liu and Edward A.
February 23, 2012 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, EECS Thomas.
The Case for Precision Timed (PRET) Machines Edward A. Lee Professor, Chair of EECS UC Berkeley With thanks to Stephen Edwards, Columbia University. National.
Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems - Project Overview - Janos Sztipanovits ISIS-Vanderbilt.
Mixing Models of Computation Jie Liu Palo Alto Research Center (PARC) 3333 Coyote Hill Rd., Palo Alto, CA joint work with Prof. Edward.
7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 Cyber-Physical Systems: A Vision of the Future Edward A. Lee Robert S. Pepper Distinguished.
February 11, 2010 Center for Hybrid and Embedded Software Systems Cyber-Physical Systems (CPS): Orchestrating networked.
February 21, 2008 Center for Hybrid and Embedded Software Systems Mapping A Timed Functional Specification to a Precision.
7th Biennial Ptolemy Miniconference Berkeley, CA February 13, 2007 PTIDES: A Programming Model for Time- Synchronized Distributed Real-time Systems Yang.
NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI Program Review May 10,
SUPERB-IT Center For Hybrid & Embedded Software Systems COLLEGE OF ENGINEERING, UC BERKELEY July 29, 2005 SUPERB-IT.
ActionWebs Hamsa Balakrishnan, David Culler, Edward A. Lee, S. Shankar Sastry, Claire Tomlin (PI) University of California at Berkeley December
David Garlan Ivan Ruchkin Carnegie Mellon University Pittsburgh, PA, USA December 2014.
Compiler Research in HPC Lab R. Govindarajan High Performance Computing Lab.
Touchalytics: On the Applicability of Touchscreen Input as a Behavioral Biometric for Continuous Authentication Mario Frank, Ralf Biedert, Eugene Ma, Ivan.
E LECTRICAL E NGINEERING AND C OMPUTER S CIENCES U NIVERSITY OF C ALIFORNIA Berkeley External Relations Group (XRG) Office: 231 Cory Hall
1 Advance Computer Architecture CSE 8383 Ranya Alawadhi.
Time for High-Confidence Cyber-Physical Systems
Mehdi Maasoumy PhD Candidate University of California, Berkeley Patrick Scaglia and Costas Spanos plus ~20 UCB PIs and ~30 International Collaborators.
The 14 th IEEE Real-Time and Embedded Technology and Applications Symposium, April 2008 Real-Time Distributed Discrete-Event Execution with Fault Tolerance.
Design Languages in 2010 Chess: Center for Hybrid and Embedded Software Systems Edward A. Lee Professor UC Berkeley Panel Position Statement Forum on Design.
CWRU EECS 3141 Computer designers must be experienced: in both hardware and software co-design, as well as in embedded applications, be familiar with optimization.
I ndustrial Cy ber- Ph ysical Systems October 16, 2015 CyPhySim CyPhySim is an open-source simulator for cyber-physical systems. The.
Incremental Checkpointing with Application to Distributed Discrete Event Simulation Thomas Huining Feng and Edward A. Lee {tfeng,
February 12, 2009 Center for Hybrid and Embedded Software Systems Timing-aware Exceptions for a Precision Timed (PRET)
Ptolemy Project Vision Edward A. Lee Robert S. Pepper Distinguished Professor Eighth Biennial Ptolemy Miniconference April 16, 2009 Berkeley, CA, USA.
February 11, 2016 Center for Hybrid and Embedded Software Systems Organization Faculty Edward A. Lee, EECS Alberto Sangiovanni-Vincentelli,
February 14, 2013 Center for Hybrid and Embedded Software Systems Organization Faculty Edward A. Lee, EECS Alberto Sangiovanni-Vincentelli,
EE 249 Embedded Systems Design
Computer Architecture Principles Dr. Mike Frank
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
An overview of the CHESS Center
Date of download: 12/19/2017 Copyright © ASME. All rights reserved.
On-Time Network On-chip
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
February 12 – 19, 2018.
A Precision Timed Architecture for Predictable and Repeatable Timing
Compositionality in Synchronous Data Flow
Precision Timed Machine (PRET)
Hiren D. Patel Isaac Liu Ben Lickly Edward A. Lee
Shanna-Shaye Forbes Ben Lickly Man-Kit Leung
Timing-aware Exceptions for a Precision Timed (PRET) Target
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
المدخل إلى تكنولوجيا التعليم في ضوء الاتجاهات الحديثة
An overview of the CHESS Center
Coe818 Advanced Computer Architecture
RM 2 7 +RM 2 4 RM 7 3 +RM 1 6 RM 5 2 +RM 2 4 RM 1 3 +RM5 2.
Ptolemy II - Heterogeneous Concurrent Modeling and Design in Java
PIPELINING Santosh Lakkaraju CS 147 Dr. Lee.
Symbols for the Pieces Presentation 03
An overview of the CHESS Center
MICROCONTROLLERS AND EMBEDDED SYSTEMS Unit – 4 : ARM / Thumb Instruction set GEC
Types of Errors And Error Analysis.
Pps Download Center ©
Presentation transcript:

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

Embedded Systems BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly2

Mars Climate Orbiter Ariane 5 Rocket BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly3 Mismatched Specifications

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

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

Other Projects: GameTime BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly6 (a) Unrolled CFG (b) Basis paths x 1, x 2, x (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

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

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

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

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

Conclusion The framework is open source and available for download from: 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

Other Projects: GameTime BEARS 2012"An Ontology Framework for Static Analysis", Ben Lickly12 (a) Unrolled CFG (b) Basis paths x 1, x 2, x (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

Feedback: Privacy Policy Feedback
Do Not Sell My Personal Information
About project: SlidePlayer Terms of Service

© 2025 SlidePlayer.com. Inc. All rights reserved.