From Theory to Practice Transferring Innovative BPM Research to Industrial Practice. Manfred Reichert

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "From Theory to Practice Transferring Innovative BPM Research to Industrial Practice. Manfred Reichert"

Transcription

1 From Theory to Practice Transferring Innovative BPM Research to Industrial Practice Manfred Reichert Manfred Reichert 9 September 2013 Keynote EVL-BP 2013

2 Page 2 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Conclusions

3 M Reichert Keynote EVL-BP September 2013 Page 3 Processes can become very large and complex Thousands of concurrently executed process instances High need for flexibility in all phases of the process lifecycle Support for application integration is fundamental Correctness and robustness are crucial features of any processaware information systems Integrated support of all phases of the process lifecycle required Example of an Automotive Engineering Process Healthcare Process Introduction Product Change Management

4 Page 4 M Reichert Keynote EVL-BP September 2013 Introduction: PAIS Build-Time Process Schema S Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy Non Operative Therapy 1 x Discharge & Documentation x + Activity XOR-Split/Join AND-Split/Join clinicalsuspicionof CruciateRupture = Yes MRT + + Sonography x Initial Treatment & Operation Planning cruciaterupture = Yes and operationindicated = Yes Operative Treatmentt x Process Instance I1 x + + x x x Execution Trace: σ 1 = < Patient Admission, Anamnesis & Clinical Examination, X-ray > Process Instance I2 x + + x x x Execution Trace: σ 2 = < Patient Admission, Anamnesis & Clinical Examination, Non Operative Therapy > Activity States: Activated Completed Skipped

5 Page 5 M Reichert Keynote EVL-BP September 2013 Compliance Violation Make next appointment Release patient Admit patient Make next appointment Release patient PAIS: Levels of Correctness Inconsistency Deadlock Lifelock Semantic Correctness (Business Process Compliance) Impossible Data-flow Behavioral Correctness (Soundness) Syntactical Correctness Missing End Event Wrong Flows

6 Page 6 M Reichert Keynote EVL-BP September 2013 Introduction: PAIS Run-Time Process-Aware Information System Std Client APIWeb Clnt APIModeling API Dyn Change API Admin API Role Mgmt Authorization Time Mgmt Msg Queuing Recovery Audit Trail Process 4 Process 3 Process 2 Process 1 Process Execution Engine Process 6 Process 5 Process 11 Process 10 Process 9 Process 8 Process 7 Process 14 Process 13 Process 12 Anwendungen / Application Server Users Process Designer

7 Page 7 M Reichert Keynote EVL-BP September 2013 Introduction: PAIS Lifecycle Schema S : B Schema S: A x C B x A x D C x E D Weber, B, Mutschler, B, Reichert, M (2010) Investigating the Effort of Using Business Process Management Technology: Results from a Controlled Experiment Science of Computer Programming, 75(5): Process engineer / Process administrator Process Monitoring Execution Log Create Instances Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D Process Execution Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant Process Modeling Process Configuration & Implementation Process Execution Process Monitoring

8 Page 8 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Conclusions

9 Page 9 M Reichert Keynote EVL-BP September 2013 ADEPT: Challenges Good idea! Let it be the new process version! Process-aware Information System Running Instances / Process Engine Migrate running instances? Process Models Deal with conflicts between ad-hoc changes and schema changes at type level Process Logs

10 Page 10 M Reichert Keynote EVL-BP September 2013 ADEPT: Challenges Process engineer / Process administrator Need for Process Evolution Execution Log Process Need Monitoring for Monitoring and Analyzing Dynamic Processes Schema S : B Schema S: A x C A B x x D C x E Create Instances Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D D Need for Process Variant Configuration Process Execution Need for Ad-hoc Deviations Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant Reichert, M, Rinderle-Ma, S, Dadam, P (2010) Flexibility in Process-aware Information Systems LNCS Transactions on Petri Nets and Other Models of Concurrency, Vol 2, pp

11 Page 11 M Reichert Keynote EVL-BP September 2013 ADEPT: Challenges Schema S : B Schema S: A x C B x A x D C x E D Process engineer / Process administrator Process Monitoring Execution Log Create Instances Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D Process Execution Need for Ad-hoc Deviations Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant

12 Page 12 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Examinations U Wallace, Edgar U Miller, Anne Examination Check Anesthesiology Exceptional case we need an additional lab test! U Smith, Karl U Jones, Isabelle X-Ray Explanation Operation Risks Lab Test The Users' View Reichert, Manfred and Dadam, Peter (1998) ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control Journal of Intelligent Information Systems, Special Issue on Workflow Management Systems, 10(2): , Kluwer

13 Page 13 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Process Type Level System s View Process Schema S Non Operative Therapy Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy 1 x Discharge & Documentation clinicalsuspicionof CruciateRupture = Yes + MRT + x x x + Activity XOR-Split/Join AND-Split/Join Sonography Initial Treatment & Operation Planning cruciaterupture = Yes and operationindicated = Yes Operative Treatment Process Instance Level Process Instance I1 x + + x x x Process Instance I2 x + + x x x Execution Trace: σ 1 = < Patient Admission, Anamnesis & Clinical Examination, X-ray > Execution Trace: σ 2 = < Patient Admission > Reichert, Manfred and Dadam, Peter (1998) ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control Journal of Intelligent Information Systems, Special Issue on Workflow Management Systems, Vol 10, No 2, pp

14 Page 14 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Process Type Level System s View Process Schema S Non Operative Therapy Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy 1 x Discharge & Documentation x + Activity XOR-Split/Join AND-Split/Join clinicalsuspicionof CruciateRupture = Yes + MRT + x x Sonography For patient Mozart the MRT Initial Treatment & activity Operative Treatment Operation Planning needs to be skipped due to his cardiac pacemaker cruciaterupture = Yes and operationindicated = Yes Process Instance Level Process Instance I1 x + + x x x Process Instance I2 x + + x x x Execution Trace: σ 1 = < Patient Admission, Anamnesis & Clinical Examination, X-ray > Execution Trace: σ 2 = < Patient Admission > Reichert, Manfred and Dadam, Peter (1998) ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control Journal of Intelligent Information Systems, Special Issue on Workflow Management Systems, Vol 10, No 2, pp

15 Page 15 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Process Type Level System s View Process Schema S Non Operative Therapy Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy 1 x Discharge & Documentation clinicalsuspicionof CruciateRupture = Yes + MRT + x x x + Activity XOR-Split/Join AND-Split/Join Sonography Initial Treatment & Operation Planning cruciaterupture = Yes and operationindicated = Yes Operative Treatment Process Instance Level Process Instance I1 x + + x x x Process Instance I2 x + + x x x Execution Trace: σ 1 = < Patient Admission, Anamnesis & Clinical Examination, X-ray > Execution Trace: σ 2 = < Patient Admission > Reichert, Manfred and Dadam, Peter (1998) ADEPTflex-Supporting Dynamic Changes of Workflows Without Losing Control Journal of Intelligent Information Systems, Special Issue on Workflow Management Systems, Vol 10, No 2, pp

16 Page 16 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Process Type Level Change Correctness Process Schema S Non Operative Therapy Patient Admission Anamnesis & Clinical Examination x X-ray Non Operative Therapy 1 x Discharge & Documentation clinicalsuspicionof CruciateRupture = Yes + MRT + x x x + Activity XOR-Split/Join AND-Split/Join Sonography Initial Treatment & Operation Planning cruciaterupture = Yes and operationindicated = Yes Operative Treatment Process Instance Level Process Instance I3 x + + x x x Execution Trace: σ 3 = < Patient Admission, Anamnesis & Clinical Examination, MRT, X-ray, Sonography > I3 is not compliant with change Delete (I3, MRT) Rinderle, Stefanie and Reichert, Manfred (2004) Correctness Criteria for Dynamic Changes in Workflow Systems: A Survey Data & Knowledge Engineering, Vol 50, No 1, pp 9-34

17 Page 17 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes a) b) c) A A A B NT= NULL A B X C jumpforward(cfs instance, G, J, ) B C E H Insert X between DE F G G M J K N skip before = {C, D}and M after = {F} I D n target n sync F Solution for many fundamental research issues! Step 2: Insert X parallel to this block Nachholbereich C Step 1: Determine minimal X block NT = NULL B E H NT = NULL MinBlock CFS ({C, D, F}) A D G J K C n 1 C n I target n 2 n sync A B E F F G A B E F G n begin Formal D n end foundation NT= NULL of D the NT= NULL NS = ACTIVATED Step 3: Insert sync ADEPT edges technology! H Step 4: Apply reduction NS rules = RUNNING G NS = COMPLETED ET = SOFT_SYNC_E X n I ES = TRUE_SIGNALED X target n 2 C B D C F D E ET=SOFT_SYNC_E E F NT= NULL n 1 G AJ n sync B C D K E Reichert, F GManfred and Dadam, Peter and Bauer, Thomas (2003) Dealing with forward and backward jumps in workflow management systems Int'l Journal Software and Systems Modeling (SOSYM), 2(1): 37-58

18 Page 18 M Reichert Keynote EVL-BP September 2013 ADEPT: Ad-hoc Changes Annotating changes with information about the reasons for the change Retrieval of similar past changes based on context information Reuse of changes through PAIS User Assistance Process Instance I 1 Delete(I 1,MRT) Patient Anamnesis & x Admission Clinical Examination X-ray Non Operative Therapy Non Operative Therapy 1 x Discharge & Documentation + MRT + x x Sonography Initial Treatment & Operation Planning Operative Treatment pd c1 = The treatment of cruciate ruptures routinely includes a magnetic resonance tomography (MRT), an X-ray and a sonography However, for a particular patient the MRT may have to be skipped as the respective patient has a cardiac pacemaker qasetc1 = {(Does the patient have a cardiac pacemaker?, PatientproblemListhasPacemaker = 'Yes')} sol c1 = <Delete(S I,MRT)> freq c1 = 1 Case c 1 Weber, Barbara and Reichert, Manfred and Wild, Werner and Rinderle-Ma, Stefanie (2009) Providing Integrated Life Cycle Support in Process-Aware Information Systems Int'l Journal of Cooperative Information Systems, Vol 18, No 1, pp

19 Page 19 M Reichert Keynote EVL-BP September 2013 ADEPT: Change Mining and Learning 1 Changes are rather costly 2 Variants are difficult to maintain Li, C, Reichert, M, Wombacher, A (2011) Mining Business Process Variants: Challenges, Scenarios, Algorithms Data & Knowledge Engineering, Vol 70, No 5, pp , Derive a new reference process model from the the variants such that: Less adaptations are needed in future!

20 Page 20 M Reichert Keynote EVL-BP September 2013 ADEPT: Process Schema Evolution Process engineer / Process administrator Need for Process Evolution Process Monitoring Execution Log Schema S : B Schema S: A x C B x A x D C x E D Create Instances Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D Process Execution Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant

21 Page 21 M Reichert Keynote EVL-BP September 2013 ADEPT: Process Schema Evolution ADEPT Process Management System Std Client APIWeb Clnt APIModeling API Dyn Change API Admin API Role Mgmt Authorization Time Mgmt Msg Queuing Recovery Audit Trail Process 4 Process 3 Process 2 Process 1 Process Engine Process 6 Process 5 Process 11 Process 10 Process 9 Process 8 Process 7 Process 14 Process 13 Process 12 The Users' View ADEPT Process Composer Create Process Template Modify Process Template Check Process Template Repository Process Application Templates Components Anwendungen / Application Server Users 4377 instances can be automatically migrated 1117 instances have proceeded too far 123 instances cannot be automatically migrated Process Designer / Process Administrator

22 Page 22 M Reichert Keynote EVL-BP September 2013 ADEPT: Process Schema Evolution Schema S: confirm order System s View pack goods S : make invoice confirm order invoice pack goods send invoice I 1 : get order collect data deliver goods get order compose order migrate collect data compose order deliver goods I 2 : migrate I n : migrate Process instance not state compliant with S' (remains being executed according to S) Rinderle, S, Reichert, M, Dadam, Peter (2004) Flexible Support of Team Processes by Adaptive Workflow Systems Distributed and Parallel Databases, 16(1):

23 Page 23 M Reichert Keynote EVL-BP September 2013 ADEPT: Process Schema Evolution Schema S: confirm order System s View pack goods S : make invoice confirm order invoice pack goods send invoice get order I 1 : collect data deliver goods get order compose order migrate collect data compose order deliver goods I 2 : X X X Ad-hoc Change migrate? Indispensable: General, Formal Correctness Criterion I n : migrate Analogy: DBMS Concurrency Control "Serializability Principle" Process instance not compliant with S' Rinderle, S, Reichert, M, Dadam, P (2004) Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications In: Proc CooplS'04, Agia Napa, LNCS 3290,, pp

24 Page 24 M Reichert Keynote EVL-BP September 2013 ADEPT: Extended Process Lifecycle Support Schema S : B Schema S: A x C B x A x D C x E D Process engineer / Process administrator Process Monitoring Execution Log Change Log Create Instances Change Propagation Instance I 1 Instance I 1 B Instance I 1 B A x CB x E A x C x E A x C x E D D D Process Execution Instancespecific Change Exception: Delete (I 1, E) Arbeitsliste Tätigkeit 1 Tätigkeit 2 Tätigkeit 3 Tätigkeit 4 Process participant Weber, B, Sadiq, S, Reichert, M (2009) Beyond Rigidity - Dynamic Process Lifecycle Support: A Survey on Dynamic Changes in Process-aware Information Systems Computer Science - Research and Development, 23(2): 47-65, Springer

25 Page 25 M Reichert Keynote EVL-BP September 2013 ADEPT: Implementing the Framework (Formal) Process Meta Model Process Fragment Composition Process Type Changes Architecture And Implementation Ad-hoc Changes Response Times Propagation of Process Type Changes User Interface / API Transactional Support / Semantic Rollback Support of Temporal Constraints Efficient Execution Componentorientied Software Development Scalability / Distributed Process Mgmt Dadam, Peter and Reichert, Manfred (2009) The ADEPT Project: A Decade of Research and Development for Robust and Flexible Process Support - Challenges and Achievements Computer Science - Research and Development, Vol 23, No 2, pp 81-97

26 Page 26 M Reichert Keynote EVL-BP September 2013 ADEPT: Implementing the Framework (Formal) Process Meta Model Process Fragment Composition Process Type Changes Architecture And Implementation Ad-hoc Changes Response Times Propagation of Process Type Changes User Interface / API Transactional Support / Semantic Rollback Support of Temporal Constraints Efficient Execution Componentorientied Software Development Scalability / Distributed Process Mgmt Dadam, Peter and Reichert, Manfred (2009) The ADEPT Project: A Decade of Research and Development for Robust and Flexible Process Support - Challenges and Achievements Computer Science - Research and Development, Vol 23, No 2, pp 81-97

27 Page 27 M Reichert Keynote EVL-BP September 2013 ADEPT: Implementing the Framework (Formal) Process Meta Model Process Fragment Composition Process Type Changes Architecture And Implementation Ad-hoc Changes Response Times Propagation of Process Type Changes User Interface / API Transactional Support / Semantic Rollback Support of Temporal Constraints Efficient Execution Componentorientied Software Development Scalability / Distributed Process Mgmt Dadam, Peter and Reichert, Manfred (2009) The ADEPT Project: A Decade of Research and Development for Robust and Flexible Process Support - Challenges and Achievements Computer Science - Research and Development, Vol 23, No 2, pp 81-97

28 Page 28 M Reichert Keynote EVL-BP September 2013 ADEPT: Clinical Pathway Support Patient is pregnant; process variant pregnacy is chosen Flexible Support of Clinical Pathways with ADEPT Partners: Jan Neuhaus, Claudia Reuter Fraunhoferinstitut Dortmund Increased blood sugar level; process variant Diabetes is chosen New process fragments are inserted in parallel!

29 Page 29 M Reichert Keynote EVL-BP September 2013 ADEPT: Disaster Management Process-aware, Cooperative Emergency Management for Water Infrastructures Partner: TU Darmstadt A Wagenknecht; U Rüppel: Improving Resource Management In Flood Response With Process Models and Web GIS In: 16th TIEMS Conf, 2009

30 Page 30 M Reichert Keynote EVL-BP September 2013 ADEPT: Transfering ADEPT to Practice The AristaFlow BPM Suite AristaFlow BPM Suite wwwaristaflow-forumde

31 Page 31 M Reichert Keynote EVL-BP September 2013

32 Page 32 M Reichert Keynote EVL-BP September 2013 Another Contribution: Comparing PAIS Flexibility Frameworks (1) Change Patterns Weber, B, Reichert, M, and Rinderle-Ma, S (2008) Change Patterns and Change Support Features Enhancing Flexibility in Process-Aware Information Systems Data & Knowledge Eng, 66(3): ,

33 Page 33 M Reichert Keynote EVL-BP September 2013 Another Contribution: Comparing PAIS Flexibility Frameworks (2) Patterns for Decision Deferral High Need for User Experience Low Process model can contain Specification Number placeholders needs of activity to be whose instances content is completed can be selected specified before during at run-time execution can start Traditional Workflow Multi-instance Activities Late Binding Late Modeling Late Composition Process model is iteratively composed Process model during can run-time contain considering placeholders existing whose constraints content is modeled during run-time Low Degree of Decision Deferral High

34 Page 34 M Reichert Keynote EVL-BP September 2013 Another Contribution: Comparing PAIS Flexibility Frameworks (3) Change Support Features Schema Evolution, Version Control and Instance Migration Support for Instance-Specific Changes Correctness of Changes Traceability and Analysis of Changes Access Control of Changes Change Reuse Change Concurrency Control Refactoring Support for Process Models

35 Page 35 M Reichert Keynote EVL-BP September 2013 Another Contribution: Comparing PAIS Flexibility Frameworks (4) Primitive / Pattern ADEPT2 / CBRFlow CAKE 2 Academic HOON MOVE P o F WASA2 WIDE YAWL + Worklets / Exlets Flower Commercial Change Primitives PR1 Add Node PR2 Remove Node PR3 Add Edge PR4 Remove Edge PR5 Move Edge + + Adaptation Patterns AP1 Insert Fragment A[1, 2], B[1,2,3], A[2], B[1], C [1, 2] C[1,2] AP2 Delete Fragment A[1, 2], B[1,2,3] A[2], B[1] AP3 - Move Fragment A[1, 2], B[1,2,3], C[1,2] AP4 Replace Fragment A[2], B[1] AP5 Swap Fragment AP6 Extract Fragment A[1,2], B[3] AP7 Inline Fragment A[1,2], B[2] AP8 Embed Fragment in A[1,2], B[1,2,3] AP9 Parallelize Activities A[1,2], B[1,2,3] AP10 - Embed Fragment in Conditional Branch A[2] AP11 Add Control Dependency A[1,2] AP12 Remove Control Dependencies A[1,2] AP13 Update Condition A[1,2] A[2] AP14 Copy Fragment Staffware Weber, Barbara and Rinderle, Stefanie and Reichert, Manfred (2007) Change Patterns and Change Support Features in Process-Aware Information Systems In: CAiSE'07, Trondheim, Norway, LNCS 4495, pp

36 Page 36 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Large Process Models Large Process Collections Large Process Structures Conclusions

37 Page 37 M Reichert Keynote EVL-BP September 2013 The Daimler BPM Round Table Daimler Ulm Ulm

38 Page 38 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Large Process Models Large Process Collections Large Process Structures Conclusions

39 M Reichert Keynote EVL-BP September 2013 Page The Challenge: Dealing with Large Process Models

40 Page 40 M Reichert Keynote EVL-BP September 2013 Dealing with Large Process Models: Need for an Advanced Visualization Framework Visualization Component 40

41 Page 41 M Reichert Keynote EVL-BP September 2013 The Proviado Visualization Framework abstracting information (process views) adapting visual appearance (symbols, colors, ) adapt display form (diagram, form, table, text, )

42 Page 42 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction - Example

43 Page 43 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction Basic Operations (1) CREATE VIEW cr-overview AS AGGREGATE( Initiate CR, ) AS Initiierung FROM cr-process CR-Mgr modify CR CR-Mgr request expertise CR-Mgr request evaluation CR-Mgr request comments CR-Board approve CR CR-Mgr instruct realization CR-Mgr conclude CR Initiate Review Evaluate Decide Realize abort Some Requirements: Reduce complexity of (large) process models Aggregate or eliminate certain process information in a given application context Cover all process perspectives: behavior, data,

44 Page 44 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction Basic Operations (2) Reduction Aggregation D1 D234 DEFGH AB C X,Y,Z L X,Z Y I J K Z Y X Z D5 Eliminate activities Simplify the resulting schema Remove adjacent satellite objects Aggregate activities Aggregate adjacent objects if required

45 Page 45 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction High-Level Operations Example: ShowMyActivities

46 Page 46 M Reichert Keynote EVL-BP September 2013 Proviado: Process Model Abstraction Summary Proviado offers a powerful mechanism for creating and visualizing process model abstractions (ie, process views) enables a high degree of flexibility in respect to the artefacts created (based on parameterizable view building operations) considers all process perspectives, eg, control and data flow, process attributes, process logs has a well defined formal foundation

47 Page 47 M Reichert Keynote EVL-BP September 2013 The Proviado Visualization Framework abstracting information (process views) adapting visual appearance (symbols, colors, ) adapt display form (diagram, form, table, text, )

48 Page 48 M Reichert Keynote EVL-BP September 2013 Proviado: Adjusting the Visual Appearance of Process Models Visualization templates TEST test goal Visualization template defines 1 symbol to be used 2 data to be displayed 3 application context

49 Page 49 M Reichert Keynote EVL-BP September 2013 Proviado: Adjusting the Visual Appearance of Process Models Creating a process visualization Process name: PartID value: XX35K4 D1 A notation Template x Template y Template z state AttrValue AttrValue B X Y start: end: cost: 2500 Name Symbol AttrValue AttrValue Process elements C Z start: end: cost: 4100 Process attributes references Name references application context schema Context rule 1 if type =activity then use template x Context rule 2 Context rule 3 Name Value process visualization Z costs Evaluate the context rules and fill in attribute values C PartID XX35K4

50 Page 50 M Reichert Keynote EVL-BP September 2013 Proviado: Abstraction + Visual Configuration Personalized Visualization

51 Page 51 M Reichert Keynote EVL-BP September 2013 The Proviado Visualization Framework abstracting information (process views) adapting visual appearance (symbols, colors, ) adapt display form (diagram, form, table, text, )

52 Page 52 M Reichert Keynote EVL-BP September 2013 Proviado: Supporting Different Display Forms for Process Models

53 Page 53 M Reichert Keynote EVL-BP September 2013 Proviado: Supporting Different Display Forms for Process Models Word write CRrequest act A CR-request < 2 days check CRrequest act B Abt XYB Abt XY-A Abt XY-C recent Change Requests A-Klasse W213-XQ-14 W213-LZ-93 W213-RZ-52 E-Klasse M-Klasse S-Klasse heute Antrag B25KS vom Genehmigung Änderung Status ID Aktivität Bearbeiter Anfang Abschluss Dauer Q4 heute 1 AAA Abt XY-A t Abt XY-A 2 BBB Abt XY-C t Abt XY-C 3 CCC Abt XY-B t Abt XY-B 4 DDD Abt XY-B t Abt XY-B 5 EEE Abt XY-A t Abt XY-A 6 FFF Abt XY-A t Abt XY-A 7 GGG Abt XY-C t Abt XY-C 8 HHH Abt XY-A t Abt XY-A

54 Page 54 M Reichert Keynote EVL-BP September 2013 The Proviado Visualization Framework: Achievements assign fill up S1 build view S2 S3 S4 calculate S5 Visualization symbols symbols Component layout aggregate & reduce A B C D E aggregate A N E "remove activities of P2" activity: document: actor: activity name name name symbol: activity_def values : activity name name= A state= running A D B A C A B C D color: P1: P3: adapt style fonts: actname: Arial 10pt actor: Arial 7pt

55 Page 55 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Large Process Models Large Process Collections Large Process Structures Conclusions

56 Page 56 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large Process Model Collections

57 Page 57 M Reichert Keynote EVL-BP September 2013 and a Particular Challenge: Managing Process Variants 57

58 Page 58 M Reichert Keynote EVL-BP September 2013 and a Particular Challenge: Managing Process Variants Standard Process Reception Diagnosis Repair Hand Over Maintain Variant 1: Fast Diagnosis Reception Diagnosis Shortened Repair Hand Over Variant 2: Security Critical Repair Reception Diagnosis Maintain Repair Final Check Hand Over Variant 3: Fast Diagnosis and Security Critical Repair Reception Diagnosis Shortened Repair Final Check Hand Over

59 Page 59 M Reichert Keynote EVL-BP September 2013 and a Particular Challenge: Managing Process Variants Context Model Business Area Daimler Financial Services Daimler Trucks Daimler Buses Mercedes-Benz Vans Mercedes-Benz Cars Truck Van Bus Car Brand Fuso Smart Mercedes Benz Vehicle Type Problem: Not all value combinations make sense!

60 Page 60 M Reichert Keynote EVL-BP September 2013 and a Particular Challenge: Managing Process Variants Context Model Business Area Variant 1 Variant 2 Daimler Financial Services Variant 3 Daimler Trucks Daimler Buses Mercedes-Benz Vans Mercedes-Benz Cars LKW Van Bus PKW Brand Fuso Smart Mercedes Benz Vehicle Type

61 Page 61 M Reichert Keynote EVL-BP September 2013 The Provop Approach for Managing Process Variants Base process Variant specific adjustments INSERT IF country = Italy DELETE IF brand = Smart Configured process variant

62 Page 62 M Reichert Keynote EVL-BP September 2013 The Provop Approach for Managing Process Variants Base Process with Options BM AM BH Reception Diagnosis Repair Maintain Hand Over Option 1 DELETE Process fragment BM BH CONTEXT DEPENDENCY: IF Maintenance = No Option 2 INSERT Process fragment AM Final Check BH CONTEXT DEPENDENCY: IF security critical = Yes Process Family CURRENT CONTEXT: Maintenance = Yes security critical = No Choosing and applying options CURRENT CONTEXT: Maintenance = Yes security critical = Yes Reception Diagnosis Repair Maintain Hand Over CURRENT CONTEXT: Maintenance = No security critical = No Reception Diagnosis Repair Maintain Hand Over 62 Final Reception Diagnosis Repair Maintain Hand Over Check CURRENT CONTEXT: Maintenance = No security critical = Yes Final Reception Diagnosis Repair Maintain Hand Over Check

63 Page 63 M Reichert Keynote EVL-BP September 2013 The Provop Approach for Managing Process Variants

64 Page 64 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Large Process Models Large Process Collections Large Process Structures Conclusions

65 Page 65 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large and Complex Process Structures

66 Page 66 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large and Complex Process Structures Example: Electronics in side door Automotive Engineering: Electrical control units (ECUs) become more and more important: provide many safety-critical functions fast implementation of changes: adjustments and bug fixes by flashing new software onto the ECU Modern cars comprise up to 70 ECUs; > LoC ECUs interconnected by up to 10 buses with 2 kilometers of wires 90% of car innovations enabled by E/E systems Power window Safety stop Close with central locking system Safety functions (Presafe) Communication with air condition Electrical side mirrors Electrical adjustment Electrical heating Memory function Retractable side mirror Automatic fading out Ambient illumination Turn indicator Door lock Open / Close with central locking system Sensors for alarm system Power closing Sidebags Side impact sensors Active surround speakers Control unit for Power windows Mirror adjustment Seat adjustment Memory function Child safety lock Central locking system

67 Page 67 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large and Complex Process Structures Current Problems in Automotive Engineering Up to 50% of all car breakdowns due to electrical / electronic problems Some facts Many non-obvious dependencies between ECUs Different life and development cycles of mechanics, hardware and software Numerous ECU variants and versions Systematic verification and release management required

68 Page 68 M Reichert Keynote EVL-BP September 2013 The Challenge: Dealing with Large and Complex Process Structures Process Process Process Modeling Execution Dynamic Adaptation Exception Handling Process Process Process Process Process Process Process

69 Page 69 M Reichert Keynote EVL-BP September 2013 The Corepro Project Basic Approach Datenmodell Data Model Life Cycle Coordination Model Object Life Cycles / Life Cycle Coordination Model Datenstruktur Data Structure Datengetriebene Prozessstruktur Data-driven Process Structure

70 Page 70 M Reichert Keynote EVL-BP September 2013 The Corepro Project Basic Approach Datenmodell Life Cycle Coordination Model g Object Life Cycles / a Life Cycle Coordination Model Datenstruktur Datengetriebene Prozessstruktur g a Data-driven Process Structure

71 Page 71 M Reichert Keynote EVL-BP September 2013 The Corepro Project Basic Approach g a Datenstruktur Datengetriebene Prozessstruktur Datenmodell Life Cycle Coordination Model g a Data-driven Process Structure

72 Page 72 M Reichert Keynote EVL-BP September 2013 The Corepro Project Basic Approach g g a a Datenstruktur Datengetriebene Prozessstruktur Datenmodell Life Cycle Coordination Model

73 Page 73 M Reichert Keynote EVL-BP September 2013

74 Page 74 M Reichert Keynote EVL-BP September 2013 Significant reduction of modeling efforts for process engineers Formal operational semantics allows for correct executability Soundness can be guaranteed on an abstracted level

75 Page 75 M Reichert Keynote EVL-BP September 2013 The Corepro Project Exception Handling Automatic Defining Dynamic Graphical Simulating Creation the Adaptation Model User and Large Level Interface Execution and Process with Exception of Correctness COREPROSim of Structures a Process Handling Checks Structure

76 Page 76 M Reichert Keynote EVL-BP September 2013 Introduction ADEPT A Decade of Research on Flexible Process-Aware Information Systems and its Transfer to Practice Large Processes in the Automotive Industry and Technologies to Support them Conclusions

77 Page 77 M Reichert Keynote EVL-BP September 2013 Research of my Team Korrektheit & Robustheit Adaptivität & Flexibilität Healthcare & Psychology Automotive Engineering Verteilung & Mobilität Daten & Prozesse Prozess- und Service-Varianten Sofware Engineering Product Lifecycle Management Sustainable Data Intelligente (Smarte) Prozesse Methods, Concepts and Technologies for Next Generation Process Management Technology Research Methods Design Research Formal Methods Innovative Prototypes Empiric Research M Reichert, 2010

78 Page 78 M Reichert Keynote EVL-BP September 2013 Research Projects Provop ADEPT ATAPIS ADEPT ADEPTevolution MinAdeptCorepro Proviado ProCycle SeaFlows, C3Pro MoDe4SLA PHILharmonicFlow Q-Advice proview procollab nipro Qube SustainHub, PROCEED nipro MARPLE AristaFlow AristaFlow ADEPTdistribution MARPLE C3Pro ENPROSO

79 Page 79 M Reichert Keynote EVL-BP September 2013 wwwprocess-flexibilitycom

D-Case Modeling Guide for Target System

D-Case Modeling Guide for Target System D-Case Modeling Guide for Target System 1/32 Table of Contents 1 Scope...4 2 Overview of D-Case and SysML Modeling Guide...4 2.1 Background and Purpose...4 2.2 Target System of Modeling Guide...5 2.3 Constitution

More information

Distributed Control Systems

Distributed Control Systems Unit 41: Unit code Distributed Control Systems M/615/1509 Unit level 5 Credit value 15 Introduction With increased complexity and greater emphasis on cost control and environmental issues, the efficient

More information

Application of Bayesian Networks to Shopping Assistance

Application of Bayesian Networks to Shopping Assistance Application of Bayesian Networks to Shopping Assistance Yang Xiang, Chenwen Ye, and Deborah Ann Stacey University of Guelph, CANADA Abstract. We develop an on-line shopping assistant that can help a e-shopper

More information

THE CANDU 9 DISTRffiUTED CONTROL SYSTEM DESIGN PROCESS

THE CANDU 9 DISTRffiUTED CONTROL SYSTEM DESIGN PROCESS THE CANDU 9 DISTRffiUTED CONTROL SYSTEM DESIGN PROCESS J.E. HARBER, M.K. KATTAN Atomic Energy of Canada Limited 2251 Speakman Drive, Mississauga, Ont., L5K 1B2 CA9900006 and M.J. MACBETH Institute for

More information

Virtual Breadboarding. John Vangelov Ford Motor Company

Virtual Breadboarding. John Vangelov Ford Motor Company Virtual Breadboarding John Vangelov Ford Motor Company What is Virtual Breadboarding? Uses Vector s CANoe product, to simulate MATLAB Simulink models in a simulated or real vehicle environment. Allows

More information

The Safety Case. Structure of Safety Cases Safety Argument Notation

The Safety Case. Structure of Safety Cases Safety Argument Notation The Safety Case Structure of Safety Cases Safety Argument Notation Budapest University of Technology and Economics Department of Measurement and Information Systems The safety case Definition (core): The

More information

2017 LOCKHEED MARTIN CORPORATION. ALL RIGHTS RESERVED

2017 LOCKHEED MARTIN CORPORATION. ALL RIGHTS RESERVED 1 Lockheed Martin (LM) Space Systems Software Product Line Focused organization (LM1000) Deep Space Heritage Avionics/SW leveraged for LM1000 product line solution Combined Commercial and Civil Space Organizations

More information

Transit Signal Preemption and Priority Treatments

Transit Signal Preemption and Priority Treatments Transit Signal Preemption and Priority Treatments Peter Koonce, PE Portland, OR Today s Message Transit signal priority presents an opportunity to partner with an agency that isn t always recognized as

More information

Who takes the driver seat for ISO and DO 254 verification?

Who takes the driver seat for ISO and DO 254 verification? Who takes the driver seat for ISO 26262 and DO 254 verification? Reconciling requirement based verification with coverage-driven verification Avidan Efody, Mentor Graphics Corp. Motivation ISO and DO users

More information

Adaptability and Fault Tolerance

Adaptability and Fault Tolerance Adaptability and Fault Tolerance Rogério de Lemos University of Kent, UK Context: self-* and dependability; Focus: adaptability and fault tolerance; State of the art; Conclusions; Rogério de Lemos ICSE

More information

Replay using Recomposition: Alignment-Based Conformance Checking in the Large

Replay using Recomposition: Alignment-Based Conformance Checking in the Large Replay using Recomposition: Alignment-Based Conformance Checking in the Large Wai Lam Jonathan Lee 2, H.M.W. Verbeek 1, Jorge Munoz-Gama 2, Wil M.P. van der Aalst 1, and Marcos Sepúlveda 2 1 Architecture

More information

Advanced Test Equipment Rentals ATEC (2832) OMS 600

Advanced Test Equipment Rentals ATEC (2832) OMS 600 Established 1981 Advanced Test Equipment Rentals www.atecorp.com 800-404-ATEC (2832) OMS 600 Continuous partial discharge monitoring system for power generators and electrical motors Condition monitoring

More information

The Safety Case. The safety case

The Safety Case. The safety case The Safety Case Structure of safety cases Safety argument notation Budapest University of Technology and Economics Department of Measurement and Information Systems The safety case Definition (core): The

More information

Open Research Online The Open University s repository of research publications and other research outputs

Open Research Online The Open University s repository of research publications and other research outputs Open Research Online The Open University s repository of research publications and other research outputs Developing an intelligent table tennis umpiring system Conference or Workshop Item How to cite:

More information

Queue analysis for the toll station of the Öresund fixed link. Pontus Matstoms *

Queue analysis for the toll station of the Öresund fixed link. Pontus Matstoms * Queue analysis for the toll station of the Öresund fixed link Pontus Matstoms * Abstract A new simulation model for queue and capacity analysis of a toll station is presented. The model and its software

More information

Online Diagnosis of Engine Dyno Test Benches: A Possibilistic Approach

Online Diagnosis of Engine Dyno Test Benches: A Possibilistic Approach Online Diagnosis of Engine Dyno Test Benches: A Possibilistic Approach S. Boverie (d), D. Dubois (c), X. Guérandel (a), O. de Mouzon (b), H. Prade (c) Engine dyno diagnostic BEST project Bench Expert System

More information

Non Functional Requirement (NFR)

Non Functional Requirement (NFR) Non Functional Requirement (NFR) Balasubramanian Swaminathan PMP, ACP, CSM, CSP, SPC4.0, AHF Director Global Programs, Digital Operations [Enterprise Agile Coach and Leader] GE Healthcare Digital Copyright

More information

Provider ICD 10 Compliant Release A S K E S I S W E B I N A R F E B R U A R Y 1 9,

Provider ICD 10 Compliant Release A S K E S I S W E B I N A R F E B R U A R Y 1 9, Provider 7.2.6 ICD 10 Compliant Release A S K E S I S W E B I N A R F E B R U A R Y 1 9, 2 0 1 4 Agenda ICD 10 overview Application development path to compliance Objectives Components CMS 1500 Documentation

More information

Section 10 - Hydraulic Analysis

Section 10 - Hydraulic Analysis Section 10 - Hydraulic Analysis Methodology Documentation Functionality Summary Sizing Methodology Fixed/Resize Combined Flow Storm: Sizing as per d/d Structures.dat Storm vs. Sanitary Methodology HGL/EGL

More information

Purpose. Scope. Process flow OPERATING PROCEDURE 07: HAZARD LOG MANAGEMENT

Purpose. Scope. Process flow OPERATING PROCEDURE 07: HAZARD LOG MANAGEMENT SYDNEY TRAINS SAFETY MANAGEMENT SYSTEM OPERATING PROCEDURE 07: HAZARD LOG MANAGEMENT Purpose Scope Process flow This operating procedure supports SMS-07-SP-3067 Manage Safety Change and establishes the

More information

Road Data Input System using Digital Map in Roadtraffic

Road Data Input System using Digital Map in Roadtraffic Data Input System using Digital Map in traffic Simulation Namekawa,M 1., N.Aoyagi 2, Y.Ueda 2 and A.Satoh 2 1 College of Management and Economics, Kaetsu University, Tokyo, JAPAN 2 Faculty of Engineering,

More information

Lecture 04 ( ) Hazard Analysis. Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016

Lecture 04 ( ) Hazard Analysis. Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Lecture 04 (02.11.2015) Hazard Analysis Christoph Lüth Jan Peleska Dieter Hutter Where are we? 01: Concepts of Quality 02: Legal Requirements:

More information

Diver-NETZ Wireless Groundwater Monitoring Networks

Diver-NETZ Wireless Groundwater Monitoring Networks Diver-NETZ Wireless Groundwater Monitoring Networks Monitor your groundwater without boundaries A COMPLETE WIRELESS GROUNDWATER MONITORING SYSTEM From wireless field data collection and recording, to project

More information

Decompression Method For Massive Compressed Files In Mobile Rich Media Applications

Decompression Method For Massive Compressed Files In Mobile Rich Media Applications 2010 10th IEEE International Conference on Computer and Information Technology (CIT 2010) Decompression Method For Massive Compressed Files In Mobile Rich Media Applications Houchen Li, Zhijie Qiu, Lei

More information

Rajiv Gandhi University of Knowledge Technologies, Nuzvid

Rajiv Gandhi University of Knowledge Technologies, Nuzvid E1 CE MA1222 ENGINEERING MATHEMATICS-II Regular/Remedial 25-04-2018 2:00 PM to 5:00 PM E1 CE CE1201 MECHANICS OF MATERIALS Regular 27-04-2018 2:00 PM to 5:00 PM E1 CE CE1202 FLUID MECHANICS Regular 30-04-2018

More information

DataCore Cloud Service Provider Program (DCSPP) Product Guide

DataCore Cloud Service Provider Program (DCSPP) Product Guide DataCore Cloud Service Provider Program (DCSPP) Product Guide Effective: March 1, 2017 Table of Contents Overview... 1 Licensing and Pricing... 1 Choice of DCSPP Monthly Point Plans... 2 DCSPP Product

More information

Diver Training Options

Diver Training Options MAIN INTERNET ON-SITE TAILORED PACKAGES INTER-COMPANY Diver Training Options DBI offers a menu of tailored courses Designed for users as well as IT Professionals to learn how to master the functionality

More information

REAL. Simple, Intuitive, Powerful Real.

REAL. Simple, Intuitive, Powerful Real. REAL Simple, Intuitive, Powerful Real. When we set out to define the bikefitting.com toolset engineered by Shimano Dynamics Lab, these were a few of the stand out priorities we wanted to achieve. We delivered.

More information

Training Fees 3,400 US$ per participant for Public Training includes Materials/Handouts, tea/coffee breaks, refreshments & Buffet Lunch.

Training Fees 3,400 US$ per participant for Public Training includes Materials/Handouts, tea/coffee breaks, refreshments & Buffet Lunch. Training Title DISTRIBUTED CONTROL SYSTEMS (DCS) 5 days Training Venue and Dates DISTRIBUTED CONTROL SYSTEMS (DCS) Trainings will be conducted in any of the 5 star hotels. 5 22-26 Oct. 2017 $3400 Dubai,

More information

Modeling Planned and Unplanned Store Stops for the Scenario Based Simulation of Pedestrian Activity in City Centers

Modeling Planned and Unplanned Store Stops for the Scenario Based Simulation of Pedestrian Activity in City Centers Modeling Planned and Unplanned Store Stops for the Scenario Based Simulation of Pedestrian Activity in City Centers Jan Dijkstra and Joran Jessurun Department of the Built Environment Eindhoven University

More information

The Future of Hydraulic Control in Water-Systems

The Future of Hydraulic Control in Water-Systems The Future of Hydraulic Control in Water-Systems A. Heimann Manager of R&D and of Technical Support & Applications Engineering departments at Dorot Automatic Control Valves Dorot Control Valves, Kibbutz

More information

Copyright by Turbomachinery Laboratory, Texas A&M University

Copyright by Turbomachinery Laboratory, Texas A&M University Proceedings of the 2 nd Middle East Turbomachinery Symposium 17 20 March, 2013, Doha, Qatar Effectiveness of Windage Features on High Speed Couplings Steven Pennington Global Engineering Manager John Crane

More information

Missing no Interaction Using STPA for Identifying Hazardous Interactions of Automated Driving Systems

Missing no Interaction Using STPA for Identifying Hazardous Interactions of Automated Driving Systems Bitte decken Sie die schraffierte Fläche mit einem Bild ab. Please cover the shaded area with a picture. (24,4 x 11,0 cm) Missing no Interaction Using STPA for Identifying Hazardous Interactions of Automated

More information

Modeling of Hydraulic Hose Paths

Modeling of Hydraulic Hose Paths Mechanical Engineering Conference Presentations, Papers, and Proceedings Mechanical Engineering 9-2002 Modeling of Hydraulic Hose Paths Kurt A. Chipperfield Iowa State University Judy M. Vance Iowa State

More information

SIDRA INTERSECTION 6.1 UPDATE HISTORY

SIDRA INTERSECTION 6.1 UPDATE HISTORY Akcelik & Associates Pty Ltd PO Box 1075G, Greythorn, Vic 3104 AUSTRALIA ABN 79 088 889 687 For all technical support, sales support and general enquiries: support.sidrasolutions.com SIDRA INTERSECTION

More information

Principles of Knowledge Representation and Reasoning. Principles of Knowledge Representation and Reasoning. Lecturers. Lectures: Where, When, Webpage

Principles of Knowledge Representation and Reasoning. Principles of Knowledge Representation and Reasoning. Lecturers. Lectures: Where, When, Webpage Principles of Knowledge Representation and April 19, 2010 Introduction Principles of Knowledge Representation and Introduction Bernhard Nebel, Stefan Wölfl, and Marco Ragni Albert-Ludwigs-Universität Freiburg

More information

SQL LiteSpeed 3.0 Installation Guide

SQL LiteSpeed 3.0 Installation Guide SQL LiteSpeed 3.0 Installation Guide Revised January 27, 2004 Written by: Jeremy Kadlec Edgewood Solutions www.edgewoodsolutions.com 888.788.2444 2 Introduction This guide outlines the SQL LiteSpeed 3.0

More information

Hands-on practice: Digital Surface and Terrain Models

Hands-on practice: Digital Surface and Terrain Models EUFAR - EUropean Facility for Airborne Research Hands-on practice: Digital Surface and Terrain Models Christian Briese cb@ipf.tuwien.ac.at 1 Institute of Photogrammetry and Remote Sensing Vienna University

More information

Principles of Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning Principles of Knowledge Representation and Reasoning Introduction Bernhard Nebel, Stefan Wölfl, and Marco Ragni Albert-Ludwigs-Universität Freiburg April 19, 2010 Nebel, Wölfl, Ragni (Uni Freiburg) KRR

More information

Reduction of Bitstream Transfer Time in FPGA

Reduction of Bitstream Transfer Time in FPGA IOSR Journal of Electronics and Communication Engineering (IOSR-JECE) e-issn: 2278-2834,p- ISSN: 2278-8735.Volume 9, Issue 2, Ver. III (Mar - Apr. 2014), PP 82-86 Reduction of Bitstream Transfer Time in

More information

A study on the relation between safety analysis process and system engineering process of train control system

A study on the relation between safety analysis process and system engineering process of train control system A study on the relation between safety analysis process and system engineering process of train control system Abstract - In this paper, the relationship between system engineering lifecycle and safety

More information

GAS FILLING MACHINES PROCESS MONITORING PRESSURE BALANCE

GAS FILLING MACHINES PROCESS MONITORING PRESSURE BALANCE GAS FILLING MACHINES PROCESS MONITORING PRESSURE BALANCE www.helantec.de Gas filling - visibly better! 2 Managing partners Jochen Weiß and Gregor Witrofsky Advantage for you Worldwide, HELANTEC is the

More information

Lecture 1 Temporal constraints: source and characterization

Lecture 1 Temporal constraints: source and characterization Real-Time Systems Lecture 1 Temporal constraints: source and characterization Basic concepts about real-time Requirements of Real-Time Systems Adapted from the slides developed by Prof. Luís Almeida for

More information

GOLOMB Compression Technique For FPGA Configuration

GOLOMB Compression Technique For FPGA Configuration GOLOMB Compression Technique For FPGA Configuration P.Hema Assistant Professor,EEE Jay Shriram Group Of Institutions ABSTRACT Bit stream compression is important in reconfigurable system design since it

More information

The Cooperative Cleaners Case Study: Modelling and Analysis in Real-Time ABS

The Cooperative Cleaners Case Study: Modelling and Analysis in Real-Time ABS : Modelling and Analysis in Real-Time ABS Silvia Lizeth Tapia Tarifa Precise Modelling and Analysis University of Oslo sltarifa@ifi.uio.no 29.11.2013 S. Lizeth Tapia Tarifa Outline Motivation 1 Motivation

More information

High usability and simple configuration or extensive additional functions the choice between Airlock Login or Airlock IAM is yours!

High usability and simple configuration or extensive additional functions the choice between Airlock Login or Airlock IAM is yours! High usability and simple configuration or extensive additional functions the choice between Airlock Login or Airlock IAM is yours! Airlock Login Airlock IAM When combined with Airlock WAF, Airlock Login

More information

Application of Dijkstra s Algorithm in the Evacuation System Utilizing Exit Signs

Application of Dijkstra s Algorithm in the Evacuation System Utilizing Exit Signs Application of Dijkstra s Algorithm in the Evacuation System Utilizing Exit Signs Jehyun Cho a, Ghang Lee a, Jongsung Won a and Eunseo Ryu a a Dept. of Architectural Engineering, University of Yonsei,

More information

DIGITAL SOLUTIONS TRAINING CATALOGUE. QRA and CFD simulation. Phast, Safeti and KFX SAFER, SMARTER, GREENER

DIGITAL SOLUTIONS TRAINING CATALOGUE. QRA and CFD simulation. Phast, Safeti and KFX SAFER, SMARTER, GREENER DIGITAL SOLUTIONS TRAINING CATALOGUE QRA and CFD simulation Phast, Safeti and KFX SAFER, SMARTER, GREENER 02 PHAST, SAFETI AND KFX Training catalogue Global training Our increased focus on global training,

More information

POLICY GUIDE. DataCore Cloud Service Provider Program (DCSPP) DCSPP OVERVIEW POLICY GUIDE INTRODUCTION PROGRAM MEMBERSHIP DCSPP AGGREGATORS

POLICY GUIDE. DataCore Cloud Service Provider Program (DCSPP) DCSPP OVERVIEW POLICY GUIDE INTRODUCTION PROGRAM MEMBERSHIP DCSPP AGGREGATORS DataCore Cloud Service Provider Program (DCSPP) Effective: March 1, 2019 INTRODUCTION Welcome to the DataCore Cloud Service Provider Program (the DCSPP ) Policy Guide for authorized Cloud Service Providers

More information

Osceola County Property Appraiser GIS Modernization: An Enterprise Implementation

Osceola County Property Appraiser GIS Modernization: An Enterprise Implementation Osceola County Property Appraiser GIS Modernization: An Enterprise Implementation Osceola County Osceola County Where We Were: History of Osceola Co PA Parcel Mapping Vision For The Future Project Goals

More information

Emergency Rides. Driving Simulators Research Development Production. 1. General. Rev

Emergency Rides. Driving Simulators Research Development Production. 1. General. Rev FOERST Driving Simulators Research Development Production Foerst GmbH Industriegelände 5 D-51674 Wiehl Tel.: 0049-2262-72970 0 Fax: 0049-2262-72970 12 Email: info@fahrsimulatoren.eu Internet: www.fahrsimulatoren.eu

More information

CSM Pre-Test. 3) Who is responsible for achieving a Sprint Goal? A) ScrumMaster B) Product Owner C) Project Manager D) Scrum Development Team

CSM Pre-Test. 3) Who is responsible for achieving a Sprint Goal? A) ScrumMaster B) Product Owner C) Project Manager D) Scrum Development Team CSM Pre-Test 1) According to Agile development principles, the primary measure of progress is... A) largely subjective. B) working software. C) lines of code. D) a comparison of estimates to actuals. 2)

More information

P r o j e c t M a n a g e M e n t f o r I n t e r a c t I v e D I g I t a l M e D I a

P r o j e c t M a n a g e M e n t f o r I n t e r a c t I v e D I g I t a l M e D I a 9 1 0 0 P r o j e c t M a n a g e M e n t f o r I n t e r a c t I v e D I g I t a l M e D I a 40S/40E/40M An Interactive Digital Media Course 9 1 0 0 : P r o j e c t M a n a g e M e n t f o r I n t e

More information

[XACT INTEGRATION] The Race Director. Xact Integration

[XACT INTEGRATION] The Race Director. Xact Integration 2018 The Race Director Xact Integration [XACT INTEGRATION] This document describes the steps in using the direct integration that has been built between Race Director and Xact. There are three primary

More information

ENHANCED PARKWAY STUDY: PHASE 2 CONTINUOUS FLOW INTERSECTIONS. Final Report

ENHANCED PARKWAY STUDY: PHASE 2 CONTINUOUS FLOW INTERSECTIONS. Final Report Preparedby: ENHANCED PARKWAY STUDY: PHASE 2 CONTINUOUS FLOW INTERSECTIONS Final Report Prepared for Maricopa County Department of Transportation Prepared by TABLE OF CONTENTS Page EXECUTIVE SUMMARY ES-1

More information

1. Functional description. Application program usage. 1.1 General. 1.2 Behavior on bus voltage loss and bus voltage. 1.

1. Functional description. Application program usage. 1.1 General. 1.2 Behavior on bus voltage loss and bus voltage. 1. Application program usage product family: Product type: Manufacturer: Name: Order-No.: Valve actuators Constant valve actuator Siemens Valve actuator AP 562/02 5WG1 562-7AB02 Commissioning For commissioning

More information

C o d i n g f o r i n t e r a C t i v e d i g i t a l M e d i a

C o d i n g f o r i n t e r a C t i v e d i g i t a l M e d i a 9 0 9 7 C o d i n g f o r i n t e r a C t i v e d i g i t a l M e d i a 30S/30E/30M An Interactive Digital Media Course 9 0 9 7 : C o d i n g f o r i n t e r a C t i v e d i g i t a l M e d i a 3 0 S

More information

Wind Plant Operator Data User's Guide

Wind Plant Operator Data User's Guide GUIDE 09 Wind Plant Operator Data User's Guide September 2016 Version: 2.2 Effective Date: 09/12/2016 This document was prepared by: NYISO Customer Support New York Independent System Operator 10 Krey

More information

Software Reliability 1

Software Reliability 1 Software Reliability 1 Software Reliability What is software reliability? the probability of failure-free software operation for a specified period of time in a specified environment input sw output We

More information

Italian Olympiad in Informatics: 10 Years of the Selection and Education Process

Italian Olympiad in Informatics: 10 Years of the Selection and Education Process Olympiads in Informatics, 2011, Vol. 5, 140 146 140 2011 Vilnius University Italian Olympiad in Informatics: 10 Years of the Selection and Education Process Mario ITALIANI Dipartimento di Scienze dell

More information

USING COMPUTERIZED WORKFLOW SIMULATIONS TO ASSESS THE FEASIBILITY OF WHOLE SLIDE IMAGING: FULL ADOPTION IN A HIGH VOLUME HISTOLOGY LABORATORY

USING COMPUTERIZED WORKFLOW SIMULATIONS TO ASSESS THE FEASIBILITY OF WHOLE SLIDE IMAGING: FULL ADOPTION IN A HIGH VOLUME HISTOLOGY LABORATORY USING COMPUTERIZED WORKFLOW SIMULATIONS TO ASSESS THE FEASIBILITY OF WHOLE SLIDE IMAGING: FULL ADOPTION IN A HIGH VOLUME HISTOLOGY LABORATORY David McClintock, M.D. Fellow, Pathology Informatics Massachusetts

More information

Case Study. PayPal s Sparkline Case Study. About Sparkline

Case Study. PayPal s Sparkline Case Study. About Sparkline Our People. Your Solution. PayPal s Sparkline Case Study Case Study PayPal, an ebay subsidiary, is a digital payment provider offering flexible payment methods with more than 81 million active accounts

More information

Safety-critical systems: Basic definitions

Safety-critical systems: Basic definitions Safety-critical systems: Basic definitions Ákos Horváth Based on István Majzik s slides Dept. of Measurement and Information Systems Budapest University of Technology and Economics Department of Measurement

More information

Artificial Intelligence for the EChO Mission Scheduler

Artificial Intelligence for the EChO Mission Scheduler Artificial Intelligence for the EChO Mission Scheduler Álvaro García Piquer Ignasi Ribas Josep Colomé Institute of Space Sciences (CSIC/IEEC), Barcelona, Spain SCIOPS 2013 September 10 13, 2013 Introduction

More information

swmath - Challenges, Next Steps, and Outlook

swmath - Challenges, Next Steps, and Outlook swmath - Challenges, Next Steps, and Outlook Hagen Chrapary 1, 2, Wolfgang Dalitz 2, and Wolfram Sperber 1 1 FIZ Karlsruhe/zbMATH, Franklinstr. 11, 10587 Berlin, Germany 2 Zuse Institute Berlin (ZIB),

More information

FireWorks NFIRS BI User Manual

FireWorks NFIRS BI User Manual FireWorks NFIRS BI User Manual Last Updated: March 2018 Introduction FireWorks Business Intelligence BI and analytics tool is used to analyze NFIRS (National Fire Incident Reporting System) data in an

More information

Scrum Portfolio jumshat.com

Scrum Portfolio jumshat.com Scrum Portfolio jumshat.com SCRUM is an iterative and incremental agile framework for managing complex projects. A scrum (short for scrummage) is a method of restarting play in rugby football. SCRUM Scrum

More information

Strategy, Developments & Outlook SESP September 2010 ESTEC, Noordwijk, The Netherlands

Strategy, Developments & Outlook SESP September 2010 ESTEC, Noordwijk, The Netherlands Strategy, Developments & Outlook SESP 2010 28-30 September 2010 ESTEC, Noordwijk, The Netherlands Overview Introduction Strategy Upgraded courses New 4.2 features EuroSim 4.3 outlook EuroSim on a stick

More information

Allocation of referees, hours and pistes User manual of Engarde - August, 2013

Allocation of referees, hours and pistes User manual of Engarde - August, 2013 Allocation of referees, hours and pistes User manual of Engarde - August, 2013 Introduction 1. Launching the advanced allocation of referees 1.1. Poules 1.2. Tableaux 2. The advanced allocation window

More information

Transposition Table, History Heuristic, and other Search Enhancements

Transposition Table, History Heuristic, and other Search Enhancements Transposition Table, History Heuristic, and other Search Enhancements Tsan-sheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 Abstract Introduce heuristics for improving the efficiency

More information

Transition from Scrum to Flow

Transition from Scrum to Flow Transition from Scrum to Flow Implementing change at a large multi-national software company Transition from Scrum to Flow Phillip Cave / Kristin Poole 2 Introducing IEB Transition from Scrum to Flow Phillip

More information

Guidelines on Surveys for Dynamic Positioning System

Guidelines on Surveys for Dynamic Positioning System Guidelines on Surveys for Dynamic Positioning System (2002) BEIJING 1 CONTENTS Chapter 1 GENERAL 1.1 General requirements 1.2 Class notation 1.3 Definitions 1.4 Plans and documents 1.5 Failure mode and

More information

Integrating Best of Breed Outage Management Systems with Mobile Data Systems. Abstract

Integrating Best of Breed Outage Management Systems with Mobile Data Systems. Abstract Integrating Best of Breed Outage Management Systems with Mobile Data Systems Donald Shaw Partner ExtenSys Inc. 31 Plymbridge Crescent North York, ON M2P 1P4 Canada Telephone: (416) 481-1546 Fax: (416)

More information

Optimal Signal Timing Method of Intersections Based on Bus Priority

Optimal Signal Timing Method of Intersections Based on Bus Priority American Journal of Traffic and Transportation Engineering 2018; 3(1): 1-5 http://www.sciencepublishinggroup.com/j/ajtte doi: 10.11648/j.ajtte.20180301.11 Optimal Signal Timing Method of Intersections

More information

Scrum Guide Revision

Scrum Guide Revision November 2017 Scrum Guide Revision Jeff Sutherland Ken Schwaber Introduction Agenda How we have gotten here What has changed in the Scrum Guide Addressing common misconceptions A Little About Scrum Scrum

More information

Failure Modes, Effects and Diagnostic Analysis. Rosemount Inc. Chanhassen, MN USA

Failure Modes, Effects and Diagnostic Analysis. Rosemount Inc. Chanhassen, MN USA Failure Modes, Effects and Diagnostic Analysis Project: 3095MV Mass Flow Transmitter Customer: Rosemount Inc. Chanhassen, MN USA Contract No.: Q04/04-09 Report No.: Ros 04/04-09 R001 Version V1, Revision

More information

Motion Control of a Bipedal Walking Robot

Motion Control of a Bipedal Walking Robot Motion Control of a Bipedal Walking Robot Lai Wei Ying, Tang Howe Hing, Mohamed bin Hussein Faculty of Mechanical Engineering Universiti Teknologi Malaysia, 81310 UTM Skudai, Johor, Malaysia. Wylai2@live.my

More information

Collision Avoidance System using Common Maritime Information Environment.

Collision Avoidance System using Common Maritime Information Environment. TEAM 2015, Oct. 12-15, 2015, Vladivostok, Russia Collision Avoidance System using Common Maritime Information Environment. Petrov Vladimir Alekseevich, the ass.professor, Dr. Tech. e-mail: petrov@msun.ru

More information

MOBILEYE SHIELD + COLLISION AVOIDANCE SYSTEM OUR VISION. YOUR SAFETY.

MOBILEYE SHIELD + COLLISION AVOIDANCE SYSTEM OUR VISION. YOUR SAFETY. MOBILEYE SHIELD + COLLISION AVOIDANCE SYSTEM OUR VISION. YOUR SAFETY. MOBILEYE SHIELD + OUR SOLUTION FOR PEDESTRIAN & CYCLIST SAFETY The Mobileye Shield+ System is the latest technological advancement

More information

SLOP RECEPTION AND PROCESSING FACILITIES

SLOP RECEPTION AND PROCESSING FACILITIES RULES FOR CLASSIFICATION OF SHIPS NEWBUILDINGS SPECIAL SERVICE AND TYPE ADDITIONAL CLASS PART 5 CHAPTER 8 SLOP RECEPTION AND PROCESSING FACILITIES JANUARY 2011 CONTENTS PAGE Sec. 1 General Requirements...

More information

A Novel Decode-Aware Compression Technique for Improved Compression and Decompression

A Novel Decode-Aware Compression Technique for Improved Compression and Decompression A Novel Decode-Aware Compression Technique for Improved Compression and Decompression J. Suresh Babu, K. Tirumala Rao & P. Srinivas Department Of Electronics & Comm. Engineering, Nimra College of Engineering

More information

Global Certifying Authority for Scrum and Agile Professionals. Authorized Training Partner

Global Certifying Authority for Scrum and Agile Professionals. Authorized Training Partner Global Certifying Authority for Scrum and Agile Professionals Authorized Training Partner SCRUM is an iterative and incremental agile framework for managing complex projects. A scrum (short for scrummage)

More information

Risk Management Qualitatively on Railway Signal System

Risk Management Qualitatively on Railway Signal System , pp. 113-117 The Korean Society for Railway Ya-dong Zhang* and Jin Guo** Abstract Risk management is an important part of system assurance and it is widely used in safety-related system. Railway signal

More information

An intuitive and innovative answer to your anaesthesia challenges

An intuitive and innovative answer to your anaesthesia challenges An intuitive and innovative answer to your anaesthesia challenges Dameca AX500 anaesthesia machine Meeting your needs today and tomorrow As an expert in anaesthesia care, you are looking to continuously

More information

Squeak and Rattle Solutions: Prevention in CAD

Squeak and Rattle Solutions: Prevention in CAD Squeak and Rattle Solutions: Prevention in CAD By Christian Berndt, Guido Rybczynski, Patrick Schimmelbauer (ZIEGLER-Instruments GmbH) Klaus Steinberg (7senses) Dr. Hans-Jürgen Daams (Hajuveda) Full vehicle

More information

Scaling up of ADAS Traffic Impacts to German Cities

Scaling up of ADAS Traffic Impacts to German Cities 10th ITS European Congress, Helsinki, Finland 16 19 June 2014 TP 0220 Scaling up of ADAS Traffic Impacts to German Cities Judith Geßenhardt 1*, Oliver Fakler 2, Tobias Schendzielorz 3, Fritz Busch 1 1.

More information

Youth Sports Leagues Scheduling

Youth Sports Leagues Scheduling Youth Sports Leagues Scheduling Douglas Moody, Graham Kendall and Amotz Bar-Noy City University of New York Graduate Center and School of Computer Science (Moody,Bar-Noy), University of Nottingham, UK

More information

Questions & Answers About the Operate within Operate within IROLs Standard

Questions & Answers About the Operate within Operate within IROLs Standard Index: Introduction to Standard...3 Expansion on Definitions...5 Questions and Answers...9 Who needs to comply with this standard?...9 When does compliance with this standard start?...10 For a System Operator

More information

DEPARTMENT OF THE NAVY NAVAL AIR SYSTEMS COMMAND RADM WILLIAM A. MOFFEIT BUILDING BUSE ROAD, BLDG 2272 PATUXENT RIVER, MARYLAND,

DEPARTMENT OF THE NAVY NAVAL AIR SYSTEMS COMMAND RADM WILLIAM A. MOFFEIT BUILDING BUSE ROAD, BLDG 2272 PATUXENT RIVER, MARYLAND, - DEPARTMENT OF THE NAVY NAVAL AIR SYSTEMS COMMAND RADM WILLIAM A. MOFFEIT BUILDING 47123 BUSE ROAD, BLDG 2272 PATUXENT RIVER, MARYLAND, 20670-1547 NAVAIRINST 4790.20C AIR-6.0 NA VAIR INSTRUCTION 4790.20C

More information

Implementation of Modern Traffic Light Control System

Implementation of Modern Traffic Light Control System International Journal of Scientific and Research Publications, Volume 4, Issue 6, June 2014 1 Implementation of Modern Traffic Light System Nang Hom Kham *, Chaw Myat Nwe ** * Department of Electronic

More information

Transportation Master Plan Advisory Task Force

Transportation Master Plan Advisory Task Force Transportation Master Plan Advisory Task Force Network Alternatives & Phasing Strategy February 2016 BACKGROUND Table of Contents BACKGROUND Purpose & Introduction 2 Linking the TMP to Key Council Approved

More information

Linear Compressor Suction Valve Optimization

Linear Compressor Suction Valve Optimization Purdue University Purdue e-pubs International Compressor Engineering Conference School of Mechanical Engineering 2016 Linear Compressor Suction Valve Optimization Rinaldo Puff Embraco, Brazil, rinaldo.puff@embraco.com

More information

Release notes Chesar 3.3

Release notes Chesar 3.3 15/11/2017 Release notes Chesar 3.3 Contents 1. WHAT IS NEW IN CHESAR 3.3... 2 1.1. ALIGNMENT WITH IUCLID... 2 1.2. USE MAP RELATED FEATURES... 2 1.3. SCOPE OF ASSESSMENT... 3 1.4. EXPOSURE ASSESSMENT...

More information

Cycling and risk. Cycle facilities and risk management

Cycling and risk. Cycle facilities and risk management Cycling and risk Cycle facilities and risk management Failure to recognize possibilities is the most dangerous and common mistake one can make. Mae Jemison, astronaut 6/11/2010 York Regional Council Cycling

More information

unsignalized signalized isolated coordinated Intersections roundabouts Highway Capacity Manual level of service control delay

unsignalized signalized isolated coordinated Intersections roundabouts Highway Capacity Manual level of service control delay Whether unsignalized or signalized, isolated or coordinated, you can use TransModeler to simulate intersections with greater detail and accuracy than any other microsimulation software. TransModeler allows

More information

Nadiya Afzal 1, Mohd. Sadim 2

Nadiya Afzal 1, Mohd. Sadim 2 Applying Analytic Hierarchy Process for the Selection of the Requirements of Institute Examination System Nadiya Afzal 1, Mohd. Sadim 2 1 M.Tech. Scholar-IV Semester, Department of Computer Science and

More information

How to Optimize the Disposal System With Staggered Analysis Using BLOWDOWN Technology. Jump Start Guide

How to Optimize the Disposal System With Staggered Analysis Using BLOWDOWN Technology. Jump Start Guide How to Optimize the Disposal System With Staggered Analysis Using BLOWDOWN Technology Jump Start Guide Problem Statement In this guide, you will be introduced to the tools in BLOWDOWN that can be used

More information

Emergent walking stop using 3-D ZMP modification criteria map for humanoid robot

Emergent walking stop using 3-D ZMP modification criteria map for humanoid robot 2007 IEEE International Conference on Robotics and Automation Roma, Italy, 10-14 April 2007 ThC9.3 Emergent walking stop using 3-D ZMP modification criteria map for humanoid robot Tomohito Takubo, Takeshi

More information

University of Iowa External/Central IRB Reliance Process Standard Operating Procedure (SOP)

University of Iowa External/Central IRB Reliance Process Standard Operating Procedure (SOP) University of Iowa External/Central IRB Reliance Process Standard Operating Procedure (SOP) I. OVERVIEW The purpose of this Standard Operating Procedure is to define a process for all University of Iowa

More information