Building Validation Suites with Eclipse for M odel-based G eneration Tools
|
|
- Miles Page
- 6 years ago
- Views:
Transcription
1 Building Validation Suites with Eclipse for M odel-based G eneration Tools D r. O scar Slotosch Validas A G
2 C ontent M o d el-b ased D evelo p m en t (o f Em b ed d ed Syst em s) ISO Valid at io n Su it e - A r ch it ect u r e - U sed Eclip se Tech n o lo gies fo r b u ild in g - Ex p er ien ces C o n clu sio n 2
3 Validas A G Founded Employes Motto: Validated Quality Model-based Development Model-based Testing Tool Qualifications We solve Your Challanges! Clients BMW EADS ESG Giesecke & Devrient MAN Eurocopter
4 M o d els in Em b ed d ed Syst em D evelo p m en t Pr o cess M o d el-b ased T est in g Test-Generator Integration Test M o d el-b ased D evelo p m en t Code-Generator Su p p o r t in g T o o ls Unit Test A p p licat io n / D o m ain Sp ecific ( Syst em ) M o d els U n ified M o d els M o d el-b ased T o o ls 4
5 M o d el-b ased D evelo p m en t D evelo p m en t M o d el C r eat io n = > G r ap h ical To o l C o d e G en er at io n = > G en er at o r C o d e C o m p ilat io n = > C o m p iler Im p o r t an t Ver ificat io n M et h o d s fo r M o d els Sim u lat io n (M IL,SIL,PIL) R u le C h eck in g ( Su b set -C h ecker ) Pr o p er t y Ver ificat io n (Fo r m al M et h o d s) M o d el C o ver age Back -To -Back -Test in g: M IL= SIL= PIL Out1=(In1+In2)*In3; maddf a15,a4,d15,#0 5
6 ISO , C hapter 11: Q ualification of software tools C lassificat io n in To o l C o n fid en ce Level (T C L) To o l Im p act (T I) - T I0: n o im p act = > To o l is T C L1 - T I1 : so m e im p act To o l Er r o r D et ect io n /p r even t io n p r o b ab ilit y (T D ) T D 1 :h igh co n fid en ce = > To o l is T C L1 T D 2:m ed iu m co n fid en ce = > To o l is T C L2 T D 3: lo w co n fid en ce = > To o l is T C L3 T D 4: o t h er = > To o l is T C L4 6
7 Example: Tool C hains in M odel-based D evelopment M o d el C o d e G en er at o r C -C o d e PC C o m p iler SIL-C o d e SIL T est t o o l R esu lt s PIL T est t o o l M o d el R eq u ir em en t s Sim u lat o r C -C o d e R esu lt s T ar get C o m p iler T ar get C o d e T ar get C o d e C u st o m er : can ver ify t o o l r esu lt s To o l p r o vid er A n fo r d er u n gen - H as t o r eq u ir e ver ificat o n o f h is t o o ls ( r ed u n d an cy ) o r - Valid at e h is t o o l (Valid at io n Su it e / Pr o ven in u se) 7
8 Process of Tool Q ualification R eq u ir em en t s / St an d ar d M an u al o f To o l w it h - U sed Fu n ct io n s To o l D evelo p er G u id e (Pr o cess) Valid at io n an d Ver ificat io n Plan fo r - R eq u ir em en t s V alid at io n - Functions Su it e - C o m p lian ce w it h Pr o cess Valid at io n an d Ver ificat io n R ep o r t Q u o t e fr o m A d a-t est Su it e (A C A T S): t h e A C A T S t est s t h e n o r m al u sage o f t h ese feat u r es, not unusual corner-cases. 8
9 Test M ethod for G enerators C onstruction of Validation Suites Test Sp ecificat io n : D o m ain /To o l Sp ecific Lan gu age Test In p u t s: (M o d el-)g en er at o r Test O u t p u t s: To o l In t er p r et er (R efer en ce To o l) Test A u t o m at isat io n o f - C o d e G en er at io n, C o m p ilat io n an d - Ex ecu t io n (o n Tar get ) A n alysis t o o ls: - R ep o r t G en er at io n - R o o t C au se A n alysis U n t il: - A ll M o d el/feat u r es ar e co ver ed -> M o d el C o ver age - A ll Test s h ave b een Ex ecu t ed - A ll D eviat io n s h ave b een an alyzed 9
10 Eclipse-M odeling for the C onstruction of Suites M o d els/c o d e M o d el C o d e G en er at o r C o m p iler uint8 Out; int16 In1,In2; Out = In1 % In2; V alid at io n Su it ite - M o d els - T est D at a D SL M 1 M 2 M et a M o d el Param Type; Param Op; Out uint8; In1,In2 Type; Out = Op(In1,In2); x T ex t / A T L M 2M A T L O C L Pr o ject io n Sem an t ik Fu n ct io n s? En d? C o r r ect n ess? Sp ecificat io n? 10
11 C overage: M odel-projektion In p u t : Set o f R efer en ce M o d els / Elem en t s o f M et a M o d els X M L-St r u ct u r es Pr o cect io n R esu lt s (h ier ar chy) O u t p u t : List o f u sed M o d el Elem en t s M o d el Pr o p er t ies Set t in gs / C o n figu r at io n s Filt er M ech an ism fo r n o t r elevan t p r o p er t ies (co lo r,..) C o m p ar isio n o f t w o Set s - - Valid at io n Su it e A p p licat io n m o d els 11
12 Example of M eta M odel O r ien t ed o n M o d el Elem en t s / Fu n ct io n s 12
13 U sed Eclipse Tools D SL (x Tex t ) fo r Sp ecificat io n - Par am et er : O p er at o r s, Typ es, C o n st an t s AT L fo r Tr an slat io n x Tex t -> M 1 M 2M zu r G en er at io n o f M o d els M 2M D efin it io n o f Sem an t ic O C L fo r M o d elin g R u le C h ecker M o d el-pr o jek t io n o n EM F-M o d els fo r C o ver age/fu n ct io n s 13
14 D SL for Test Specification and G eneration Sp ecificat io n = M o d el D escr ip t io n + Par am et er 14
15 Eclipse Experiences M 1 : ap p r o x C lasses M 2: ap p r o x. 350 C lasses M 2M : ap p r o x Lin es o f AT L Tr an sfo r m at io n s D SL: ap p r o x 4000 Lin es o f Test Sp ecificat io n R esu lt s (Test su it e), gen er at ed in so m e h o u r s: M o d els w it h Test seq u en ces St ab ile & p er fo r m an t so lu t io n W e w o u ld d o it again u sin g t h ese Eclip se t o o ls 15
16 Vision: Validation Framework for D ifferent C C ompilers Compiler C for T Compiler (incl. Source-Code) -Target-Semantic -Libraries -Target-Spezifica Opt. Restrictions -Configuration -Features Compiler Validation Framework Generic Part Validation Suite for Compiler C and Target T Bugs / Restrictions Qualification Report C Code Static Checker OK / NOK Test Data Dynamic Test-Checker OK / NOK 16
17 Summary M o d els in D evelo p m en t o f Em b ed d ed Syst em s ISO To o l C lassificat io n Valid at io n Su it es Eclip se is su it ab le fo r b u ild in g Su it es 17
18 T h an k Yo u! Your partner for innovation in embedded quality Arnulfstraße München info@validas.de 18
Th e E u r o p e a n M ig r a t io n N e t w o r k ( E M N )
Th e E u r o p e a n M ig r a t io n N e t w o r k ( E M N ) H E.R E T h em at ic W o r k sh o p an d Fin al C o n fer en ce 1 0-1 2 Ju n e, R agu sa, It aly D avid R eisen zein IO M V ien n a Foto: Monika
More informationI zm ir I nstiute of Technology CS Lecture Notes are based on the CS 101 notes at the University of I llinois at Urbana-Cham paign
I zm ir I nstiute of Technology CS - 1 0 2 Lecture 1 Lecture Notes are based on the CS 101 notes at the University of I llinois at Urbana-Cham paign I zm ir I nstiute of Technology W hat w ill I learn
More informationOH BOY! Story. N a r r a t iv e a n d o bj e c t s th ea t e r Fo r a l l a g e s, fr o m th e a ge of 9
OH BOY! O h Boy!, was or igin a lly cr eat ed in F r en ch an d was a m a jor s u cc ess on t h e Fr en ch st a ge f or young au di enc es. It h a s b een s een by ap pr ox i ma t ely 175,000 sp ect at
More informationA L A BA M A L A W R E V IE W
A L A BA M A L A W R E V IE W Volume 52 Fall 2000 Number 1 B E F O R E D I S A B I L I T Y C I V I L R I G HT S : C I V I L W A R P E N S I O N S A N D TH E P O L I T I C S O F D I S A B I L I T Y I N
More informationAlles Taylor & Duke, LLC Bob Wright, PE RECORD DRAWINGS. CPOW Mini-Ed Conf er ence Mar ch 27, 2015
RECORD DRAWINGS CPOW Mini-Ed Conf er ence Mar ch 27, 2015 NOMENCLATURE: Record Draw ings?????? What Hap p ened t o As- Built s?? PURPOSE: Fur n ish a Reco r d o f Co m p o n en t s Allo w Locat io n o
More informationC o r p o r a t e l i f e i n A n c i e n t I n d i a e x p r e s s e d i t s e l f
C H A P T E R I G E N E S I S A N D GROWTH OF G U IL D S C o r p o r a t e l i f e i n A n c i e n t I n d i a e x p r e s s e d i t s e l f i n a v a r i e t y o f f o r m s - s o c i a l, r e l i g i
More informationT h e C S E T I P r o j e c t
T h e P r o j e c t T H E P R O J E C T T A B L E O F C O N T E N T S A r t i c l e P a g e C o m p r e h e n s i v e A s s es s m e n t o f t h e U F O / E T I P h e n o m e n o n M a y 1 9 9 1 1 E T
More informationBalanced Leadership Framework
Lea r n in g Fo r wa r d Sessio n C3 9 Ha n d o u t In cre asin g Qu ality an d Re d u cin g Variability : A High Re liability Ap p ro ach Select ed Slid es: Participants will... Session Outcomes v understand
More informationTable of C on t en t s Global Campus 21 in N umbe r s R e g ional Capac it y D e v e lopme nt in E-L e ar ning Structure a n d C o m p o n en ts R ea
G Blended L ea r ni ng P r o g r a m R eg i o na l C a p a c i t y D ev elo p m ent i n E -L ea r ni ng H R K C r o s s o r d e r u c a t i o n a n d v e l o p m e n t C o p e r a t i o n 3 0 6 0 7 0 5
More informationARC 202L. Not e s : I n s t r u c t o r s : D e J a r n e t t, L i n, O r t e n b e r g, P a n g, P r i t c h a r d - S c h m i t z b e r g e r
ARC 202L C A L I F O R N I A S T A T E P O L Y T E C H N I C U N I V E R S I T Y D E P A R T M E N T O F A R C H I T E C T U R E A R C 2 0 2 L - A R C H I T E C T U R A L S T U D I O W I N T E R Q U A
More informationResults as of 30 September 2018
rt Results as of 30 September 2018 F r e e t r a n s l a t ion f r o m t h e o r ig ina l in S p a n is h. I n t h e e v e n t o f d i s c r e p a n c y, t h e Sp a n i s h - la n g u a g e v e r s ion
More informationc. What is the average rate of change of f on the interval [, ]? Answer: d. What is a local minimum value of f? Answer: 5 e. On what interval(s) is f
Essential Skills Chapter f ( x + h) f ( x ). Simplifying the difference quotient Section. h f ( x + h) f ( x ) Example: For f ( x) = 4x 4 x, find and simplify completely. h Answer: 4 8x 4 h. Finding the
More informationAgenda Rationale for ETG S eek ing I d eas ETG fram ew ork and res u lts 2
Internal Innovation @ C is c o 2 0 0 6 C i s c o S y s t e m s, I n c. A l l r i g h t s r e s e r v e d. C i s c o C o n f i d e n t i a l 1 Agenda Rationale for ETG S eek ing I d eas ETG fram ew ork
More informationS U E K E AY S S H A R O N T IM B E R W IN D M A R T Z -PA U L L IN. Carlisle Franklin Springboro. Clearcreek TWP. Middletown. Turtlecreek TWP.
F R A N K L IN M A D IS O N S U E R O B E R T LE IC H T Y A LY C E C H A M B E R L A IN T W IN C R E E K M A R T Z -PA U L L IN C O R A O W E N M E A D O W L A R K W R E N N LA N T IS R E D R O B IN F
More informationH STO RY OF TH E SA NT
O RY OF E N G L R R VER ritten for the entennial of th e Foundin g of t lair oun t y on ay 8 82 Y EEL N E JEN K RP O N! R ENJ F ] jun E 3 1 92! Ph in t ed b y h e t l a i r R ep u b l i c a n O 4 1922
More informationo Alphabet Recitation
Letter-Sound Inventory (Record Sheet #1) 5-11 o Alphabet Recitation o Alphabet Recitation a b c d e f 9 h a b c d e f 9 h j k m n 0 p q k m n 0 p q r s t u v w x y z r s t u v w x y z 0 Upper Case Letter
More informationS ca le M o d e l o f th e S o la r Sy ste m
N a m e ' D a t e ' S ca le M o d e l o f th e S o la r Sy ste m 6.1 I n t r o d u c t i o n T h e S olar System is large, at least w hen com pared to distances we are fam iliar w ith on a day-to-day basis.
More informationSoftware Process Models there are many process model s in th e li t e ra t u re, s om e a r e prescriptions and some are descriptions you need to mode
Unit 2 : Software Process O b j ec t i ve This unit introduces software systems engineering through a discussion of software processes and their principal characteristics. In order to achieve the desireable
More informationSpontaneous reactions occur only between the reactants shown in red.
Energy revision Solutions Question 1 The react io n b et w een so lut io n s of h yd roch lo ric acid an d so d ium h yd roxid e can b e rep resen t ed b y t h e f o llow in g eq uat io n. HCl(aq ) + NaOH(aq
More informationP a g e 5 1 of R e p o r t P B 4 / 0 9
P a g e 5 1 of R e p o r t P B 4 / 0 9 J A R T a l s o c o n c l u d e d t h a t a l t h o u g h t h e i n t e n t o f N e l s o n s r e h a b i l i t a t i o n p l a n i s t o e n h a n c e c o n n e
More informationSTEEL PIPE NIPPLE BLACK AND GALVANIZED
Price Sheet Effective August 09, 2018 Supersedes CWN-218 A Member of The Phoenix Forge Group CapProducts LTD. Phone: 519-482-5000 Fax: 519-482-7728 Toll Free: 800-265-5586 www.capproducts.com www.capitolcamco.com
More informationVlaamse Overheid Departement Mobiliteit en Openbare Werken
Vlaamse Overheid Departement Mobiliteit en Openbare Werken Waterbouwkundig Laboratorium Langdurige metingen Deurganckdok: Opvolging en analyse aanslibbing Bestek 16EB/05/04 Colofon Ph o to c o ve r s h
More informationTHIS PAGE DECLASSIFIED IAW EO IRIS u blic Record. Key I fo mation. Ma n: AIR MATERIEL COMM ND. Adm ni trative Mar ings.
T H S PA G E D E CLA SSFED AW E O 2958 RS u blc Recod Key fo maon Ma n AR MATEREL COMM ND D cumen Type Call N u b e 03 V 7 Rcvd Rel 98 / 0 ndexe D 38 Eneed Dae RS l umbe 0 0 4 2 3 5 6 C D QC d Dac A cesson
More informationINTERIM MANAGEMENT REPORT FIRST HALF OF 2018
INTERIM MANAGEMENT REPORT FIRST HALF OF 2018 F r e e t r a n s l a t ion f r o m t h e o r ig ina l in S p a n is h. I n t h e e v e n t o f d i s c r e p a n c y, t h e Sp a n i s h - la n g u a g e v
More informationGeometric Predicates P r og r a m s need t o t es t r ela t ive p os it ions of p oint s b a s ed on t heir coor d ina t es. S im p le exa m p les ( i
Automatic Generation of SS tag ed Geometric PP red icates Aleksandar Nanevski, G u y B lello c h and R o b ert H arp er PSCICO project h ttp: / / w w w. cs. cm u. ed u / ~ ps ci co Geometric Predicates
More information176 5 t h Fl oo r. 337 P o ly me r Ma te ri al s
A g la di ou s F. L. 462 E l ec tr on ic D ev el op me nt A i ng er A.W.S. 371 C. A. M. A l ex an de r 236 A d mi ni st ra ti on R. H. (M rs ) A n dr ew s P. V. 326 O p ti ca l Tr an sm is si on A p ps
More informationForm and content. Iowa Research Online. University of Iowa. Ann A Rahim Khan University of Iowa. Theses and Dissertations
University of Iowa Iowa Research Online Theses and Dissertations 1979 Form and content Ann A Rahim Khan University of Iowa Posted with permission of the author. This thesis is available at Iowa Research
More informationUNIVERSITY OF MARYLAND DEPARTMENT OF PSYCHOLOGY PSYCHOLOGY OF INTERPERSONAL RELATIONSHIPS
UNIVERSITY OF MARYLAND DEPARTMENT OF PSYCHOLOGY PSYCHOLOGY OF INTERPERSONAL RELATIONSHIPS Psychology 334 (0101) Fall, 2017 This syllabus is subject to change at the discretion of the instructor. INSTRUCTOR:
More informationGen ova/ Pavi a/ Ro ma Ti m i ng Count er st at Sep t. 2004
Ti m i ng Count er st at us @ Sep t. 2004 1 Ti m i n g Cou n t er act i vi t i es Ti m i n g r esol u t i on : 100 p s FWHM h ave b een ach i eved. PM s ch ar act er ised i n t h e COBRA m ag n et f or
More informationCHAPTER 1: TOOLS FOR ALGEBRA AND GEOMETRY
Pre-Algebra CHAPTER 1: TOOLS FOR ALGEBRA AND GEOMETRY Chapter 1: WRITE THIS DOWN IN YOUR PLANNER 1-2 PEMDAS and Divisibility Rules FRIDAY - QUIZ 1A 1-3 Variables and Expressions 1-4 Variables and Equations
More informationHistory 152 World History II
1 History 152 World History II 11:00-12:15 TR Prof. Michael Bitter UCB 245 Office: UCB 352 Fall 2012 Tel.: 974-7466 Section 001 Email: bitter@hawaii.edu Office Hours: Mon. & Wed.: 2:00-2:50 Tues. & Thurs.
More informationFeasibility Analysis, Dynamics, and Control of Distillation Columns With Vapor Recompression.
Louisiana State University LSU Digital Commons LSU Historical Dissertations and Theses Graduate School 1981 Feasibility Analysis, Dynamics, and Control of Distillation Columns With Vapor Recompression.
More informationP a g e 3 6 of R e p o r t P B 4 / 0 9
P a g e 3 6 of R e p o r t P B 4 / 0 9 p r o t e c t h um a n h e a l t h a n d p r o p e r t y fr om t h e d a n g e rs i n h e r e n t i n m i n i n g o p e r a t i o n s s u c h a s a q u a r r y. J
More informationALMA: Im aging the co ld Univ e rs e
ALMA: Im aging the co ld Univ e rs e C. Carilli (NRAO) National Research Council Canada AAS ALMA Town Meeting, Washington, DC 2006 (s ub)m m as tro no m y : unv e iling the co ld, o bs cure d univ e rs
More informationM M 3. F orc e th e insid e netw ork or p rivate netw ork traffic th rough th e G RE tunnel using i p r ou t e c ommand, fol l ow ed b y th e internal
C i s c o P r o f i l e C o n t a c t s & F e e d b a c k H e l p C isc o S M B S up p ort A ssistant Pass Routing Information over IPsec VPN Tunnel between two ASA/PIX H ome > W ork W ith M y S ec urity
More informationUse precise language and domain-specific vocabulary to inform about or explain the topic. CCSS.ELA-LITERACY.WHST D
Lesson eight What are characteristics of chemical reactions? Science Constructing Explanations, Engaging in Argument and Obtaining, Evaluating, and Communicating Information ENGLISH LANGUAGE ARTS Reading
More informationExecutive Committee and Officers ( )
Gifted and Talented International V o l u m e 2 4, N u m b e r 2, D e c e m b e r, 2 0 0 9. G i f t e d a n d T a l e n t e d I n t e r n a t i o n a2 l 4 ( 2), D e c e m b e r, 2 0 0 9. 1 T h e W o r
More informationCOMPILATION OF AUTOMATA FROM MORPHOLOGICAL TWO-LEVEL RULES
Kimmo Koskenniemi Re se ar ch Unit for Co mp ut at io na l Li ng ui st ic s University of Helsinki, Hallituskatu 11 SF-00100 Helsinki, Finland COMPILATION OF AUTOMATA FROM MORPHOLOGICAL TWO-LEVEL RULES
More informationREFUGEE AND FORCED MIGRATION STUDIES
THE OXFORD HANDBOOK OF REFUGEE AND FORCED MIGRATION STUDIES Edited by ELENA FIDDIAN-QASMIYEH GIL LOESCHER KATY LONG NANDO SIGONA OXFORD UNIVERSITY PRESS C o n t e n t s List o f Abbreviations List o f
More informationLan Performance LAB Ethernet : CSMA/CD TOKEN RING: TOKEN
Lan Performance LAB Ethernet : CSMA/CD TOKEN RING: TOKEN Ethernet Frame Format 7 b y te s 1 b y te 2 o r 6 b y te s 2 o r 6 b y te s 2 b y te s 4-1 5 0 0 b y te s 4 b y te s P r e a m b le S ta r t F r
More informationThe Ability C ongress held at the Shoreham Hotel Decem ber 29 to 31, was a reco rd breaker for winter C ongresses.
The Ability C ongress held at the Shoreham Hotel Decem ber 29 to 31, was a reco rd breaker for winter C ongresses. Attended by m ore than 3 00 people, all seem ed delighted, with the lectu res and sem
More informationLSU Historical Dissertations and Theses
Louisiana State University LSU Digital Commons LSU Historical Dissertations and Theses Graduate School 1976 Infestation of Root Nodules of Soybean by Larvae of the Bean Leaf Beetle, Cerotoma Trifurcata
More informationThe Ind ian Mynah b ird is no t fro m Vanuat u. It w as b ro ug ht here fro m overseas and is now causing lo t s o f p ro b lem s.
The Ind ian Mynah b ird is no t fro m Vanuat u. It w as b ro ug ht here fro m overseas and is now causing lo t s o f p ro b lem s. Mynah b ird s p ush out nat ive b ird s, com p et ing for food and p laces
More informationLU N C H IN C LU D E D
Week 1 M o n d a y J a n u a ry 7 - C o lo u rs o f th e R a in b o w W e w ill b e k ic k in g o ff th e h o lid a y s w ith a d a y fu ll o f c o lo u r! J o in u s fo r a ra n g e o f a rt, s p o rt
More informationYamaha Virago V-twin. Instruction manual with visual guide for Yamaha XV
Yamaha Virago V-twin Instruction manual with visual guide for Yamaha XV700-1100 PHOTO HOWN FOR ILLU TRATION PURPO E ONLY We o use a o e pie e housi g a d s all si gle to e oils fo i p o ed ope aio. If
More informationLesson Ten. What role does energy play in chemical reactions? Grade 8. Science. 90 minutes ENGLISH LANGUAGE ARTS
Lesson Ten What role does energy play in chemical reactions? Science Asking Questions, Developing Models, Investigating, Analyzing Data and Obtaining, Evaluating, and Communicating Information ENGLISH
More informationVERIZON Specific Published Vacancy
COMPANY: Ver izon New York Inc. HEAD MATERIEL ATTENDANT 320219 (1 Op ening) NY Local: : NK (MULTI-LOCALS) Bar -Unit : Dist 1 NY TRG 545 Saw Mill River Rd Elm sf ord, NY DESCRIPTION: 40 Hour s Per Week
More informationFOR SALE T H S T E., P R I N C E AL BER T SK
FOR SALE 1 50 1 1 5 T H S T E., P R I N C E AL BER T SK CHECK OUT THIS PROPERTY ON YOUTUBE: LIVINGSKY CONDOS TOUR W W W. LIV IN G S K YC O N D O S. C A Th e re is ou tstan d in g val ue in these 52 re
More information(IGBP) km 2,? PRO GR ESS IN GEO GRA PH Y. V o l. 20, N o. 4 D ec., 2001 : (2001) m m 3,
20 4 2001 12 PRO GR ESS IN GEO GRA PH Y V o l. 20, N o. 4 D ec., 2001 : 100726301 (2001) 0420355209, (, 100101) :, 501 mm 502 mm, 765 10 8 m 3 638 10 8 m 3, 127 10 8 m 3,,, ;, : ; ; : P42616; P343 : A
More informationLe classeur à tampons
Le classeur à tampons P a s à pa s Le matériel 1 gr a n d cla s s e u r 3 pa pi e r s co o r d o n n é s. P o u r le m o d è l e pr é s e n t é P a p i e r ble u D ai s y D s, pa pi e r bor d e a u x,
More informationFull field modeling of dynamic recrystallization in a global level set framework, application to 304L stainless steel
Full field modeling of dynamic recrystallization in a global level set framework, application to 304L stainless steel Romain Boulais-Sinou 1,a, Benjamin Scholtes 1, Daniel Pino Muñoz 1, Charbel Moussa
More informationM Line Card Redundancy with Y-Cab l es Seamless Line Card Failover Solu t ion f or Line Card H ardw or Sof t w are Failu res are Leverages hardware Y-
Line Card Redundancy with Y-Cab l es Technical Overview 1 M Line Card Redundancy with Y-Cab l es Seamless Line Card Failover Solu t ion f or Line Card H ardw or Sof t w are Failu res are Leverages hardware
More informationMOTC: An Interactive Aid for Multidimensional Hypothesis Generatio
University of Pennsylvania ScholarlyCommons Operations, Information and Decisions Papers Wharton Faculty Research 1999 MOTC: An Interactive Aid for Multidimensional Hypothesis Generatio Krishnamohan Balachandran
More informationI N A C O M P L E X W O R L D
IS L A M I C E C O N O M I C S I N A C O M P L E X W O R L D E x p l o r a t i o n s i n A g-b eanste d S i m u l a t i o n S a m i A l-s u w a i l e m 1 4 2 9 H 2 0 0 8 I s l a m i c D e v e l o p m e
More informationEKOLOGIE EN SYSTEMATIEK. T h is p a p e r n o t to be c i t e d w ith o u t p r i o r r e f e r e n c e to th e a u th o r. PRIMARY PRODUCTIVITY.
EKOLOGIE EN SYSTEMATIEK Ç.I.P.S. MATHEMATICAL MODEL OF THE POLLUTION IN NORT H SEA. TECHNICAL REPORT 1971/O : B i o l. I T h is p a p e r n o t to be c i t e d w ith o u t p r i o r r e f e r e n c e to
More informationInstruction Sheet COOL SERIES DUCT COOL LISTED H NK O. PR D C FE - Re ove r fro e c sed rea. I Page 1 Rev A
Instruction Sheet COOL SERIES DUCT COOL C UL R US LISTED H NK O you or urc s g t e D C t oroug y e ore s g / as e OL P ea e rea g product PR D C FE RES - Re ove r fro e c sed rea t m a o se e x o duct
More informationThis Specification is subject to change without notice
ProductS p e ci f i ca ti on BE31597E-0 1 a l p e f i n F T C D e M l a m e : E 3 1 5 9 7 E 1 l i m i n a p e f i i n a l p e f i ProductF un cti on S ci ca ti on 31.5 i ch C ol ort -L M odul ode N B -0
More informationBuilding Harmony and Success
Belmont High School Quantum Building Harmony and Success October 2016 We acknowledge the traditional custodians of this land and pay our respects to elders past and present Phone: (02) 49450600 Fax: (02)
More informationHistory 151 World History I
1 History 151 World History I 11:00-12:15 TR Prof. Michael Bitter UCB 118 Office: UCB 352 Fall 2011 Tel.: 974-7466 Section 005 Email: bitter@hawaii.edu Office Hours: 2:00-3:00 MW 10:00-11:00 TR 2:00-3:00
More informationUse precise language and domain-specific vocabulary to inform about or explain the topic. CCSS.ELA-LITERACY.WHST D
Lesson seven What is a chemical reaction? Science Constructing Explanations, Engaging in Argument and Obtaining, Evaluating, and Communicating Information ENGLISH LANGUAGE ARTS Reading Informational Text,
More informationBeechwood Music Department Staff
Beechwood Music Department Staff MRS SARAH KERSHAW - HEAD OF MUSIC S a ra h K e rs h a w t r a i n e d a t t h e R oy a l We ls h C o l le g e of M u s i c a n d D ra m a w h e re s h e ob t a i n e d
More information1980 Annual Report / FEDERAL R ESER V E BA N K OF RICHMOND. Digitized for FRASER Federal Reserve Bank of St.
1980 Annual Report / FEDERAL R ESER V E BA N K OF RICHMOND IS S N 0164-0798 L IB R A R Y OK C O N G R E SS C A T A L O G C A R D N U M B E R : 16-72o4 Additional <
More informationWEB/MOBILE SOLUTIONS WITH INNOVATION
Doc. N o. SW/1. 1 /01 Rev. N o. 01 WITH INNOVATION copyright P2P, Chandigarh. All rights reserved. No part of this document may be reproduced, copied or distributed in any form or by any means without
More informationDave & Robin Davalos New Residence 20 Golden Eagle Drive Republic, WA 99166
S www.reenstructuresw.com X 640 SLM, 97304 H# 503.5.2029 FX# 503.339.9570 V: S LS opyright reen Structures W 203 S 07/30/203 - SW SZ & H H W : V HLMS V & VLS 20 L L UL, W 9966 S Supplier and nstallation:
More informationProvider Satisfaction
Prider Satisfaction Prider Satisfaction [1] NOTE: if you nd to navigate away from this page, please click the "Save Draft" page at the bottom (visible to ONLY logged in users). Otherwise, your rpons will
More informationMv3" L7-- Art L 31. am rt. ao - M rr. a cn. art O' N. t00. to o( C7 c O. Ort. n ' C ( a ( W 0. z D0) Ln rni 90 O H N rt 0. to0) O mx rt N. W n.
S = TG _. -. t s e- ' F F J l T L L " m - F+ m G T. G m ( ( F+ v ( _ = ). i i vi vi t g d d --( ( ( t t ( - : m ET 7 ' m : ( 7 c t+ ) c - 7 7de 7( ( d;:', ` m G - L Lm ) 7 ` 7 [ t d `< ( ) ( m ( ) c. (
More informationInternet-assisted Chinese-English Dictionary Compilation
East China Normal University From the SelectedWorks of Gang Zhao Spring March 10, 2005 Internet-assisted Chinese-English Dictionary Compilation Gang Zhao, East China Normal University Available at: https://works.bepress.com/gang_zhao1/1/
More informationInformation System Desig
n IT60105 Lecture 7 Unified Modeling Language Lecture #07 Unified Modeling Language Introduction to UML Applications of UML UML Definition Learning UML Things in UML Structural Things Behavioral Things
More informationClassification. W hy Clas s if y? (pag e ) A s s ig n in g S c ien tif ic N am es (pag e 4 4 8) Chapter 18. Name Class Date
Chapter 18 Classification S e ction 1 8 1 F ind ing O rd e r in D iv e rsity (p ag e s 4 4 7 4 5 0 ) This section explains how living things are organized for study W hy Clas s if y? (pag e 4 4 7 ) 1 W
More informationAPPH 4200 Physics of Fluids
APPH 42 Physics of Fluids Problem Solving and Vorticity (Ch. 5) 1.!! Quick Review 2.! Vorticity 3.! Kelvin s Theorem 4.! Examples 1 How to solve fluid problems? (Like those in textbook) Ç"Tt=l I $T1P#(
More informationFragment Processor. Textures
Cg: A system for programming graph ic s hh ard ww are in a C-l ik e ll angu age U n i v e r s i t y o f T e x a s a t A u s t i n S t e v e n G v N V I D I A K u A y N V I D I A a n d S t a n f o r d U
More informationATPase Regulation in the Maltose Transporter
Western University Scholarship@Western Electronic Thesis and Dissertation Repository February 2012 ATPase Regulation in the Maltose Transporter Alister D. Gould The University of Western Ontario Supervisor
More informationTrade Patterns, Production networks, and Trade and employment in the Asia-US region
Trade Patterns, Production networks, and Trade and employment in the Asia-U region atoshi Inomata Institute of Developing Economies ETRO Development of cross-national production linkages, 1985-2005 1985
More informationUser Equilibrium in a Disrupted Network with Real-Time Information and Heterogeneous Risk Attitude
University of Massachusetts Amherst ScholarWorks@UMass Amherst Masters Theses 1911 - February 2014 2012 User Equilibrium in a Disrupted Network with Real-Time Information and Heterogeneous Risk Attitude
More informationJA GU A R JO U RN A L
JA GU A R JO U RN A L Jefferson Elementary 35980 Lakeshore Blvd. Eastlake, OH 44095 www.weschools.org Office: Attendance: FAX: YCare: 942-7244 283-2177 954-3550 975-3704 Mrs. Lisa George Principal Mrs.
More informationThe Effects of Physica l and Chem ica l Cond ition s on Form ing M ycelia l Pellet of P hanerochaete ch rysosp orium and B iosorption of L ead
1999 1 ENV IRONM EN TAL SC IEN CE Jan, 1999 3 (, 361005 E2m ail: kelqb@ jingxian xm u edu cn) (, 361005), (P hanerochaete ch ry sosp orium ) Pb 2+, ph 415, 10 6 gm l, 80 011%, 150rgm in, 39 3d, 115 117mm,,,
More informationPRISON POLICY INITIATIVE ANNUAL REPORT
PRISON POLICY INITIATIVE 2015-2016 2016-2017 ANNUAL REPORT N 2016 2017 PO Bx 127 N MA 01061 :// (413) 527-0845 1 T Ex D 1 W 3 P k 4 C R - 7 S j 8 B j 10 P x 12 P j 14 P 16 Wk 18 C x 19 Y P Nk S R 15 B
More informationSTREET Light 120W/130W/140W/150W/185W. Provides high quality lighting and a long lifespan solution for residential,industrial areas and main roads.
STREET Light 120W/130W/140W/150W/185W Provides high quality lighting and a long lifespan solution for residential,industrial areas and main roads. 220-240V 50/60Hz 50000h IP66 IK08 DESCRIPTION - L ED s
More informationK E L LY T H O M P S O N
K E L LY T H O M P S O N S E A O LO G Y C R E ATO R, F O U N D E R, A N D PA R T N E R K e l l y T h o m p s o n i s t h e c r e a t o r, f o u n d e r, a n d p a r t n e r o f S e a o l o g y, a n e x
More informationSTANDARDIZATION OF BLENDED NECTAR USING BANANA PSEUDOSTEM SAP AND MANGO PULP SANTOSH VIJAYBHAI PATEL
STANDARDIZATION OF BLENDED NECTAR USING BANANA PSEUDOSTEM SAP AND MANGO PULP BY SANTOSH VIJAYBHAI PATEL B.Sc. (Hons.) Horticulture DEPARTMENT OF POST HARVEST TECHNOLOGY ASPEE COLLEGE OF HORTICULTURE AND
More informationshhgs@wgqqh.com chinapub 2002 7 Bruc Eckl 1000 7 Bruc Eckl 1000 Th gnsis of th computr rvolution was in a machin. Th gnsis of our programming languags thus tnds to look lik that Bruc machin. 10 7 www.wgqqh.com/shhgs/tij.html
More informationI M P O R T A N T S A F E T Y I N S T R U C T I O N S W h e n u s i n g t h i s e l e c t r o n i c d e v i c e, b a s i c p r e c a u t i o n s s h o
I M P O R T A N T S A F E T Y I N S T R U C T I O N S W h e n u s i n g t h i s e l e c t r o n i c d e v i c e, b a s i c p r e c a u t i o n s s h o u l d a l w a y s b e t a k e n, i n c l u d f o l
More informationForeword by Yvo de Boer Prefa ce a n d a c k n owledge m e n ts List of abbreviations
Cont ent s Foreword by Yvo de Boer Prefa ce a n d a c k n owledge m e n ts List of abbreviations page xii xv xvii Pa r t 1 I ntro duct ion 1 1 Grasping the essentials of the climate change problem 3 1.1
More informationCUSTOM MODULES (Commercial / Moisture Resistant / Hermetic)
TO O (ommercial / oisture esistant / ermetic) apabilities: ustomers looking for application specific custom power modules benefit from owerex s years of experience in chip manufacturing and design / engineering.
More informationfur \ \,,^N/ D7,,)d.s) 7. The champion and Runner up of the previous year shall be allowed to play directly in final Zone.
OUL O GR SODRY DUTO, ODS,RT,SMTUR,USWR.l ntuctin f cnuct f Kbi ( y/gil)tunent f 2L-Lg t. 2.. 4.. 6. Mtche hll be lye e K ule f ene f tie t tie Dutin f ech tch hll be - +0 (Rece)+ = M The ticint f ech Te
More informationPer cent Wor d Pr oblems
Per cent Wor d Pr oblems Ratio and proportion method Her e ar e sever al aids t hat will help you solve wor d pr oblems: 1. Make sur e you under st and t he quest ion t hat is asked 2. Sor t out t he inf
More informationJune 1, Dear Parents of Sixth Graders,
June, 0 Dear Parents of Sixth Graders, During the summer, we are requiring our sixth grade students to complete a mathematics packet designed to strengthen skills for success in seventh grade. The packet
More informationChemical Treatment of a Dispersive Clay Reservoir
Chemical Treatment of a Dispersive Clay Reservoir Traitement Chimique d'un Reservoir Constitue d'argile Dispersive 12/45 F. von M. WAGENER Director, Jones & Wegener Inc. Johannesburg, South Africa H.J.
More informationAUTOMOTIVE GRADE. A I DM Pulsed Drain Current P A = 25 C Maximum Power Dissipation 2.0 P A = 70 C Maximum Power Dissipation 1.
AUTOMOTIVE GRADE Features Advanced Planar Technology Ultra Low On-Resistance Logic Level Gate Drive Dual N and P Channel MOSFET Surface Mount Available in Tape & Reel 5 C Operating Temperature Lead-Free,
More informationMe n d e l s P e a s Exer c i se 1 - Par t 1
!! Me n d e l s P e a s Exer c i se 1 - Par t 1 TR UE - BR E E D I N G O R G A N I S M S Go a l In this exercise you will use StarGenetics, a genetics experiment simulator, to understand the concept of
More informationDangote Flour Mills Plc
SUMMARY OF OFFER Opening Date 6 th September 27 Closing Date 27 th September 27 Shares on Offer 1.25bn Ord. Shares of 5k each Offer Price Offer Size Market Cap (Post Offer) Minimum Offer N15. per share
More informationEMPORIUM H O W I T W O R K S F I R S T T H I N G S F I R S T, Y O U N E E D T O R E G I S T E R.
H O W I T W O R K S F I R S T T H I N G S F I R S T, Y O U N E E D T O R E G I S T E R I n o r d e r t o b u y a n y i t e m s, y o u w i l l n e e d t o r e g i s t e r o n t h e s i t e. T h i s i s
More informationSMOOTH WALLBATHWARE. escape the ordinary. aquariusproducts.com
SMOOTH WALLBATHWARE escape the ordinary aquariusproducts.com escape SMOOTH WALLBATHWARE premium residential bathware the ordinary Create a unique look and feel with Aquarius Smooth Wall bathware. AcrylX
More informationWhat are S M U s? SMU = Software Maintenance Upgrade Software patch del iv ery u nit wh ich once ins tal l ed and activ ated prov ides a point-fix for
SMU 101 2 0 0 7 C i s c o S y s t e m s, I n c. A l l r i g h t s r e s e r v e d. 1 What are S M U s? SMU = Software Maintenance Upgrade Software patch del iv ery u nit wh ich once ins tal l ed and activ
More informationKEYTOPS FOR MODEL 28 TELETYPEWRITER SETS. Model 28 Keytops are gray green plastic with white characters, unless otherwise specified.
E SYSTEM PRCTICES T&TCo Standard SECTION 573181 Issue 1, ugust 1972 KEYTOPS FOR MODE 28 TEETYPEWRITER SETS Model 28 Keytops are gray green plastic with white characters, unless otherwise specified. Keyleer
More informationST 602 ST 606 ST 7100
R e s to n Preserve Ct P r e s e rve Seneca Rd S h e r m a n ST 193 B2 Georgetown Pike B6 B8 Aiden Run Ct B9 Autumn Mist Ln B12 B11 B16 B15 B13 B17 Shain Ct B19 B21 B26 B24 B23 N o r th fa lls B28 B27
More informationSyllable Division- Nonsense Words Closed. Directions: Underline the vowels. Then divide and label the syllables. 1. l a b n e t 8.
Syllable Division- Nonsense Words Closed 1. l a b n e t 8. b o n f i l 2. p e n c a g 9. d a n s i l 3. m a p k i f 1 0. f o n f a c h 4. s e p g a t 1 1. u n g o b 5. m i s t e f 1 2. s t a g m i t 6.
More informationexclusive fully t iled one-piece p o o l s & s p a s Delivered t o your door High Qualit y Fully t iled & complet e page 1
exclusive fully t iled one-piece p o o l s & s p a s High Qualit y Delivered t o your door Fully t iled & complet e page 1 C L A S S I C The Classic is a cont emporary st yle swimming pool which has proven
More informationTool Interface Standards (TIS) DWARF Debugging Information Format Specification. Version 2.0
Tool Interface Standards (TIS) DWARF Debugging Information Format Specification Version 2.0 TIS Committee May 1995 The TIS Committee grants you a non-exclusive, worldwide, royalty-free license to use the
More information& Ö IN 4> * o»'s S <«
& Ö IN 4 0 8 i I *»'S S s H WD 'u H 0 0D fi S «a 922 6020866 Aessin Number: 690 Publiatin Date: Mar 28, 1991 Title: Briefing T mbassy Representatives n The Refused Strategi Defense Initiative Persnal Authr:
More information