reliability support for the model driven architecture
play

Reliability Support for the Model Driven Architecture Genana - PowerPoint PPT Presentation

Aug 19, 2023 •141 likes •270 views

Reliability Support for the Model Driven Architecture Genana Rodrigues, Graham Roberts, Wolfgang Emmerich, James Skene {G.Rodrigues|G.Roberts|W.Emmerich|J.Skene}@cs.ucl.ac.uk Department of Computer Science University College London, UK WADS

  1. Reliability Support for the Model Driven Architecture Genaína Rodrigues, Graham Roberts, Wolfgang Emmerich, James Skene {G.Rodrigues|G.Roberts|W.Emmerich|J.Skene}@cs.ucl.ac.uk Department of Computer Science University College London, UK WADS 2003

  2. Motivation No standard approach for reliability in the architectural level. Extend MDA to provide reliability support Abstract away complexity of reliability support Achieve a platform-independent reliability model Integrate formal analysis and design of reliability in a unified semantic framework Genaína Rodrigues 2 WADS 2003

  3. The Model Driven Architecture (MDA) What is MDA? Model, Abstraction and Refinement Profiles: The lightweight extension mechanism � Stereotypes � Tagged Values � OCL Genaína Rodrigues 3 WADS 2003

  4. PIMs and PSMs Problem: Technical infrastructure changes independently of business rules, but these are strongly coupled in designs. Solution: Decouple them Platform Platform Specific Independent Model (PSM) Refinement Model (PIM) Genaína Rodrigues 4 WADS 2003

  5. MDA Mapping PIM Metamodeling Language Analysis Results PSM PSM Source Code Genaína Rodrigues 5 WADS 2003

  6. Our Approach Define a UML Profile for Reliability Implement the mapping from PIM to PSM for EJB Extend UML Profile for EJB Unified Framework Genaína Rodrigues 6 WADS 2003

  7. Our Approach Real-Time UML Profile Specification Reliability Profile Mapping Profile Deployment Profile Genaína Rodrigues 7 WADS 2003

  8. A Profile for Reliability A subset of UML meta-model: stereotypes, tagged values and OCL constraints Describe semantics of reliability mechanisms Reliability mechanisms � Clustering � Persistency � Message delivery assurance � Atomic Transaction Genaína Rodrigues 8 WADS 2003

  9. A Scenario Reliability Assurance of the System: 1-(1-c) n > a c = reliability of each component a = required reliability of the system n = replicated components to assure a If c is 75%, a is 95% then n should be at least 3 Genaína Rodrigues 9 WADS 2003

  10. A Scenario EJB Fail-Over Mechanism Entity Bean Replica 1 Container Entity Bean Client . Instance . . Container Entity Bean Replica n Container EJB Server Genaína Rodrigues 10 WADS 2003

  11. Conclusion And Future Work Conclusion Highlighted the need to address reliability during design. Outlined an approach to integrating reliability specification into MDA Future Work Accomplishment of the Reliability Profile Map the J2EE reliability mechanisms in the UML/EJB profile (PSM) Automation for mappings Genaína Rodrigues 11 WADS 2003

  12. Questions G.Rodrigues@cs.ucl.ac.uk http://www.cs.ucl.ac.uk/staff/g.nunesrodrigues Genaína Rodrigues 12 WADS 2003

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA)

30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA)

Fakultt Informatik, Institut fr Software- und Multimediatechnik, Lehrstuhl fr Softwaretechnologie 30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA) 1. Model-Driven Architecture Prof. Dr. U.

671 views • 34 slides
Software Architecture A Model Driven View Dong Chen Email: zaknova@gmail.com University of

Software Architecture A Model Driven View Dong Chen Email: zaknova@gmail.com University of

CSCI 5258 Foundations of Software Engineering Software Architecture A Model Driven View Dong Chen Email: zaknova@gmail.com University of Colorado, Boulder Outline n Software Architecture n Case Study: Model Driven Architecture n

514 views • 35 slides
INTRODUCTION TO MODEL DRIVEN ENGINEERING Transformation Definition Transformation Tool 14:52

INTRODUCTION TO MODEL DRIVEN ENGINEERING Transformation Definition Transformation Tool 14:52

Advised reading: MDA Explained, The model-driven architecture, Anneke Kleppe, Jos Warmer, Wim Bast, Addison Wesley 1 (ETEW 681.3*D2 KLEP 2003) Chapters 1-3 Architecture and Modelling of Information Systems (D0I71A) Prof. dr. Monique Snoeck

516 views • 37 slides
Software Engineering and Architecture Test-Driven Development What is it? Test-Driven

Software Engineering and Architecture Test-Driven Development What is it? Test-Driven

Software Engineering and Architecture Test-Driven Development What is it? Test-Driven Development It is a systematic programming technique Focus on Continued Speed Reliability It is not a testing technique, despite the

695 views • 24 slides
30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA)

30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA)

Fakultt Informatik, Institut fr Software- und Multimediatechnik, Lehrstuhl fr Softwaretechnologie 30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA) 1. EAI* for Modular Product Lines Prof. Dr.

786 views • 50 slides
Model-driven & AI-Enabled Inter-Cloud Optimization Architecture and Benefjts Ramki Krishnan

Model-driven & AI-Enabled Inter-Cloud Optimization Architecture and Benefjts Ramki Krishnan

Model-driven & AI-Enabled Inter-Cloud Optimization Architecture and Benefjts Ramki Krishnan Introduction What did we talk about so far? Model-driven & AI-Enabled Inter-Cloud Optjmizatjon 5G/Edge Computjng Use Cases Dilip

225 views • 7 slides
for a Well-fitted Model Driven Control Architecture for Robots Eric Molin, Nicolas Morette,

for a Well-fitted Model Driven Control Architecture for Robots Eric Molin, Nicolas Morette,

Robotic Engineers Specifications for a Well-fitted Model Driven Control Architecture for Robots Eric Molin, Nicolas Morette, Cyril Novales, and Pierre Vieyres PRISME Laboratory Orlans University / Bourges SIMPAR 2014, Bergamo

196 views • 19 slides
30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA)

30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA)

Fakultt Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Amann - Softwaretechnologie II 30 Transformational Design with Essential Aspect Decomposition: Model-Driven Architecture (MDA) 1. EAI* for

1.27k views • 54 slides
Don't leave your Architecture Behind - Kanban-enabled Model Driven Software Development SATURN

Don't leave your Architecture Behind - Kanban-enabled Model Driven Software Development SATURN

Don't leave your Architecture Behind - Kanban-enabled Model Driven Software Development SATURN 2012 May 9 th , 2012 Esther Johnson and Chris Williams Northrop Grumman Aerospace Systems, Software Engineering Approved for Public Release:

571 views • 31 slides
Reliability Advanced Topics in Computer Architecture Timothy Jones Historic reliability Silicon

Reliability Advanced Topics in Computer Architecture Timothy Jones Historic reliability Silicon

Reliability Advanced Topics in Computer Architecture Timothy Jones Historic reliability Silicon trends Why we care now Microprocessors are increasingly used in situations where we want to be sure of their correctness Self-driving cars,

504 views • 19 slides
TOPAAS model Ed Brandt 17 th Dutch Testingday November 29 th 2011, TU Twente Introduction

TOPAAS model Ed Brandt 17 th Dutch Testingday November 29 th 2011, TU Twente Introduction

TOPAAS model Ed Brandt 17 th Dutch Testingday November 29 th 2011, TU Twente Introduction Reliability analysis Reliability growth modelling Monte Carlo Formal methods IEC 61508 (Safety Integrity Levels) Factor driven

678 views • 16 slides
Toward Architecture-based Reliability Estimation Roshanak Roshandel & Nenad Medvidovic

Toward Architecture-based Reliability Estimation Roshanak Roshandel & Nenad Medvidovic

Toward Architecture-based Reliability Estimation Roshanak Roshandel & Nenad Medvidovic Computer Science Department University of Southern California {roshande,neno}@usc.edu Motivation Software reliability: probability that the system

663 views • 37 slides
Radio Reciever Mixer Model for Event Driven Simulators to support Functional Verification of

Radio Reciever Mixer Model for Event Driven Simulators to support Functional Verification of

www.qualcomm.com/qct Radio Reciever Mixer Model for Event Driven Simulators to support Functional Verification of RF-SOC Wireless Links Jonathan David, SMIEEE, Sr Staff Engr, Qualcomm IEEE BMAS 2010 PAGE 1 Agenda Background and

216 views • 17 slides
02291: System Integration Model-Driven Architecture (MDA) Hubert Baumeister huba@dtu.dk DTU

02291: System Integration Model-Driven Architecture (MDA) Hubert Baumeister huba@dtu.dk DTU

02291: System Integration Model-Driven Architecture (MDA) Hubert Baumeister huba@dtu.dk DTU Compute Technical University of Denmark Spring 2019 Traditional Development to MDA Traditional Development to MDA Traditional Development to MDA

294 views • 27 slides
02291: System Integration Model-Driven Architecture (MDA) Hubert Baumeister huba@dtu.dk DTU

02291: System Integration Model-Driven Architecture (MDA) Hubert Baumeister huba@dtu.dk DTU

02291: System Integration Model-Driven Architecture (MDA) Hubert Baumeister huba@dtu.dk DTU Compute Technical University of Denmark Spring 2020 Traditional Development to MDA Traditional Development to MDA Traditional Development to MDA

549 views • 25 slides
Test Driven Development TDD A process focusing on reliability, progress, and confidence

Test Driven Development TDD A process focusing on reliability, progress, and confidence

Test Driven Development TDD A process focusing on reliability, progress, and confidence Henrik Brbak Christensen 1 Test-Driven Development Clean code that works To ensure that our software is reliable all the time Clean

1.62k views • 98 slides
Almost monotonicity formulas for elliptic and parabolic operators with variable coefficients

Almost monotonicity formulas for elliptic and parabolic operators with variable coefficients

Almost monotonicity formulas for elliptic and parabolic operators with variable coefficients Norayr Matevosyan Arshak Petrosyan Kolmogorov Equations in Physics and Finance September 9, 2010 Matevosyan, Petrosyan (Cambridge, Purdue)

913 views • 80 slides
2020 Emergency Solutions Grants CARES Act Application Instructional Guide Community Programs

2020 Emergency Solutions Grants CARES Act Application Instructional Guide Community Programs

2020 Emergency Solutions Grants CARES Act Application Instructional Guide Community Programs Division August 2020 ESG Funding Allocation FY 2020 Cares Federal Funds Part I of the ESG CARES Act allocation is in the amount of

416 views • 24 slides
USC USC INFORMATION INFORMATION SCIENCES SCIENCES INSTITUTE INSTITUTE The Architecture of

USC USC INFORMATION INFORMATION SCIENCES SCIENCES INSTITUTE INSTITUTE The Architecture of

USC USC INFORMATION INFORMATION SCIENCES SCIENCES INSTITUTE INSTITUTE The Architecture of the DIVA Processing-In-Memory Chip Jeff Draper, Jacqueline Chame, Mary Hall, Craig Steele, Tim Barrett Jeff LaCoss, John Granacki, Jaewook Shin,

528 views • 20 slides
A Taste of Pi: Clocks, Set, and the Secret Math of Spies Katherine E. Stange SFU / PIMS-UBC

A Taste of Pi: Clocks, Set, and the Secret Math of Spies Katherine E. Stange SFU / PIMS-UBC

A Taste of Pi: Clocks, Set, and the Secret Math of Spies Katherine E. Stange SFU / PIMS-UBC October 16, 2010 The Math of Clocks Here is a picture of a clock. The Math of Clocks Here is a picture of a clock. 3 pm The Math of Clocks Here is

1.15k views • 96 slides
Hamiltonian and Symplectic Lanczos Processes David S. Watkins Department of Mathematics

Hamiltonian and Symplectic Lanczos Processes David S. Watkins Department of Mathematics

Hamiltonian and Symplectic Lanczos Processes David S. Watkins Department of Mathematics Washington State University Pullman, WA 99164-3113 U.S.A. PIMS Workshop, Vancouver BC August 2003 Collaborators: V. Mehrmann, T. Apel, P. Benner, H.

408 views • 38 slides
Bijective counting of one-face maps on surfaces. Guillaume Chapuy*, SFU * PIMS-CNRS postdoc

Bijective counting of one-face maps on surfaces. Guillaume Chapuy*, SFU * PIMS-CNRS postdoc

Bijective counting of one-face maps on surfaces. Guillaume Chapuy*, SFU * PIMS-CNRS postdoc Discrete Math seminar, UBC, 2009. Orientable surfaces Map of genus g = graph drawn (without edge-crossings) on a surface of genus g , such that each

1.27k views • 95 slides
Synchronous Modeling of Data-Intensive Applications e, Huafeng. Yu, A. Gamati E. Rutten,

Synchronous Modeling of Data-Intensive Applications e, Huafeng. Yu, A. Gamati E. Rutten,

Synchronous Modeling of Data-Intensive Applications e, Huafeng. Yu, A. Gamati E. Rutten, P. Boulet and J.-L. Dekeyser { Yu, Gamatie, Boulet, Dekeyser } @lifl.fr Eric.Rutten@inrialpes.fr DART project, INRIA Futurs / WEST group, LIFL This

1.2k views • 61 slides
Automated Generation of Platform-Variant Applications from Platform-Independent Models via

Automated Generation of Platform-Variant Applications from Platform-Independent Models via

Automated Generation of Platform-Variant Applications from Platform-Independent Models via Templates Nuno Amlio, Christian Glodt, Frederico Pinto, Pierre Kelsen University of Luxembourg Introduction Manual code development is expensive

243 views • 21 slides

More recommend