Executable UML the silver bullet or maybe not Dr. Joel Henry October 22, 2008
|
|
- Jared Quinn
- 6 years ago
- Views:
Transcription
1 Executable UML the silver bullet or maybe not Dr. Joel Henry October 22, 2008
2 Background Overview Model Driven Development (MDD) Unified Modeling Language (UML) Executable UML (xuml) Testing challenges When? Where? How? xuml testing Integration into the process Preliminary research results
3 Model Driven Development Model Driven Development is about making: software development more domain-driven as opposed to software restricted model development in a specific domain is more efficient (in terms of development time) maintenance is model-centered rather than software-centered activity (challenge!)
4 Model Driven Development Model Driven Development has advantages: Models are free of implementation artifacts directly represent domain knowledge Domain experts can play a direct role in development Implementations for various platforms can be generated (Web, standalone, mobile device)
5 Model Driven Development Domain expert develops model(s) Using code generation templates, the model is transformed to executable code The generated code is merged with manually written code Maintenance done HERE!
6 Model Driven Development Instruction Fetch Instruction Hit in L1 Cache 0 True Decode False Instruction Hit in L2 Cache 0 True Instruction Miss Delay 0 False 0 Instruction Miss L2 Cache Delay 0
7 Model Driven Development
8 Recap Model Driven Development Specifying requirements is development Graphical and mathematical specification Model and then generate source code Examples MatrixX Matlab/Simulink xuml (Restricted UML that can be simulated)
9 UML A brief primer Graphical representation Class diagram Use cases Sequence diagrams State charts Textual descriptions Pseudocode in methods State transition actions textual Many processes - design or reverse engineer
10 UML Example class diagram
11 UML Example use case
12 UML Example sequence diagram
13 UML Example state diagram
14 Challenges of UML Computationally incomplete UML describes a system by specifying the desired results (use cases, sequence diagrams) Specifies what the software produces but not how ( and the devil is in the ) Missing key ingredients: Implementation of methods are specified by a language dependent pseudocode Actions associated with state machines are specified by a text string, or action part of UML
15 Background Executable UML Requirements is development Graphical and mathematical specification xuml Restricted UML that can be executed (simulated) xuml = UML V1.x - Semantically Weak Elements + Precisely Defined Action Semantics
16 Executable UML xuml is an executable version of UML clearly defined model structure precise semantics for actions action specification language for methods an accompanying process xuml based on strict development process executable models large-scale reuse -> pattern based design
17 xuml contains Executable UML Domains (divide problem into smaller problems) Use cases (how domains work together) Sequence diagrams (what happens when) Within domains: Class diagrams each with a state transition diagram Methods written in precise, but limited, ASL Bridges between domains
18 Executable UML domain model
19 Executable UML use case diagram
20 Executable UML sequence diagram
21 Executable UML Model is a precise specification Can be simulated from use cases (Platform Independent Model - PIM) Easier transition to target system (Platform Specific Model - PSM) No ambiguity in the models Model results immediately available (simulation) Managers feel confidence that progress is being made No software development needed but wait
22 Model requires Executable UML State transition diagrams (simple. but) Interfaces between classes and domains (requires some thought ) Action specification language (another programming language ) Testing (BIGGEST CHALLENGE) How to test these models? Without testing how do we know any of the above is correct?
23 xuml System Development System Requirements Specify Domains Specify PIM to PSM Translation Build PIM Use cases Class Diagram State Charts Methods Deployed System Generate PSM TEST?
24 Requirements Driven Testing Required but unimplemented functionality SOFTWARE REQUIREMENTS Required and implemented functionality Implemented but unacceptable functionality SOFTWARE FUNCTIONALITY Implemented but acceptable functionality Where is this line?
25 Requirements Driven Testing What does this mean? Model and system functionality drives testing Use knowledge of model design to generate tests Why do this beyond black box testing? Monitor model functionality while testing Detect defects and locations/causes of defects What does this require? Knowledge of model and system Tools to generate and configure test data Ability to identify defects in test results
26 Requirements Driven Testing Ball and Urn Analogy Model Based Software (PIM or PSM) Test Results Test case 123 Requirements Compare
27 Requirements Driven Testing Analysis Ball and Urn Analogy Test case 1 Output Values and Events from Test 1 Output Values and Events from Test 2 Test case 2 Output Values and Events from Test 3 Test case 3
28 Requirements Driven Testing Ball and Urn Analogy What does this mean? Test cases for specific software functionality Likely to find defects Critical for safety, reliability, success, etc. What to test? Values around critical points Large number of input value combinations Sufficient coverage of each equivalence class What are the results? Test coverage for input ranges and combinations Output range coverage, reliability, MTTF, etc.
29 Testing Goals Testing solution requires: Innovative, reusable, long-term testing environment Requirements and structure driven testing Implement without change to models Defect detection, test case re-execution, testing measurement Test model and translated model with same tests Leverage past success with Matlab/Simulink
30 Testing Requirements Requirements Input file/matrix Output file/matrix Sample time variable or set frequency Variable Range Input variable min, max, and accuracy Output variable min, max, and accuracy Defects/Exceptions/Faults Identification Tracing
31 Test Execution Create test data Functions, freehand, imported Execute tests Configure input data Wrap model, simulate, unwrap Capture output values Capture results Input, states, output Detect exceptions Analyze results across multiple tests
32 Defect Detection Simple value range detection Percent change Allows exception detection if the output value changes more than a specified percent over a specified number of steps Absolute change Allows exception detection if the output value changes more than a specified amount over a specified number of steps
33 Defect Detection Advanced Exceptions Combinations of exception definitions Disjoint ranges Create exception definitions by time range Combinatorial definitions based on multiple exception definitions Overall system reliability Scenario based reliability per major function Overall reliability combining scenario reliability
34 Constraint Determination Search based method to find min or max values for a Simulink outport Two methods Genetic algorithm Combination of Simplex and Simulated Annealing Research tool (needs an interface, help, etc.) International acceptance (paper invited to conference in Oxford UK in 2007)
35 Constraint Determination Test Results Matlab/Simulink Model Constraint Determination Tool Tests Test results: Global Minimum Global Maximum Input values associated with Min and Max
36 Integration of Tools and Methods Where to place the tools? How to use the tools effectively? What to do with results? How to gain acceptance?
37 MDA Testing & Tool Usage Determine Objectives, Alternates and Constraints Evaluate alternatives And Resolve Risks Risk Analysis Simulate Test Algorithm Development Select Simulate Solution Test Initial Requirements Translate Link to 3GL code Plan Next Iteration Execute Test Build and Verify Develop and Verify Software and System
38 xuml Testing Placement System Requirements Specify Domains Testing Specify PIM to PSM Translation Build PIM Use cases Class Diagram State Charts Operations Testing Deployed System Generate PSM Test Data & Drivers Validate PIM Use cases Class Diagram State Charts Operations
39 xuml Testing Approach Build a set of testing domains independent of application domains Implement reusable testing methods within testing domains Encapsulate application-testing domain coupling in bridges Include the ability to automate testing New applications require only new bridges Suitable for PIM and PSM testing
40 xuml Testing Approach Data Creation Functions Test Data File Access Functions Expected Results Test Execution Functions Data Storage Functions Test Measurement Bridge Bridge Bridge Bridge Bridge Bridge Domain Domain Domain Application Domains
41 xuml Testing Domains Data Creation Functions File Access Functions Data Creation Test Data User configurable functions generate test data File Access Functions Functions to retrieve data from xml files or DB Test Data Data format conversion functions
42 xuml Testing Domains Expected Results Expected Results Organize output data into a consistent format Test Execution Functions Test Execution Functions A set of test types that can be executed on any application domain (through bridges)
43 xuml Testing Domains Data Storage Functions Data Storage Functions Output the test data, actual and expected results, and exceptions in a consistent format Test Measurements Test Measurement Functions that perform a variety of test measurements (MTTF, Range Coverage, etc.)
44 xuml Development Testing Data Creation Functions Test Data Bridge File Access Functions Expected Results Test Execution Functions Bridge Bridge Data Storage Functions Test Measurement 1. Read input data 2. Read expected results 3. Configure the Input Data (initialize, call-data pairs) 4. Execute the tests 5. Capture test results 6. Calculate test measurements 7. Store the test results Bridge Bridge Bridge Domain Domain Domain Application Domains
45 xuml Maintenance Testing Data Creation Functions Test Data Bridge Bridge Domain File Access Functions Expected Results Test Execution Functions Bridge Bridge Domain Bridge Bridge Domain Application Domains Version 2.0 Data Storage Functions Test Measurement 1. Read input data from data gathered during use 2. Read expected results a) Actual results from deployed system OR b) Expected results for new functionality 3. Configure the Input Data (initialize, call-data pairs) 4. Execute the tests 5. Capture test results 6. Calculate test measurements 7. Store the test results
46 Reuse xuml Testing Domains Data Creation Functions Test Data File Access Functions Expected Results Test Execution Functions Bridge Bridge Data Storage Functions Test Measurement 1. Read input data 2. Read expected results 3. Configure the Input Data (initialize, call-data pairs) 4. Execute the tests (using new Test Bridges) 5. Capture test results 6. Calculate test measurements 7. Store the test results Bridge Bridge Domain Domain New Application Domains
47 xuml Testing Process
48 xuml Testing Comparison How did it work? Unit testing: 31% less time than testing C++ Integration testing: 9% less time than C++ Requirements driven testing: still working but More time to build testing domains than application! 90% less time for 2 nd application (test bridges and test files) Caveats? Unit testing has NO reuse across applications Integration testing has some reuse (test harness) Requirements driven testing largely reusable (testing domains)
49 Questions.? This research funded by: Lockheed Martin (Denver) This research done with: MRI Technologies With strong support from: The University of Montana
50 Acronyms MDA model driven application PIM platform independent model PSM platform specfic model xuml executable unified modeling language MTTF mean time to failure MATT Matlab automated testing tool RATT reliability automated testing tool GIST graphical input specification tool
xuml, AADL and Beyond
xuml and AADL xuml, AADL and Beyond Chris Raistrick www.kc.com xuml and AADL xuml Overview Chris Raistrick www.kc.com Platform Independent Model A Platform Independent Model (PIM) is a technology agnostic
More informationF-16 Modular Mission Computer Application Software
F-16 Modular Mission Computer Application Software Achieving Cross-Platform Compatibility with Increased Productivity and Quality using the OMG s Model Driven Architecture Lauren E. Clark Chief Engineer
More informationPractical Model-Driven Development with the IBM Software Development Platform
IBM Software Group Practical Model-Driven Development with the IBM Software Development Platform Osmond Ng (ong@hk1.ibm.com) Technical Consultant, IBM HK SWG 2005 IBM Corporation Overview The Challenges
More informationbahmanzamani.com Computer Engineering i Dept. University of Isfahan
(MDSE) Bh Bahman Zamani, iphd Ph.D. bahmanzamani.com Computer Engineering i Dept. University of Isfahan Presented at Sheikhbahaee University Baharestan - Isfahan Feb. 4 th, 2010 (1388/11/15) Model What
More informationISO compliant verification of functional requirements in the model-based software development process
requirements in the model-based software development process Hans J. Holberg SVP Marketing & Sales, BTC Embedded Systems AG An der Schmiede 4, 26135 Oldenburg, Germany hans.j.holberg@btc-es.de Dr. Udo
More informationModel-Based Techniques in the Development of Net-Centric Applications. Timothy A. Anderson Basil C. Krikeles. June 20, 2007
Model-Based Techniques in the Development of Net-Centric Applications June 20, 2007 Timothy A. Anderson Basil C. Krikeles BAE-Systems Advanced Information Technologies 6 New England Executive Park Burlington,
More informationMDA Driven xuml Plug-in for JAVA
2012 International Conference on Information and Network Technology (ICINT 2012) IPCSIT vol. 37 (2012) (2012) IACSIT Press, Singapore MDA Driven xuml Plug-in for JAVA A.M.Magar 1, S.S.Kulkarni 1, Pooja
More informationAutomated Requirements-Based Testing
Automated Requirements-Based Testing Tuesday, October 7 th 2008 2008 The MathWorks, Inc. Dr. Marc Segelken Senior Application Engineer Overview Purposes of Testing Test Case Generation Structural Testing
More informationRaising the Level of Development: Models, Architectures, Programs
IBM Software Group Raising the Level of Development: Models, Architectures, Programs Dr. James Rumbaugh IBM Distinguished Engineer Why Is Software Difficult? Business domain and computer have different
More informationISO Compliant Automatic Requirements-Based Testing for TargetLink
ISO 26262 Compliant Automatic Requirements-Based Testing for TargetLink Dr. Udo Brockmeyer CEO BTC Embedded Systems AG An der Schmiede 4, 26135 Oldenburg, Germany udo.brockmeyer@btc-es.de Adrian Valea
More informationUsing AADL in Model Driven Development. Katholieke Universiteit Leuven Belgium
Using AADL in Model Driven Development Didier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande Berbers Katholieke Universiteit Leuven Belgium Contents Introduction Overview of AADL Usability assessment
More informationIntroduction to Dependable Systems: Meta-modeling and modeldriven
Introduction to Dependable Systems: Meta-modeling and modeldriven development http://d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics 3 Software development Automated software
More informationLecture 17 Engineering Design Resolution: Generating and Evaluating Architectures
Lecture 17 Engineering Design Resolution: Generating and Evaluating Architectures Software Engineering ITCS 3155 Fall 2008 Dr. Jamie Payton Department of Computer Science University of North Carolina at
More informationUNIT II Requirements Analysis and Specification & Software Design
UNIT II Requirements Analysis and Specification & Software Design Requirements Analysis and Specification Many projects fail: because they start implementing the system: without determining whether they
More informationA (Very) Short Introduction to Model-Driven Development (MDD)
A (Very) Short Introduction to Model-Driven Development (MDD) (MDD ~ Model-Driven Engineering (MDE)) Introduction to MDD by Jan Pettersen Nytun, UiA, page 1, 4-Aug-11 Content Some background info What
More informationTESTING xuml: A STUDY OF IMPLEMENTING AND TESTING MODEL DRIVEN ARCHITECTURE
University of Montana ScholarWorks at University of Montana Graduate Student Theses, Dissertations, & Professional Papers Graduate School 2008 TESTING xuml: A STUDY OF IMPLEMENTING AND TESTING MODEL DRIVEN
More informationModel driven Engineering & Model driven Architecture
Model driven Engineering & Model driven Architecture Prof. Dr. Mark van den Brand Software Engineering and Technology Faculteit Wiskunde en Informatica Technische Universiteit Eindhoven Model driven software
More informationHow to Harvest Reusable Components in Existing Software. Nikolai Mansurov Chief Scientist & Architect
How to Harvest Reusable Components in Existing Software Nikolai Mansurov Chief Scientist & Architect Overview Introduction Reuse, Architecture and MDA Option Analysis for Reengineering (OAR) Architecture
More informationSoftware Engineering with Objects and Components Open Issues and Course Summary
Software Engineering with Objects and Components Open Issues and Course Summary Massimo Felici Software Engineering with Objects and Components Software development process Lifecycle models and main stages
More informationchallenges in domain-specific modeling raphaël mannadiar august 27, 2009
challenges in domain-specific modeling raphaël mannadiar august 27, 2009 raphaël mannadiar challenges in domain-specific modeling 1/59 outline 1 introduction 2 approaches 3 debugging and simulation 4 differencing
More informationActivities Common to Software Projects. Software Life Cycle. Activities Common to Software Projects. Activities Common to Software Projects
Activities Common to Software Projects Software Life Cycle Mark van den Brand Requirements and specification Domain analysis Defining the problem Requirements gathering Obtaining input from as many sources
More informationAn Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com
An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com Department of Software Systems Engineering University of Isfahan Fall 2013 Overview Model & Modeling UML & UML Profile
More information17. GRASP: Designing Objects with Responsibilities
17. GRASP: Designing Objects with Responsibilities Objectives Learn to apply five of the GRASP principles or patterns for OOD. Dr. Ziad Kobti School of Computer Science University of Windsor Understanding
More informationSimulink 를이용한 효율적인레거시코드 검증방안
Simulink 를이용한 효율적인레거시코드 검증방안 류성연 2015 The MathWorks, Inc. 1 Agenda Overview to V&V in Model-Based Design Legacy code integration using Simulink Workflow for legacy code verification 2 Model-Based Design
More informationThe PISA Project A Model Driven Development case study
In collaboration with The PISA Project A Model Driven Development case study Pedro J. Molina, PhD. May 19 th, 2007 Contents Introduction Goals Foundations Design aspects & Trade-offs Demo Problems found
More informationA Solution Based on Modeling and Code Generation for Embedded Control System
J. Software Engineering & Applications, 2009, 2: 160-164 doi:10.4236/jsea.2009.23023 Published Online October 2009 (http://www.scirp.org/journal/jsea) A Solution Based on Modeling and Code Generation for
More informationMDA and Integration of Legacy Systems: An Industrial Case Study
MDA and Integration of Legacy Systems: An Industrial Case Study Parastoo Mohagheghi 1, Jan Pettersen Nytun 2, Selo 2, Warsun Najib 2 1 Ericson Norway-Grimstad, Postuttak, N-4898, Grimstad, Norway 1 Department
More informationComputation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM):
viii Preface The software industry has evolved to tackle new approaches aligned with the Internet, object-orientation, distributed components and new platforms. However, the majority of the large information
More informationObject-Oriented Design
Object-Oriented Design Lecture 14: Design Workflow Department of Computer Engineering Sharif University of Technology 1 UP iterations and workflow Workflows Requirements Analysis Phases Inception Elaboration
More informationObject-Oriented Design
Object-Oriented Design Lecturer: Raman Ramsin Lecture 10: Analysis Packages 1 Analysis Workflow: Packages The analysis workflow consists of the following activities: Architectural analysis Analyze a use
More informationUSTGlobal INNOVATION INFORMATION TECHNOLOGY. Using a Test Design Tool to become a Digital Organization
USTGlobal INNOVATION INFORMATION TECHNOLOGY Using a Test Design Tool to become a Digital Organization Overview: Automating test design reduces efforts and increases quality Automated testing resolves most
More informationRole of Executable UML in MDA. Presented by Shahid Alam
Role of Executable UML in MDA Presented by Shahid Alam salam3@connect.carleton.ca 12/2005 Outline Introduction to MDA Executable UML Does it apply to MDA Model Compilers Conclusion Model Driven Architecture
More informationImproving Military Information Technology Through Common Conceptual Models
Improving Military Information Technology Through Common Conceptual Models Andreas Tolk, Ph.D. Virginia Modeling Analysis and Simulation Center Old Dominion University Presentation Outline Common Conceptual
More informationExpert Guidance on Migrating from Magento 1 to Magento 2
Expert Guidance on Migrating from Magento 1 to Magento 2 Gordon Knoppe Business Solutions Architect, ECG James Cowie Technical Architect, ECG Expert Consulting Group ECG Charter: To provide expert insight,
More informationGeneration Rules in POMA Architecture
J. Software Engineering & Applications, 2010, 3, 1040-1046 doi:10.4236/jsea.2010.311122 Published Online November 2010 (http://www.scirp.org/journal/jsea) Mohamed Taleb 1, Ahmed Seffah 2, Alain Abran 1
More informationModel-Driven *: Beyond Code Generation
Model-Driven *: Beyond Code Generation John Hogg COO, Zeligsoft 2004-05-20 Version 1.0 Introduction MDA is more than a CIM, a PIM and a PSM MDA is a pattern MDA is a philosophy work at the model level
More informationMDSE USE CASES. Chapter #3
Chapter #3 MDSE USE CASES Teaching material for the book Model-Driven Software Engineering in Practice by Morgan & Claypool, USA, 2012. www.mdse-book.com MDSE GOES FAR BEYOND CODE-GENERATION www.mdse-book.com
More informationChapter 5 System modeling
Chapter 5 System Modeling Lecture 1 1 Topics covered Context models Interaction models Structural models Behavioral models Model-driven driven engineering 2 System modeling System modeling is the process
More informationMDSE PRINCIPLES. Chapter #2
Chapter #2 MDSE PRINCIPLES Teaching material for the book Model-Driven Software Engineering in Practice by Morgan & Claypool, USA, 2012. www.mdse-book.com MDSE Principles Contents Concepts Approaches Adoption
More informationUnambiguous, Non-Binding Requirements for MDA. -David Hansz, Requirements Analyst -David Fado, Software Architect
Unambiguous, Non-Binding Requirements for MDA -David Hansz, Requirements Analyst -David Fado, Software Architect Why Discuss MDA and Requirements! Experience! Efficient requirements management is a practical
More informationIntroduction to ALM, UFT, VuGen, and LoadRunner
Software Education Introduction to ALM, UFT, VuGen, and LoadRunner This course introduces students to the Application Lifecycle Management line products Introduction to ALM, UFT, VuGen, and LoadRunner
More informationModel Driven Architecture - The Vision
Model Driven Architecture - The Vision Marko Fabiunke Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik marko.fabiunke@first.fraunhofer.de The Fraunhofer FIRST Institut Your partner We support
More informationModel Driven Engineering (MDE)
Model Driven Engineering (MDE) Yngve Lamo 1 1 Faculty of Engineering, Bergen University College, Norway 26 April 2011 Ålesund Outline Background Software Engineering History, SE Model Driven Engineering
More informationPart I: Preliminaries 24
Contents Preface......................................... 15 Acknowledgements................................... 22 Part I: Preliminaries 24 1. Basics of Software Testing 25 1.1. Humans, errors, and testing.............................
More informationWhat s New with the MATLAB and Simulink Product Families. Marta Wilczkowiak & Coorous Mohtadi Application Engineering Group
What s New with the MATLAB and Simulink Product Families Marta Wilczkowiak & Coorous Mohtadi Application Engineering Group 1 Area MATLAB Math, Statistics, and Optimization Application Deployment Parallel
More information"Charting the Course... Agile Database Design Techniques Course Summary
Course Summary Description This course provides students with the skills necessary to design databases using Agile design techniques. It is based on the Scott Ambler book Agile Database Techniques: Effective
More informationCODAGEN TECHNOLOGIES AND MODEL-DRIVEN ARCHITECTURE (MDA)
CODAGEN TECHNOLOGIES AND MODEL-DRIVEN ARCHITECTURE (MDA) March 2002 info@codagen.com www.codagen.com Agenda OMG s MDA Gap between the PIM and code PSM Codagen s MDA Approach Benefits of the Codagen s Approach
More informationAgile Test Automation Framework - Overhauling the Challenges
Agile Test Automation Framework - Overhauling the Challenges By Merral Crasto Test Lead, IBM India Pvt Ltd. Email: mecrasto@in.ibm.com - 1 - Table of Contents Abstract...3 About IBM India Pvt Ltd...3 The
More informationRequirements and Design Overview
Requirements and Design Overview Robert B. France Colorado State University Robert B. France O-1 Why do we model? Enhance understanding and communication Provide structure for problem solving Furnish abstractions
More informationDefining Domain-Specific Modeling Languages
Defining Domain-Specific Modeling Languages 1 st Oct 2008 Juha-Pekka Tolvanen MetaCase 1 Relevant language classifications to start with General-Purpose / Domain-Specific Narrow area of interest Often
More informationComponents Based Design and Development. Unit 3: Software Design Quick Overview
Components Based Design and Development Computer Engineering Studies Universidad Carlos III de Madrid Unit 3: Software Design Quick Overview Juan Llorens Högskolan på Åland Finland / Universidad Carlos
More informationSoftware Design and Analysis CSCI 2040
Software Design and Analysis CSCI 2040 Summarize UML Deployment and Component notation. Design a framework with the Template Method, State, and Command patterns. Introduce issues in object-relational (O-R)
More informationReusable Object-Oriented Model
e-informatica Software Engineering Journal, Volume 7, Issue 1, 2013, pages: 35 44, DOI 10.5277/e-Inf130104 Reusable Object-Oriented Model Jaroslav Žáček, František Huňka Faculty of Science, University
More informationQuality-of-Service Modeling and Analysis of Dependable Aplication Models
Quality-of-Service Modeling and Analysis of Dependable Aplication Models András Balogh András Pataricza BUTE-DMIS-FTSRG http://www.decos.at/ 2 Outline Introduction Target application domains Application
More informationGuidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process
Guidelines for deployment of MathWorks R2010a toolset within a DO-178B-compliant process UK MathWorks Aerospace & Defence Industry Working Group Guidelines for deployment of MathWorks R2010a toolset within
More informationComponent Design. Systems Engineering BSc Course. Budapest University of Technology and Economics Department of Measurement and Information Systems
Component Design Systems Engineering BSc Course Budapest University of Technology and Economics Department of Measurement and Information Systems Traceability Platform-based systems design Verification
More informationCS487 Midterm Exam Summer 2005
1. (4 Points) How does software differ from the artifacts produced by other engineering disciplines? 2. (10 Points) The waterfall model is appropriate for projects with what Characteristics? Page 1 of
More informationOMG Workshop MDA. Tool Chains for MDA? Let's consider leaving our tool chains behind us.
Karl Frank Principal Architect: Product Strategy and Architecture kfrank@borland.com OMG Workshop MDA Tool Chains for MDA? Let's consider leaving our tool chains behind us. Please note the existence of
More informationReducing the cost of FPGA/ASIC Verification with MATLAB and Simulink
Reducing the cost of FPGA/ASIC Verification with MATLAB and Simulink Graham Reith Industry Manager Communications, Electronics and Semiconductors MathWorks Graham.Reith@mathworks.co.uk 2015 The MathWorks,
More informationTesting Simulink Models
Testing Simulink Models Fraser Macmillen 2015 The MathWorks, Inc. 1 Test Infrastructure Model set-up desired parameters, variants, operating point, etc. e.g. test start up script Model stimulus desired
More informationA Generic Approach for Compliance Assessment of Interoperability Artifacts
A Generic Approach for Compliance Assessment of Interoperability Artifacts Stipe Fustar Power Grid 360 11060 Parkwood Drive #2, Cupertino, CA 95014 sfustar@powergrid360.com Keywords: Semantic Model, IEC
More informationSoftware Reuse Techniques
DCC / ICEx / UFMG Software Reuse Techniques Eduardo Figueiredo http://www.dcc.ufmg.br/~figueiredo Overview of Reuse Techniques Frameworks Design Patterns Configurable Applications Architecture Patterns
More informationDrupal 8 THE VIDER ITY APPR OACH
Drupal 8 THE VIDER ITY APPROACH Introduction DR UPAL 8: THE VIDER ITY APPROACH Viderity focuses on designing the Total User Experience for Drupal sites, using a user-centered design approach Traditionally,
More informationAll you need are models Anneke Kleppe, Klasse Objecten
Model Driven Architecture All you need are models Anneke Kleppe, Klasse Objecten Contents Limited Vision on MDA Modeling Maturity Levels Models Model Driven Development Model Driven Architecture MDA in
More information2 nd UML 2 Semantics Symposium: Formal Semantics for UML
2 nd UML 2 Semantics Symposium: Formal Semantics for UML Manfred Broy 1, Michelle L. Crane 2, Juergen Dingel 2, Alan Hartman 3, Bernhard Rumpe 4, and Bran Selic 5 1 Technische Universität München, Germany
More informationPatterns and Testing
and Lecture # 7 Department of Computer Science and Technology University of Bedfordshire Written by David Goodwin, based on the lectures of Marc Conrad and Dayou Li and on the book Applying UML and (3
More informationThe Problems and Promise of UML 2.0 Structures for SCA
The Problems and Promise of UML 2.0 Structures for SCA John Hogg CTO, Zeligsoft 2004-09-15 Version 1.4 Scalability Through Hierarchical Decomposition Many large systems have flat deployments However, virtually
More informationModel-Driven Architecture
THE IT-ARCHITECTURE PROFESSIONALS Model-Driven Architecture Stephen J. Mellor, Kendall Scott, Axel Uhl, Dirk Weise Interactive Objects Software info@io-software.com Agenda 2 Motivation for MDA Terminology:
More informationDeveloping in OMG s Model-Driven Architecture
Developing in OMG s Model-Driven Architecture Jon Siegel and the OMG Staff Strategy Group Object Management Group White Paper November, 2001 Revision 2.6 In an accompanying white paper 1, the Object Management
More informationIntroduction to MDE and Model Transformation
Vlad Acretoaie Department of Applied Mathematics and Computer Science Technical University of Denmark rvac@dtu.dk DTU Course 02291 System Integration Vlad Acretoaie Department of Applied Mathematics and
More informationDomain Driven Design IS. An architectural methodology for evolving a software system that closely aligns to business requirements
Domain Driven Design IS An architectural methodology for evolving a software system that closely aligns to business requirements Domain Driven Design IS Domain First Focus on the Object Model Focus on
More informationWelcome to this IBM Rational podcast, enhanced. development and delivery efficiency by improving initial
IBM Podcast [ MUSIC ] GIST: Welcome to this IBM Rational podcast, enhanced development and delivery efficiency by improving initial core quality. I'm Kimberly Gist with IBM. Catching defects earlier in
More informationObjectives. Explain the purpose and objectives of objectoriented. Develop design class diagrams
Objectives Explain the purpose and objectives of objectoriented design Develop design class diagrams Develop interaction diagrams based on the principles of object responsibility and use case controllers
More informationDeveloping Web-Based Applications Using Model Driven Architecture and Domain Specific Languages
Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 2. pp. 287 293. Developing Web-Based Applications Using Model Driven Architecture and Domain
More informationService Design Description for the xxx Service <xyz Technology>
ENAV20-9.24 Service Design Description for the xxx Service Contents 1 Introduction... 4 1.1 Purpose of the Document... 4 1.2 Intended Readership... 5 1.3 Inputs from Other Projects...
More informationAn Introduction to MDE
An Introduction to MDE Alfonso Pierantonio Dipartimento di Informatica Università degli Studi dell Aquila alfonso@di.univaq.it. Outline 2 2» Introduction» What is a Model?» Model Driven Engineering Metamodeling
More informationASSURING DATA INTEROPERABILITY THROUGH THE USE OF FORMAL MODELS OF VISA PAYMENT MESSAGES (Category: Practice-Oriented Paper)
ASSURING DATA INTEROPERABILITY THROUGH THE USE OF FORMAL MODELS OF VISA PAYMENT MESSAGES (Category: Practice-Oriented Paper) Joseph Bugajski Visa International JBugajsk@visa.com Philippe De Smedt Visa
More informationFREQUENTLY ASKED QUESTIONS
Borland Together FREQUENTLY ASKED QUESTIONS GENERAL QUESTIONS What is Borland Together? Borland Together is a visual modeling platform that enables software teams to consistently deliver on-time, high
More informationModelling in Enterprise Architecture. MSc Business Information Systems
Modelling in Enterprise Architecture MSc Business Information Systems Models and Modelling Modelling Describing and Representing all relevant aspects of a domain in a defined language. Result of modelling
More informationInformation Systems. Software Engineering. MCQ - Part 2
Information Systems & Software Engineering MCQ - Part 2 Information Systems & Software Engineering MCQ - Part 2 Changes made to the system to reduce the future system failure chances is called Preventive
More informationModule 16. Software Reuse. Version 2 CSE IIT, Kharagpur
Module 16 Software Reuse Lesson 40 Reuse Approach Specific Instructional Objectives At the end of this lesson the student would be able to: Explain a scheme by which software reusable components can be
More informationIntegration With the Business Modeler
Decision Framework, J. Duggan Research Note 11 September 2003 Evaluating OOA&D Functionality Criteria Looking at nine criteria will help you evaluate the functionality of object-oriented analysis and design
More informationModel Abstraction versus Model to Text Transformation
Model Abstraction versus Model to Text Transformation Jon Oldevik, Tor Neple, Jan Øyvind Aagedal SINTEF Information and Communication Technology, Forskningsvn 1, N-0314 Oslo, Norway {jon.oldevik tor.neple
More informationLecture 15 Software Testing
Lecture 15 Software Testing Includes slides from the companion website for Sommerville, Software Engineering, 10/e. Pearson Higher Education, 2016. All rights reserved. Used with permission. Topics covered
More informationINTEGRATING DESIGN RATIONALE WITH A PROCESS MODEL
INTEGRATING DESIGN RATIONALE WITH A PROCESS MODEL J. E. BURGE, D. C. BROWN AI in Research Group Department of Computer Science WPI, 100 Institute Road Worcester, MA 01609, USA Abstract. One goal for having
More informationWeek 9 Implementation
Week 9 Implementation Dr. Eliane l. Bodanese What is more important From a software engineering perspective: Good Gui? does what customer wants maintainable, extensible, reusable Commented Code? how is
More informationPractical Statecharts In C/C++: Quantum Programming For Embedded Systems With CDROM By Miro Samek
Practical Statecharts In C/C++: Quantum Programming For Embedded Systems With CDROM By Miro Samek If you are looking for the book Practical Statecharts in C/C++: Quantum Programming for Embedded Systems
More informationAn MDD Process for IEC based Industrial Automation Systems
An MDD Process for IEC 61131-based Industrial Automation Systems Kleanthis Thramboulidis Member, IEEE Electrical & Computer Engineering University of Patras, Greece thrambo@ece.upatras.gr Geog Frey, Senior
More informationQuestion 1: What is a code walk-through, and how is it performed?
Question 1: What is a code walk-through, and how is it performed? Response: Code walk-throughs have traditionally been viewed as informal evaluations of code, but more attention is being given to this
More informationdeveloper.* The Independent Magazine for Software Professionals
developer.* The Independent Magazine for Software Professionals Improving Developer Productivity With Domain-Specific Modeling Languages by Steven Kelly, PhD According to Software Productivity Research,
More informationAPPROACHES TO AUTOMATED TEST IMPLEMENTATION IN MODEL DRIVEN TEST AUTOMATION ARCHITECTURES
Sophia Antipolis, French Riviera 20-22 October 2015 APPROACHES O AUOMAED ES IMPLEMENAION IN MODEL DRIVEN ES AUOMAION ARCHIECURES Presented by Marc Florian Wendland C C C SU SU SU What is test implementation?
More informationDeliver robust products at reduced cost by linking model-driven software testing to quality management.
Quality management White paper September 2009 Deliver robust products at reduced cost by linking model-driven software testing to quality management. Page 2 Contents 2 Closing the productivity gap between
More informationDeveloping AUTOSAR Compliant Embedded Software Senior Application Engineer Sang-Ho Yoon
Developing AUTOSAR Compliant Embedded Software Senior Application Engineer Sang-Ho Yoon 2015 The MathWorks, Inc. 1 Agenda AUTOSAR Compliant Code Generation AUTOSAR Workflows Starting from Software Component
More informationModel-Based Design for Large High-Integrity Systems: A Discussion on Logic-Intensive Algorithms
AAS 13-004 Model-Based Design for Large High-Integrity Systems: A Discussion on Logic-Intensive Algorithms Mike Anthony, Will Campbell, and Becky Petteys MathWorks 36 th ANNUAL AAS GUIDANCE AND CONTROL
More informationCSSE 490 Model-Based Software Engineering: More MBSD. Shawn Bohner Office: Moench Room F212 Phone: (812)
CSSE 490 Model-Based Software Engineering: More MBSD Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Learning Outcomes: MBE Discipline Relate Model-Based Engineering
More informationSoftware Testing MANUAL TESTING. Introduction to Testing. Software Quality Software Testing Definition. Different Life Cycle Models Waterfall Model
Software Testing MANUAL TESTING Introduction to Testing 1. Brief History of Testing 2. Testing Opportunities 3. Testing Principles Software Quality Software Testing Definition 1. Verification 2. Validation
More informationReengineering of Distributed Middleware Systems To a Model Driven Architecture (MDA)
Reengineering of Distributed Middleware Systems To a Model Driven Architecture (MDA) LeeRoy Bronner, Ph.D., P.E., Amen Ra Mashariki Morgan State University Introduction This paper describes the processes,
More informationModel based Design. Embedded Systems Engineering Benedikt Huber WS 2010/ Model based Design
Model based Design Embedded Systems Engineering Benedikt Huber WS 2010/11 1 Overview Introduction System Theory Model Driven Architecture (MDA) MATLAB/SimuLink Demo Summary 2 History General Systems Theory
More information10 Modelling Multimedia Applications
10 Modelling Multimedia Applications 10.1 Model-Driven Development 10.2 Multimedia Modeling Language MML Literature: M. Jeckle, C. Rupp, J. Hahn, B. Zengler, S. Queins: UML Glasklar, Hanser Wissenschaft
More informationSemantic Integration of Data Models Across Engineering Disciplines
Semantic Integration of Data Models Across Engineering Disciplines Stefan Biffl Thomas Moser Christian Doppler Laboratory SE-Flex-AS Institute of Software Technology and Interactive Systems (ISIS) Vienna
More information