CS 351/ IT 351 Modeling and Simulation Technologies Review (2012-04-04) Dr. Jim Holten.

Slides:



Advertisements
Similar presentations
Embedded System, A Brief Introduction
Advertisements

State Machines An approach to assembler coding. Intro State Machines are an integral part of software programming. State machines make code more efficient,
A Mathematical Formalism for Agent- Based Modeling 22 nd Mini-Conference on Discrete Mathematics and Algorithms Clemson University October 11, 2007 Reinhard.
Generating Random Numbers
SE503 Advanced Project Management Dr. Ahmed Sameh, Ph.D. Professor, CS & IS Project Uncertainty Management.
CS 351/ IT 351 Modeling and Simulation Technologies Errors In Models Dr. Jim Holten.
SBSE Course 3. EA applications to SE Analysis Design Implementation Testing Reference: Evolutionary Computing in Search-Based Software Engineering Leo.
CMSC 345, Version 11/07 SD Vick from S. Mitchell Software Testing.
FIN 685: Risk Management Topic 5: Simulation Larry Schrenk, Instructor.
Lecturer: Sebastian Coope Ashton Building, Room G.18 COMP 201 web-page: Lecture.
CS 351 Introduction Spring 2010 Modeling and Simulation Technologies Dr. Jim Holten.
CSE351/ IT351 Modeling and Simulation
Modern Software Development Fawzi Emad Chau-Wen Tseng Department of Computer Science University of Maryland, College Park.
Statistics & Modeling By Yan Gao. Terms of measured data Terms used in describing data –For example: “mean of a dataset” –An objectively measurable quantity.
CS 351/ IT 351 Modelling and Simulation Technologies Random Variates Dr. Jim Holten.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 23 Slide 1 Software testing.
CS 351 Overview Spring 2012 Modeling and Simulation Technologies Dr. Jim Holten.
CSE 222 Systems Programming Graph Theory Basics Dr. Jim Holten.
Creating Test Environments HDL Model HDL Testbench Simulation Engine API stimulus check Testbench Program stimulus check Non-HDL languages may be used.
Outline Chapter 1 Hardware, Software, Programming, Web surfing, … Chapter Goals –Describe the layers of a computer system –Describe the concept.
Unit Testing CS 414 – Software Engineering I Don Bagert Rose-Hulman Institute of Technology January 16, 2003.
1 Software Testing Techniques CIS 375 Bruce R. Maxim UM-Dearborn.
Software Integration and Documenting
Software Testing Sudipto Ghosh CS 406 Fall 99 November 9, 1999.
Dr. Pedro Mejia Alvarez Software Testing Slide 1 Software Testing: Building Test Cases.
CS 501: Software Engineering Fall 1999 Lecture 16 Verification and Validation.
CMSC 345 Fall 2000 Unit Testing. The testing process.
7 th Annual Workshop on Charm++ and its Applications ParTopS: Compact Topological Framework for Parallel Fragmentation Simulations Rodrigo Espinha 1 Waldemar.
Statistics for Engineer Week II and Week III: Random Variables and Probability Distribution.
Chapter 8 – Software Testing Lecture 1 1Chapter 8 Software testing The bearing of a child takes nine months, no matter how many women are assigned. Many.
APPLICATIONS OF CONTEXT FREE GRAMMARS BY, BRAMARA MANJEERA THOGARCHETI.
Stochastic Algorithms Some of the fastest known algorithms for certain tasks rely on chance Stochastic/Randomized Algorithms Two common variations – Monte.
Monte Carlo Simulation CWR 6536 Stochastic Subsurface Hydrology.
1 Software testing. 2 Testing Objectives Testing is a process of executing a program with the intent of finding an error. A good test case is in that.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Architectural Design l Establishing the overall structure of a software system.
Software Testing Testing types Testing strategy Testing principles.
Programming Models & Runtime Systems Breakout Report MICS PI Meeting, June 27, 2002.
Modern Software Development Nelson Padua-Perez Chau-Wen Tseng Department of Computer Science University of Maryland, College Park.
1 Software Reliability Assurance for Real-time Systems Joel Henry, Ph.D. University of Montana NASA Software Assurance Symposium September 4, 2002.
Modeling and simulation of systems Model building Slovak University of Technology Faculty of Material Science and Technology in Trnava.
Computer Science, Software Engineering & Robotics Workshop, FGCU, April 27-28, 2012 Fault Prediction with Particle Filters by David Hatfield mentors: Dr.
Issues in (Financial) High Performance Computing John Darlington Director Imperial College Internet Centre Fast Financial Algorithms and Computing 4th.
Software Testing Yonsei University 2 nd Semester, 2014 Woo-Cheol Kim.
MURI: Integrated Fusion, Performance Prediction, and Sensor Management for Automatic Target Exploitation 1 Dynamic Sensor Resource Management for ATE MURI.
The basics of the programming process The development of programming languages to improve software development Programming languages that the average user.
Chapter 10 Verification and Validation of Simulation Models
CS251 – Software Engineering Lecture 9: Software Design Slides by Mohammad El-Ramly, PhD
Software Engineering1  Verification: The software should conform to its specification  Validation: The software should do what the user really requires.
CSCI1600: Embedded and Real Time Software Lecture 33: Worst Case Execution Time Steven Reiss, Fall 2015.
CS 351/ IT 351 Modeling and Simulation Technologies HPC Architectures Dr. Jim Holten.
Chapter 1 Software Engineering Principles. Problem analysis Requirements elicitation Software specification High- and low-level design Implementation.
EGR 115 Introduction to Computing for Engineers Branching & Program Design – Part 3 Friday 03 Oct 2014 EGR 115 Introduction to Computing for Engineers.
Dynamic Testing.
ECE 526 – Network Processing Systems Design Programming Model Chapter 21: D. E. Comer.
ECG Simulation NCRR Overview Technology for the ECG Simulation project CardioWave BioPSE project background Tools developed to date Tools for the next.
Anders Nielsen Technical University of Denmark, DTU-Aqua Mark Maunder Inter-American Tropical Tuna Commission An Introduction.
Network Dynamics and Simulation Science Laboratory Structural Analysis of Electrical Networks Jiangzhuo Chen Joint work with Karla Atkins, V. S. Anil Kumar,
IEEE AI - BASED POWER SYSTEM TRANSIENT SECURITY ASSESSMENT Dr. Hossam Talaat Dept. of Electrical Power & Machines Faculty of Engineering - Ain Shams.
Simulation of O2 offline processing – 02/2015 Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture Eugen Mudnić.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 10Slide 1 Chapter 5:Architectural Design l Establishing the overall structure of a software.
Dynamo: A Runtime Codesign Environment
Extreme Value Prediction in Sloshing Response Analysis
QianZhu, Liang Chen and Gagan Agrawal
CSCI1600: Embedded and Real Time Software
Software testing strategies 2
Towards Next Generation Panel at SAINT 2002
Introduction To software engineering
Chapter 7 Software Testing.
CSCI1600: Embedded and Real Time Software
Presentation transcript:

CS 351/ IT 351 Modeling and Simulation Technologies Review ( ) Dr. Jim Holten

CS 351/ IT 351 Overview Software Engineering Models Graphs Hybrid Dynamical System (HDS) Behavior Models Critical Infrastructure Models and Network Flow Models Errors High Performance Computing (HPC)

CS 351/ IT 351 Software Engineering Maintainability and readability Development and testing Top-down, bottom-up, etc.

CS 351/ IT 351

Models Overview of uses Meshes Regular Polyhedral Mesh General Polyhedral Mesh Finite Element Mesh Networks Particles Other?

CS 351/ IT 351 Models

CS 351/ IT 351 Meshes

CS 351/ IT 351 Networks

CS 351/ IT 351 Graphs Nodes and Links Paths, diameter Hypergraphs, Hypernodes, Hyperlinks

CS 351/ IT 351 Graphs and Hypernode

CS 351/ IT 351 HDS Behavior Models Dynamics Models Modes of behavior – separate behavior models (state variable values over time) Finite State Machine (FSM) – control which behavior model to use at any given time Inputs, state variables, and outputs Internal patterns – detect internal and external conditions for FSM input control

CS 351/ IT 351 Agent HDS Model

CS 351/ IT 351 Critical Infrastructure and Network Flow Models Interdependent networked resource flows Graph-based topological description Node behavior as agents with HDS behavior models Analysis tools?

CS 351/ IT 351 Errors In Models Sources of Errors Representing Errors Validation and Verification

CS 351/ IT 351 Sources of Errors Data Acquisition Accuracy Data Value Representations Real World versus Ideal Model Numerical Methods Accuracy Wrong Algorithm and Coding Errors

CS 351/ IT 351 Numerical Methods Accuracy

CS 351/ IT 351 Representing Errors Stochastic Distributions – probability distribution function (PDF) Normal (Gaussian) Distribution Uniform Other Bounded Errors Generating Random Variates – using the cumulative distribution function (CDF)

CS 351/ IT 351 Error Distribution 1.Histogram 2.Normalize to PDF 3.Integrate to CDF

CS 351/ IT 351 High Performance Computing (HPC) Why? Data too large for one system Takes too long to run to completion Runs too slow to keep up with data stream Break model into parallel components Data parallel partitions Task parallel operations Task parallel pipelines

CS 351/ IT 351 Data Parallel

CS 351/ IT 351 Process to Parallel Pipeline/Combination Process quisi Acquisition

CS 351/ IT 351 High Performance Computing (HPC) Issues? Hard to convert sequential or small parallel programs to large numbers of processes Hard to debug Number of processes, data elements, interrelationships – hard to keep track of the all Small number of knowledgeable programmers Application domain and parallel programming essential for these jobs Next step?

CS 351/ IT 351 Questions?