BX Benchmarks Working Group Results BIRS Center, Dec. 3, 2013.

Slides:



Advertisements
Similar presentations
P1801 PAR Extension Motivation Address deferred issues Consider further UPF/CPF convergence SAIF integration and extension Continue to raise the abstraction.
Advertisements

System Integration Verification and Validation
Power calculation for transistor operation What will cause power consumption to increase? CS2710 Computer Organization1.
Program Slicing Mark Weiser and Precise Dynamic Slicing Algorithms Xiangyu Zhang, Rajiv Gupta & Youtao Zhang Presented by Harini Ramaprasad.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
Software Quality Metrics
Software Requirements
IMS1805 Systems Analysis Topic 3: Doing Analysis (continued from previous weeks)
Major Exam II Reschedule 5:30 – 7:30 pm in Tue Dec 5 th.
1 Software Testing and Quality Assurance Lecture 30 – Testing Systems.
SE 555 – Software Requirements & Specifications Introduction
Course Instructor: Aisha Azeem
Copyright © 2004 by South-Western, a division of Thomson Learning, Inc. All rights reserved. Developed by Cool Pictures and MultiMedia Presentations Chapter.
Roles and Responsibilities Jahangheer Shaik. Service Specification Specification requires development of three inter-related documents CIM, PIM and PSM.
10 December, 2013 Katrin Heinze, Bundesbank CEN/WS XBRL CWA1: DPM Meta model CWA1Page 1.
Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen Prof. Dr.-Ing. Ina Schaefer (joint work with Mirco Tribastone and Matthias Kowal) Institute.
An Introduction to MBT  what, why and when 张 坚
Detecting software clones in binaries Zaharije Radivojević, Saša Stojanović, Miloš Cvetanović School of Electrical Engineering, Belgrade University 14th.
VTT-STUK assessment method for safety evaluation of safety-critical computer based systems - application in BE-SECBS project.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 6 Slide 1 Software Requirements.
An Introduction to Software Architecture
SYNAR Systems Networking and Architecture Group Scheduling on Heterogeneous Multicore Processors Using Architectural Signatures Daniel Shelepov and Alexandra.
T. Dawson, TASC 9/11/13 Use of a Technical Reference in NASA IV&V.
Testing Theory cont. Introduction Categories of Metrics Review of several OO metrics Format of Presentation CEN 5076 Class 6 – 10/10.
5 Copyright © 2009, Oracle. All rights reserved. Right-Time Data Warehousing with OWB.
COMP 354 Software Engineering I Section BB Summer 2009 Dr Greg Butler
Dr. Tom WayCSC Software Requirements CSC 4700 Software Engineering Lecture 2 Based on Sommerville, Chapter 6.
Software Requirements Presented By Dr. Shazzad Hosain.
FIMS BM ESSENCE LOCATOR 11/27/2012 Loic Barbou Bloomberg/Triskel Inc.
CS266 Software Reverse Engineering (SRE) Reversing and Patching Java Bytecode Teodoro (Ted) Cipresso,
Chapter 12 Evaluating Products, Processes, and Resources.
Dept. of Computer and Information Sciences : University of Delaware John Cavazos Department of Computer and Information Sciences University of Delaware.
10 Software Architecture CSCU 411 Software Engineering.
Modeling and simulation of systems Model building Slovak University of Technology Faculty of Material Science and Technology in Trnava.
1 Introduction to Software Engineering Lecture 1.
Requirements Capture. Four Steps of requirements capture List candidate requirements Understand system context Capture functional requirements Capture.
© Siemens AG, CT SE 2, Iris Groher, Markus Voelter C O R P O R A T E T E C H N O L O G Y XWeave – Models and Aspects in Concert 1 XWeave Models.
DSL Classification October 21-22, 2007 Benoît Langlois / Thales-EPM Consuela-Elena Jitia / Eric Jouenne, Thales Research & Technology The 7th OOPSLA Workshop.
ProgrammingLanguages Programming Languages Language Definition, Translation and Design.
ELEN 033 Lecture #1 Tokunbo Ogunfunmi Santa Clara University.
Programming language. Definition Programming language is a formal language designed to communicate instructions to a computer. Programming languages can.
Programming Languages and Design Lecture 3 Semantic Specifications of Programming Languages Instructor: Li Ma Department of Computer Science Texas Southern.
Chapter 3 System Performance and Models Introduction A system is the part of the real world under study. Composed of a set of entities interacting.
A Metrics Program. Advantages of Collecting Software Quality Metrics Objective assessments as to whether quality requirements are being met can be made.
Improving Dependability in Service Oriented Architectures using Ontologies and Fault Injection Binka Gwynne Jie Xu School of Computing University of Leeds.
MDD approach for the Design of Context-Aware Applications.
OPERATING SYSTEMS CS 3530 Summer 2014 Systems and Models Chapter 03.
Software Requirements Specification (SRS)
An Unstructured Semantic Mesh Definition Suitable for Finite Element Method Marek Gayer, Hannu Niemistö and Tommi Karhela
Chapter : 9 Architectural Design
Chapter 1 — Computer Abstractions and Technology — 1 Uniprocessor Performance Constrained by power, instruction-level parallelism, memory latency.
Testing Overview Software Reliability Techniques Testing Concepts CEN 4010 Class 24 – 11/17.
Aggregator Stage : Definition : Aggregator classifies data rows from a single input link into groups and calculates totals or other aggregate functions.
Introduction to Software Engineering 1. Software Engineering Failures – Complexity – Change 2. What is Software Engineering? – Using engineering approaches.
MDD-Kurs / MDA Cortex Brainware Consulting & Training GmbH Copyright © 2007 Cortex Brainware GmbH Bild 1Ver.: 1.0 How does intelligent functionality implemented.
1 Software Requirements Descriptions and specifications of a system.
Wrap up. Structures and views Quality attribute scenarios Achieving quality attributes via tactics Architectural pattern and styles.
SYSE 802 John D. McGregor Module 0 Session 2 Model-based methods.
CHESS Methodology and Tool Federico Ciccozzi MBEES Meeting Sälen, January 2011 January 2011.
1 Modeling Formalism (Modeling Language Foundations) System Modeling Assessment & Roadmap Working Group Meeting – SE DSIG Reston – March, 2016 Yves BERNARD.
Chapter 4 – Requirements Engineering
Chapter 5 – Requirements Engineering
SOFTWARE DESIGN AND ARCHITECTURE
Uniprocessor Performance
CV-1: Vision The overall vision for transformational endeavors, which provides a strategic context for the capabilities described and a high-level scope.
Web Ontology Language for Service (OWL-S)
The Extensible Tool-chain for Evaluation of Architectural Models
An Introduction to Software Architecture
Dr. Jiacun Wang Department of Software Engineering Monmouth University
Abstract Types Defined as Classes of Variables
Presentation transcript:

BX Benchmarks Working Group Results BIRS Center, Dec. 3, 2013

Addressed Questions Which categories of bx benchmarks do exist? What´s the difference between a bx example and a bx benchmark? What are bx benchmarks expected to measure? What about formats for bx benchmark descriptions? [ Discussion of meaningfulness of „incrementality“ in state-based scenario ]

Categories of bx Benchmarks Functional bx benchmarks address selected features of bx approaches: – Properties of consistency relations – Types of transformation scenarios – Laws for bx approaches – [ Appropriateness for categories of data ? ] – [ Platform dependency ? ] Non-functional bx benchmarks: …

Categories of bx Benchmarks … Non-functional bx benchmarks address bx transformation characteristics like: – Runtime / memory consumption – Scaleability w.r.t. to size of data, spec. … – Size of propagated deltas – [ Loss of information after update propagation ] – …

bx Benchmark Properties A bx benchmark is a bx example (with an optional additional characterization w.r.t. to a bx taxonomy) that has a precise and executable definition of a binary consistency relation on source and target data (that can be used as an oracle for a bx application) an explicit definition of or a generator for input data elements (for a bx application) set of precisely defined update scenarios for certain input data elements set of executable metrics definitions (with an SE interpretation of the word „metrics“)

Further bx Benchmark Properties A „useful“ bx benchmark should capture the essence of certain aspects of a class of real- world bx application scenarios bx descriptions may exist on different levels of abstraction with varying degrees of dependence on a specific execution platform (PIM bx benchmark description, … )