System Behaviour Analysis with UML and Ptolemy. Scope and goals

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "System Behaviour Analysis with UML and Ptolemy. Scope and goals"

Transcription

1 Information included in this document are group's own property. These ones shall not be disclosed without the prior wirtten consent of Optronique. System Behaviour Analysis with UML and Ptolemy 4 th Biennal Ptolemy Miniconfence March 2001 Xavier Warzee, Jean-Charles Causse Thales Optronique and Dominique Marcadet, Julien Raimbault, Mickaël Levier, Supelec 1 2 Elles ne doivent pas être divulguées sans l accord écrit de Optronique. Scope and goals Complex System analysis and design Requirements hard to capture: more and more missions assigned to systems (complex supervision), more and more behavioral requirements, more and more capabilities to support (heterogeneous systems). Models used to capture requirements! Current practices: UML used to capture requirements, DOORS/Telelogic used for tracability between requirements and models. How to describe unambiguously operational scenarios? How to check dynamic properties such as Concurrency? How to check early the correctness and the completeness of these models? Page 1

2 Information included in this document are group's own property. These ones shall not be disclosed without the prior wirtten consent of Optronique. System requirements specification with UML Capture missions of the system Static models: definition of scenarios with the following types of entity:? external actors,? system capabilities (e.g. target detection),? functions (e.g. target tracking, range computing),? components (e.g. laser, camera, sensors, boards). Dynamic models: Use Cases? interactions between the system and external actors. Message Sequence Charts, Activity Charts? interaction between entities of the system. StateCharts? States and modes. 3 4 Elles ne doivent pas être divulguées sans l accord écrit de Optronique. User View System requirements specification user requirements Constraints (cost, time-tomarket, performance, Reuse ) Technicooperational Simulation system requirements "services" Use case Capabilities and services function specification and modeling Mission and operational scenarios specification and modeling "mission" use cases diagrams and Operational scenario Sequence Diagrams "capability" package External systems and actors Functional Architecture States and Modes specification and Modeling System StateChart Diagram Page 2

3 Information included in this document are group's own property. These ones shall not be disclosed without the prior wirtten consent of Optronique. Executable UML specifications Gap between the static and dynamic models: how to check consistency and completeness? First answer with Rhapsody from Ilogix : Animation of UML models, Limitations:? background in software and Object-Oriented technologies needed!? Only one type of semantics for animation (StateCharts). Esterel Studio powerful solution for reactive systems, formal verification of the control part based on the Esterel language, Limitations:? Only one type of semantics (the Synchronous hypothesis). 5 6 Elles ne doivent pas être divulguées sans l accord écrit de Optronique. From UML to Ptolemy II Use of Ptolemy II to execute UML models UML MSCs to describe scenarios, stereotypes to capture capabilities, functions, statecharts to capture modes and states. Generation of MoML files from the UML models use of Rose/Rational? plug-in developed to parse the UML models, generation of XML files, launch of Ptolemy II to execute the models (now Ptolemy II models), (optional) addition of blocks to generate inputs, and display outputs, (optional) addition of other models if not done in UML,? Continuous Time models to simulate physical values evolving during simulations. Page 3

4 Information included in this document are group's own property. These ones shall not be disclosed without the prior wirtten consent of Optronique. Rose Add-in : SDF and DE domains Use of UML with specific rules Choice of Class Diagram UML Classes as Ptolemy actors One UML class stereotype for each Ptolemy class UML class attributes describe Ptolemy actor properties UML associations as Ptolemy Links UML association roles describe Ptolemy actor ports and port properties Creation of a user interface Inserting actors into the diagram Hierarchical organization of the actors Modification Definition Deletion 7 8 Elles ne doivent pas être divulguées sans l accord écrit de Optronique. Rose Add-in : SDF and DE domains Code generation Diagram parsing Parameters management Choice of a domain director (SDF, DE) Model or class XML code overview Exporting XML code to a file Page 4

5 Information included in this document are group's own property. These ones shall not be disclosed without the prior wirtten consent of Optronique. Rose Add-in : SDF and DE domains Interaction with Ptolemy II Importing XML file in Vergil (optional) Modifications through Vergil interface Simulation 9 10 Elles ne doivent pas être divulguées sans l accord écrit de Optronique. Rose Add-in : FSM domain Mapping between UML StateCharts and FSM domain Under Construction Whereas DE and SDF domains needed rules to be described in UML, a simple Mapping is possible between UML StateCharts and Ptolemy Finite State Machines Page 5

6 Information included in this document are group's own property. These ones shall not be disclosed without the prior wirtten consent of Optronique. Rose Add-in : Goals Mapping between actions meaning in StateCharts and FSM actions Management of hierarchical graphs using several domains (SDF, DE and FSM) FSM DE Elles ne doivent pas être divulguées sans l accord écrit de Optronique. UML and Ptolemy II : perspectives Integration of other Ptolemy II domains XSLT to convert from XMI to MoML XSLT to convert from MoML to XMI => From Ptolemy II to UML. Use of RoseRT instead of Rose? Mapping of UML-RT capsules and ports to Ptolemy II actors and ports. Page 6

Integrating Legacy Code / Models with Model Based Development Using Rhapsody

Integrating Legacy Code / Models with Model Based Development Using Rhapsody Integrating Legacy Code / Models with Model Based Development Using Rhapsody M.W.Richardson 28/11/06 1 Telelogic AB Model Driven Development Very few Green Field projects are started, nearly always there

More information

Process-Based Software Components for Networked Embedded Systems

Process-Based Software Components for Networked Embedded Systems Process-Based Software Components for Networked Embedded Systems Edward A. Lee, PI UC Berkeley Core Technical Team (Mobies, SEC, and GSRC): Christopher Hylands, Mary P. Stewart, Joern Janneck, Sonia Sachs,

More information

UML TUTORIALS THE USE CASE MODEL

UML TUTORIALS THE USE CASE MODEL UML TUTORIALS THE USE CASE MODEL www.sparxsystems.com.au Sparx Systems 2004 Page 1/5 describes the proposed functionality of the new system. A Use Case represents a discrete unit of interaction between

More information

Designing a Home Alarm using the UML. And implementing it using C++ and VxWorks

Designing a Home Alarm using the UML. And implementing it using C++ and VxWorks Designing a Home Alarm using the UML And implementing it using C++ and VxWorks M.W.Richardson I-Logix UK Ltd. markr@ilogix.com This article describes how a simple home alarm can be designed using the UML

More information

Rapid Prototyping and Deployment of User-to-User Networked Applications

Rapid Prototyping and Deployment of User-to-User Networked Applications Rapid Prototyping and Deployment of User-to-User Networked Applications Wan-Teh Chang Department of Electrical Engineering and Computer Sciences University of California at Berkeley DSP SEMINAR, 3 MAY

More information

Object-Oriented Systems Analysis and Design with UML

Object-Oriented Systems Analysis and Design with UML Object-Oriented Systems Analysis and Design with UML OBJECTIVES: Understand the basic characteristics of objectoriented systems. Be familiar with the Unified Modeling Language (UML), Version 2.0. Be familiar

More information

Chap 1. Introduction to Software Architecture

Chap 1. Introduction to Software Architecture Chap 1. Introduction to Software Architecture 1. Introduction 2. IEEE Recommended Practice for Architecture Modeling 3. Architecture Description Language: the UML 4. The Rational Unified Process (RUP)

More information

Layered Approach to Development of OO War Game Models Using DEVS Framework

Layered Approach to Development of OO War Game Models Using DEVS Framework Layered Approach to Development of OO War Game Models Using DEVS Framework Chang Ho Sung*, Su-Youn Hong**, and Tag Gon Kim*** Department of EECS KAIST 373-1 Kusong-dong, Yusong-gu Taejeon, Korea 305-701

More information

SysML Modelling Language explained

SysML Modelling Language explained Date: 7 th October 2010 Author: Guillaume FINANCE, Objet Direct Analyst & Consultant UML, the standard modelling language used in the field of software engineering, has been tailored to define a modelling

More information

Application of UML in Real-Time Embedded Systems

Application of UML in Real-Time Embedded Systems Application of UML in Real-Time Embedded Systems Aman Kaur King s College London, London, UK Email: aman.kaur@kcl.ac.uk Rajeev Arora Mechanical Engineering Department, Invertis University, Invertis Village,

More information

Designing Real-Time and Embedded Systems with the COMET/UML method

Designing Real-Time and Embedded Systems with the COMET/UML method By Hassan Gomaa, Department of Information and Software Engineering, George Mason University. Designing Real-Time and Embedded Systems with the COMET/UML method Most object-oriented analysis and design

More information

Robust Object Oriented System Analysis

Robust Object Oriented System Analysis Robust Object Oriented System Analysis Dr Jie Zhao, Dunstan Thomas Consulting Summary Uses cases are widely accepted as the best approach to capturing system requirements, in particular, functional requirements.

More information

Applying Use Cases to Microcontroller Code Development. Chris Gilbert Cypress Semiconductor

Applying Use Cases to Microcontroller Code Development. Chris Gilbert Cypress Semiconductor Applying Use Cases to Microcontroller Code Development Chris Gilbert Cypress Semiconductor Agenda Why Use Cases Microcontroller Project Development Use Cases Defined Use Cases Composition General Example

More information

Decomposition into Parts. Software Engineering, Lecture 4. Data and Function Cohesion. Allocation of Functions and Data. Component Interfaces

Decomposition into Parts. Software Engineering, Lecture 4. Data and Function Cohesion. Allocation of Functions and Data. Component Interfaces Software Engineering, Lecture 4 Decomposition into suitable parts Cross cutting concerns Design patterns I will also give an example scenario that you are supposed to analyse and make synthesis from The

More information

Lecture 8: Use Case -Driven Design" Refresher: UML Notations"

Lecture 8: Use Case -Driven Design Refresher: UML Notations Lecture 8: Use Case -Driven Design User Stories in Agile Development Introducing UML into the Software Process E.g. ICONIX Domain Models Use Cases 2012 Steve Easterbrook. This presentation is available

More information

Menouer Boubekeur, Gregory Provan

Menouer Boubekeur, Gregory Provan Software Requirements Menouer Boubekeur, Gregory Provan Lectures Introduction to UML Introduction to Requirements Analysis Advanced techniques for Requirement Analysis M. Boubekeur, CSL, University College

More information

Unified Modeling Language (UML) for Database Systems and Computer Applications

Unified Modeling Language (UML) for Database Systems and Computer Applications Unified Modeling Language (UML) for Database Systems and Computer Applications Sunguk Lee * Research Institute of Industrial Science and Technology Pohang, Korea sunguk@rist.re.kr *Correspondent Author:

More information

Clarifying a vision on certification of MDA tools

Clarifying a vision on certification of MDA tools SCIENTIFIC PAPERS, UNIVERSITY OF LATVIA, 2010. Vol. 757 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES 23 29 P. Clarifying a vision on certification of MDA tools Antons Cernickins Riga Technical University,

More information

Risto Kivioja Section Manager, Embedded Software

Risto Kivioja Section Manager, Embedded Software Risto Kivioja Section Manager, Embedded Software Radio Access Systems 1(54) Contents: z Skills and Competence Software Architecture Organization and Methods Technology and Tools z SW Modeling System Architecture

More information

Aligning IT investment and Business

Aligning IT investment and Business IBM Software Group Aligning IT investment and Business The role of requirements management, portfolio management and enterprise architecture Productivity, Governance, Innovation Dr Tariq Aslam 2009 IBM

More information

Using Separation of Concerns for Embedded Systems Design. α=90

Using Separation of Concerns for Embedded Systems Design. α=90 Using Separation of Concerns for Embedded Systems Design α=90 Ethan Jackson and Janos Sztipanovits EmSoft 05, Jersey City, New Jersey September 19, 2005 Part I Outline Introduction: Discuss major design

More information

UML Diagram Types. Use Cases do the Following. Use Case Diagram

UML Diagram Types. Use Cases do the Following. Use Case Diagram UML Diagram Types Dynamic Models activity diagrams statechart diagrams interaction diagrams sequence diagrams collaboration diagrams use case diagrams Structural Models class diagrams object diagrams packages

More information

Modeling Kahn Process Networks in the Dynamic Dataflow Formalism

Modeling Kahn Process Networks in the Dynamic Dataflow Formalism Roy Kensmil Page 1 6/20/2013 Modeling Kahn Process Networks in the Dynamic Dataflow Formalism Roy Kensmil Leiden Institute of Advanced Computer Science (LIACS), Leiden, The Netherlands rkensmil@liacs.nl

More information

Software Specification and Architecture 2IW80

Software Specification and Architecture 2IW80 Software Specification and Architecture 2IW80 Julien Schmaltz (slides partly from M. Mousavi and A. Serebrenik) Lecture 03: Use Cases Before we start The system shall give access to the database to any

More information

Technical Specifications forcomputer Aided Software Engineeering(CASE) Tools

Technical Specifications forcomputer Aided Software Engineeering(CASE) Tools Technical Specifications forcomputer Aided Software Engineeering(CASE) Tools BHEL R&D requires the following CASE tools to adopt them in the Software Development Life Cycle Management at it s premises:

More information

MDA Overview OMG. Enterprise Architect UML 2 Case Tool by Sparx Systems http://www.sparxsystems.com. by Sparx Systems

MDA Overview OMG. Enterprise Architect UML 2 Case Tool by Sparx Systems http://www.sparxsystems.com. by Sparx Systems OMG MDA Overview by Sparx Systems All material Sparx Systems 2007 Sparx Systems 2007 Page:1 Trademarks Object Management Group, OMG, CORBA, Model Driven Architecture, MDA, Unified Modeling Language, UML,

More information

Model-Driven Software Development for Robotics: an overview

Model-Driven Software Development for Robotics: an overview Model-Driven Software Development for Robotics: an overview IEEE-ICRA2011 Workshop on Software Development and Integration in Robotics Jan F. Broenink, Maarten M. Bezemer Control Engineering, University

More information

UML Modelling of Automated Business Processes with a Mapping to BPEL4WS

UML Modelling of Automated Business Processes with a Mapping to BPEL4WS UML Modelling of Automated Business Processes with a Mapping to BPEL4WS Tracy Gardner IBM UK Laboratories, Hursley Park, Winchester, SO21 2JN, UK tgardner@uk.ibm.com Abstract. The Business Process Execution

More information

Requirements Exchange: From Specification Documents to Models

Requirements Exchange: From Specification Documents to Models Requirements Exchange: From Specification Documents to Models Morayo ADEDJOUMA, Hubert DUBOIS, François TERRIER Ansgar RADERMACHER UML&AADL 2011-27 April 2011, Las Vegas Agenda Big picture Challenge Technologies

More information

From UML to HDL: a Model Driven Architectural Approach to Hardware-Software Co-Design

From UML to HDL: a Model Driven Architectural Approach to Hardware-Software Co-Design From UML to HDL: a Model Driven Architectural Approach to Hardware-Software Co-Design Frank P. Coyle and Mitchell A. Thornton Computer Science and Engineering Dept Southern Methodist University Dallas

More information

Announcements. SE 1: Software Requirements Specification and Analysis. Review: Use Case Descriptions

Announcements. SE 1: Software Requirements Specification and Analysis. Review: Use Case Descriptions Announcements SE 1: Software Requirements Specification and Analysis Lecture 4: Basic Notations Nancy Day, Davor Svetinović http://www.student.cs.uwaterloo.ca/ cs445/winter2006 uw.cs.cs445 Send your group

More information

Integrated Development of Distributed Real-Time Applications with Asynchronous Communication

Integrated Development of Distributed Real-Time Applications with Asynchronous Communication Integrated Development of Distributed Real-Time Applications with Asynchronous Communication Marc Schanne International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES) 26-28 September

More information

Communications Software Engineering Design Model

Communications Software Engineering Design Model Communications Software Engineering Design Model Wolfgang Emmerich 1 Lecture Overview Relationship between analysis and design Stages of design Impact of implementation environment Definition of sequence

More information

Bachelor of Games and Virtual Worlds (Programming) Subject and Course Summaries

Bachelor of Games and Virtual Worlds (Programming) Subject and Course Summaries First Semester Development 1A On completion of this subject students will be able to apply basic programming and problem solving skills in a 3 rd generation object-oriented programming language (such as

More information

COSC 3351 Software Design. Recap for the first quiz. Edgar Gabriel. Spring 2008. For the 1 st Quiz

COSC 3351 Software Design. Recap for the first quiz. Edgar Gabriel. Spring 2008. For the 1 st Quiz COSC 3351 Software Design Recap for the first quiz Spring 2008 For the 1 st Quiz Three large topic areas: UML syntax and diagrams Software architectural styles Object oriented design principles A couple

More information

The SPES Methodology Modeling- and Analysis Techniques

The SPES Methodology Modeling- and Analysis Techniques The SPES Methodology Modeling- and Analysis Techniques Dr. Wolfgang Böhm Technische Universität München boehmw@in.tum.de Agenda SPES_XT Project Overview Some Basic Notions The SPES Methodology SPES_XT

More information

UML Tutorial Part 1: UML Use Cases. Presented by Igor Ivković Why UML Use Cases?

UML Tutorial Part 1: UML Use Cases. Presented by Igor Ivković Why UML Use Cases? UML Tutorial Part 1: UML Use Cases Presented by Igor Ivković iivkovic@swen.uwaterloo.ca Why UML Use Cases? Use Case A set of scenarios related by a common actor and a goal A description of sequences of

More information

WebSphere Business Modeler

WebSphere Business Modeler Discovering the Value of SOA WebSphere Process Integration WebSphere Business Modeler Workshop SOA on your terms and our expertise Soudabeh Javadi Consulting Technical Sales Support WebSphere Process Integration

More information

Model-based Simulation of Web Applications for Usability Assessment

Model-based Simulation of Web Applications for Usability Assessment Model-based Simulation of Web Applications for Usability Assessment Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel Dept of Computing, Imperial College London {rbc,jk,jnm,su2}@doc.ic.ac.uk Abstract

More information

Sofware Requirements Engineeing

Sofware Requirements Engineeing Sofware Requirements Engineeing Three main tasks in RE: 1 Elicit find out what the customers really want. Identify stakeholders, their goals and viewpoints. 2 Document write it down (). Understandable

More information

Tool Support for Software Variability Management and Product Derivation in Software Product Lines

Tool Support for Software Variability Management and Product Derivation in Software Product Lines Tool Support for Software Variability Management and Product Derivation in Software s Hassan Gomaa 1, Michael E. Shin 2 1 Dept. of Information and Software Engineering, George Mason University, Fairfax,

More information

Kirsten Sinclair SyntheSys Systems Engineers

Kirsten Sinclair SyntheSys Systems Engineers Kirsten Sinclair SyntheSys Systems Engineers Kirsten Sinclair SyntheSys Systems Engineers Spicing-up IBM s Enterprise Architecture tools with Petri Nets On Today s Menu Appetiser: Background Starter: Use

More information

Object-Oriented Design Guidelines

Object-Oriented Design Guidelines Adaptive Software Engineering G22.3033-007 Session 8 Sub-Topic 3 Presentation Object-Oriented Design Guidelines Dr. Jean-Claude Franchitti New York University Computer Science Department Courant Institute

More information

Integration of ArchiMate and UML. Harmen van den Berg & Henk Jonkers

Integration of ArchiMate and UML. Harmen van den Berg & Henk Jonkers Integration of ArchiMate and UML Harmen van den Berg & Henk Jonkers What is UML? The Unified Modeling Language (UML ) is a visual language for specifying, constructing, and documenting the artifacts of

More information

QUESTION BANK. Dhulapally, Secunderabad Class : IT III. Subject: OBJECT ORIENTED ANALYSIS AND DESIGN GROUP - A (SHORT ANSWER QUESTIONS)

QUESTION BANK. Dhulapally, Secunderabad Class : IT III. Subject: OBJECT ORIENTED ANALYSIS AND DESIGN GROUP - A (SHORT ANSWER QUESTIONS) St.MARTIN S ENGINEERING COLLEGE Dhulapally, Secunderabad-500 014 Subject: OBJECT ORIENTED ANALYSIS AND DESIGN Class : IT III QUESTION BANK GROUP - A (SHORT ANSWER QUESTIONS) UNIT I 1. Define UML. 2. Explain

More information

UML Models. Lecture 10, Part 1: Verification and Validation. UML Models [2] Non-UML models. Verification and Validation.

UML Models. Lecture 10, Part 1: Verification and Validation. UML Models [2] Non-UML models. Verification and Validation. UML Models Lecture 10, Part 1: and Jennifer Campbell CSC340 - Winter 2007 Activity diagrams capture business processes involving concurrency and synchronization good for analyzing dependencies between

More information

OVERVIEW OF THE PROJECT...

OVERVIEW OF THE PROJECT... SYSTEMS ENGINEERING DESIGN PROJECT ENPM 643, Fall 2006 Instructor Authors ENPM643 Dr. M Austin Atul Mehta & Felipe Leite Fall 2006 TABLE OF CONTENTS Section Page 1 OVERVIEW OF THE PROJECT... 3 1.1 PURPOSE...

More information

Design methods. List of possible design methods. Functional decomposition. Data flow design. Functional decomposition. Data Flow Design (SA/SD)

Design methods. List of possible design methods. Functional decomposition. Data flow design. Functional decomposition. Data Flow Design (SA/SD) Design methods List of possible design methods Functional decomposition Data Flow Design (SA/SD) Design based on Data Structures (JSD/JSP) OO is good, isn t it Decision tables E-R Flowcharts FSM JSD JSP

More information

Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer

Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer Generate Results. Real Models. Real Code. Real Fast. Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer Andreas Henriksson, Ericsson andreas.henriksson@ericsson.com

More information

Training Management System for Aircraft Engineering: indexing and retrieval of Corporate Learning Object

Training Management System for Aircraft Engineering: indexing and retrieval of Corporate Learning Object Training Management System for Aircraft Engineering: indexing and retrieval of Corporate Learning Object Anne Monceaux 1, Joanna Guss 1 1 EADS-CCR, Centreda 1, 4 Avenue Didier Daurat 31700 Blagnac France

More information

San Diego Supercomputer Center, UCSD. Institute for Digital Research and Education, UCLA

San Diego Supercomputer Center, UCSD. Institute for Digital Research and Education, UCLA Facilitate Parallel Computation Using Kepler Workflow System on Virtual Resources Jianwu Wang 1, Prakashan Korambath 2, Ilkay Altintas 1 1 San Diego Supercomputer Center, UCSD 2 Institute for Digital Research

More information

Section C. Requirements Elicitation

Section C. Requirements Elicitation This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike License. Your use of this material constitutes acceptance of that license and the conditions of use of materials on this

More information

Types of UML Diagram. UML Diagrams 140703-OOAD. Computer Engineering Sem -IV

Types of UML Diagram. UML Diagrams 140703-OOAD. Computer Engineering Sem -IV 140703-OOAD Computer Engineering Sem -IV Introduction to UML - UML Unified Modeling Language diagram is designed to let developers and customers view a software system from a different perspective and

More information

What is Enterprise Architect? Enterprise Architect is a visual platform for designing and constructing software systems, for business process

What is Enterprise Architect? Enterprise Architect is a visual platform for designing and constructing software systems, for business process 1 2 3 What is Enterprise Architect? Enterprise Architect is a visual platform for designing and constructing software systems, for business process modeling, and for more generalized modeling purposes.

More information

SCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1

SCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1 SCADE System 17.0 SCADE System is the product line of the ANSYS Embedded software family of products and solutions that empowers users with a systems design environment for use on systems with high dependability

More information

Mastering increasing product complexity with Collaborative Systems Engineering and PLM

Mastering increasing product complexity with Collaborative Systems Engineering and PLM Mastering increasing product complexity with Collaborative Systems Engineering and PLM Thierry Ambroisine Dassault Systèmes 10 rue Marcel Dassault, 78140 Vélizy Villacoublay, France thierry.ambroisine@3ds.com

More information

SCADE Suite in Space Applications

SCADE Suite in Space Applications SCADE Suite in Space Applications at EADS David Lesens 09/10/2008 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T

More information

LAB 1: Introduction to Unified Modeling Language (UML) and Visual Paradigm for UML Software as a CASE* Tool

LAB 1: Introduction to Unified Modeling Language (UML) and Visual Paradigm for UML Software as a CASE* Tool LAB 1: Introduction to Unified Modeling Language (UML) and Visual Paradigm for UML Software as a CASE* Tool * Computer Aided Software Engineering OBJECTIVES Introduction to UML notations and diagrams.

More information

OMG s Second Workshop on Web Services. Orchestrating Web Services from a UML Development Platform

OMG s Second Workshop on Web Services. Orchestrating Web Services from a UML Development Platform Transform your software architecture into a reusable asset OMG s Second Workshop on Web Services Orchestrating Web Services from a UML Development Platform Michel Brassard Founder & CTO mbrassard@codagen.com

More information

Computer programs (both source and executable) Documentation (both technical and user) Data (contained within the program or external to it)

Computer programs (both source and executable) Documentation (both technical and user) Data (contained within the program or external to it) CHAPTER 27 CHANGE MANAGEMENT Overview Changes are inevitable when software is built. A primary goal of software engineering is to improve the ease with which changes can be made to software. Configuration

More information

A Methodology for the Development of New Telecommunications Services

A Methodology for the Development of New Telecommunications Services A Methodology for the Development of New Telecommunications Services DIONISIS X. ADAMOPOULOS Centre for Communication Systems Research School of Elec. Eng., IT and Mathematics University of Surrey Guildford

More information

An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications

An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications An Approach for Generating Concrete Test Cases Utilizing Formal Specifications of Web Applications Khusbu Bubna RC Junit concrete test cases suitable for execution on the implementation. The remainder

More information

Rational Unified Process for Systems Engineering. Part 1: Introducing RUP SE Version 2.0. Introduction

Rational Unified Process for Systems Engineering. Part 1: Introducing RUP SE Version 2.0. Introduction Copyright IBM Rational Software 2003 http://www.therationaledge.com/content/aug_03/f_rupse_mc.jsp Rational Unified Process for Systems Engineering Part 1: Introducing RUP SE Version 2.0 by Murray Cantor

More information

Information system for production and mounting of plastic windows

Information system for production and mounting of plastic windows Information system for production and mounting of plastic windows MARCEL, MELIŠ Slovak University of Technology - Faculty of Material Sciences and Technology in Trnava, Paulínska 16 street, Trnava, 917

More information

Introducing Simulation and Model Animation in the MDE Topcased 1 Toolkit

Introducing Simulation and Model Animation in the MDE Topcased 1 Toolkit Introducing Simulation and Model Animation in the MDE Topcased 1 Toolkit B. Combemale 1, X. Crégut 1, J.-P. Giacometti 2, P. Michel 3, M. Pantel 1 1: IRIT- ENSEEIHT, 2 Rue Charles Camichel, 31071 Toulouse

More information

Model Engineering using Multimodeling

Model Engineering using Multimodeling Model Engineering using Multimodeling Christopher Brooks (UC Berkeley) Chih-Hong Cheng (UC Berkeley & TU Munich) Thomas Huining Feng (UC Berkeley) Edward A. Lee (UC Berkeley) Reinhard von Hanxleden (Christian-Albrechts-Univ.

More information

Generating Java code from UML Class and Sequence Diagrams

Generating Java code from UML Class and Sequence Diagrams Generating Java code from UML Class and Sequence Diagrams Abilio G. Parada; Eliane Siegert; Lisane B. de Brisolara Group of Architectures and Integrated Circuits (GACI) Technology Development Center (CDTec)

More information

UML for the C programming language.

UML for the C programming language. Functional-based modeling White paper June 2009 UML for the C programming language. Bruce Powel Douglass, PhD, IBM Page 2 Contents 2 Executive summary 3 FunctionalC UML profile 4 Functional development

More information

Information Science 1

Information Science 1 Topics covered Information Science 1 Terms and concepts from Week 05 The software development process Program'Development /Algorithms'and'Problem'Solving/'' ' software software life cycle life-cycle models

More information

CHAPTER 13 OBJECT-ORIENTED ANALYSIS

CHAPTER 13 OBJECT-ORIENTED ANALYSIS Lecture Software Engineering CHAPTER 13 OBJECT-ORIENTED ANALYSIS Lecture Software Engineering Topics Introduction The Analysis Workflow Extracting the Entity Classes Object-Oriented Analysis: The Elevator

More information

Requirements Analysis

Requirements Analysis Chapter 6 Requirements Modeling: Scenarios, Information, and Analysis Classes Slide Set to accompany Software Engineering: A Practitioner s Approach, 7/e by Roger S. Pressman Slides copyright 1996, 2001,

More information

MEASURING, TRACKING, AND COMMUNICATING CHANGE IN ENTERPRISE SYSTEMS WITH A WEB- BASED REPOSITORY

MEASURING, TRACKING, AND COMMUNICATING CHANGE IN ENTERPRISE SYSTEMS WITH A WEB- BASED REPOSITORY 13 TH INTERNATIONAL DEPENDENCY AND STRUCTURE MODELLING CONFERENCE, DSM 11 CAMBRIDGE, MASSACHUSETTS, USA, SEPTEMBER 14 15, 2011 MEASURING, TRACKING, AND COMMUNICATING CHANGE IN ENTERPRISE SYSTEMS WITH A

More information

Model Driven Interoperability through Semantic Annotations using SoaML and ODM

Model Driven Interoperability through Semantic Annotations using SoaML and ODM Model Driven Interoperability through Semantic Annotations using SoaML and ODM JiuCheng Xu*, ZhaoYang Bai*, Arne J.Berre*, Odd Christer Brovig** *SINTEF, Pb. 124 Blindern, NO-0314 Oslo, Norway (e-mail:

More information

UML SUPPORTED SOFTWARE DESIGN

UML SUPPORTED SOFTWARE DESIGN UML SUPPORTED SOFTWARE DESIGN Darko Gvozdanović, Saša Dešić, Darko Huljenić Ericsson Nikola Tesla d.d., Krapinska 45, HR-0000 Zagreb, Croatia, tel.: +385 365 3889, faks: +385 365 3548, e-mail: darko.gvozdanovic@etk.ericsson.se

More information

Requirements engineering

Requirements engineering Learning Unit 2 Requirements engineering Contents Introduction............................................... 21 2.1 Important concepts........................................ 21 2.1.1 Stakeholders and

More information

Chapter 10 Practical Database Design Methodology and Use of UML Diagrams

Chapter 10 Practical Database Design Methodology and Use of UML Diagrams Chapter 10 Practical Database Design Methodology and Use of UML Diagrams Copyright 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 10 Outline The Role of Information Systems in

More information

Lecture 9: Requirements Modelling

Lecture 9: Requirements Modelling A little refresher: What are we modelling? Lecture 9: Requirements Modelling Requirements; Systems; Systems Thinking Role of Modelling in RE Why modelling is important Limitations of modelling Brief overview

More information

Design of UML models and their simulation using ARENA

Design of UML models and their simulation using ARENA Design of UML models and their simulation using ARENA ARTIS TEILANS and ARNIS KLEINS Exigen Services DATI 17a Ganibu Dambis, LV-1045, Riga LATVIA artis.teilans@exigenservices.com arnis.kleins@exigenservices.com

More information

Software Engineering. So#ware Processes

Software Engineering. So#ware Processes Software Engineering So#ware Processes 1 The software process A structured set of activities required to develop a software system. Many different software processes but all involve: Specification defining

More information

Going Faster: Testing The Web Application. By Adithya N. Analysis and Testing of Web Applications Filippo Ricca and Paolo Tonella

Going Faster: Testing The Web Application. By Adithya N. Analysis and Testing of Web Applications Filippo Ricca and Paolo Tonella Testing Web Applications Testing Web Applications By Adithya N. Going Faster: Testing The Web Application Edward Hieatt and Robert Mee (IEEE Software) Analysis and Testing of Web Applications Filippo Ricca

More information

Modeling of Discrete Systems Using State Charts and Using VHDL Language in Electronic Circuits

Modeling of Discrete Systems Using State Charts and Using VHDL Language in Electronic Circuits Volume 1, Number 1, December 2014 SOP TRANSACTIONS ON POWER TRANSMISSION AND SMART GRID Modeling of Discrete Systems Using State Charts and Using VHDL Language in Electronic Circuits T. C. Manjunath 1

More information

ENTERPRISE ARCHITECT IMPORT. user guide

ENTERPRISE ARCHITECT IMPORT. user guide ENTERPRISE ARCHITECT IMPORT user guide No Magic, Inc. 2013 All material contained herein is considered proprietary information owned by No Magic, Inc. and is not to be shared, copied, or reproduced by

More information

F-16 Modular Mission Computer Application Software

F-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 information

Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture

Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture Delmir de Azevedo Junior 1 and Renato de Campos 2 1 Petrobras University, Republican

More information

Version 4.5 The Graphical Metamodeling Example

Version 4.5 The Graphical Metamodeling Example Version 4.5 The Graphical Metamodeling Example MetaCase Document No. GE-4.5 Copyright 2008 by MetaCase Oy. All rights reserved First Printing, 2 nd Edition, February 2008. MetaCase Ylistönmäentie 31 FI

More information

USER S MANUAL. Software Architecture Risk Assessment (SARA) Tool. Khader Basha Shaik. Jan, 2007

USER S MANUAL. Software Architecture Risk Assessment (SARA) Tool. Khader Basha Shaik. Jan, 2007 USER S MANUAL Software Architecture Risk Assessment (SARA) Tool Khader Basha Shaik Jan, 2007 USER'S MANUAL TABLE OF CONTENTS Page # 1 GENERAL INFORMATION... 1-1 1.1 System Overview...1-1 1.2 Pre-requisites

More information

Malay A. Dalal Madhav Erraguntla Perakath Benjamin. Knowledge Based Systems, Inc. (KBSI) College Station, TX 77840, U.S.A.

Malay A. Dalal Madhav Erraguntla Perakath Benjamin. Knowledge Based Systems, Inc. (KBSI) College Station, TX 77840, U.S.A. AN INTRODUCTION TO USING PROSIM FOR BUSINESS PROCESS SIMULATION AND ANALYSIS Malay A. Dalal Madhav Erraguntla Perakath Benjamin Knowledge Based Systems, Inc. (KBSI) College Station, TX 77840, U.S.A. ABSTRACT

More information

Filling the Gap between Business Process Modeling and Behavior Driven Development

Filling the Gap between Business Process Modeling and Behavior Driven Development Filling the Gap between Business Process Modeling and Behavior Driven Development Rogerio Atem de Carvalho Rodrigo Soares Manhães Fernando Luis de Carvalho e Silva Nucleo de Pesquisa em Sistemas de Informação

More information

Software Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville

Software Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville Software Engineering Software Processes Based on Software Engineering, 7 th Edition by Ian Sommerville Objectives To introduce software process models To describe three generic process models and when

More information

A UML Introduction Tutorial

A UML Introduction Tutorial A UML Introduction Tutorial 1/27/08 9:55 PM A UML Introduction Tutorial In this tutorial you will learn about the fundamentals of object oriented modelling, the Unified Modelling Language and the software

More information

A HW/SW Codesign Methodology based on UML

A HW/SW Codesign Methodology based on UML A HW/SW Codesign Methodology based on UML How to apply a model based UML design for an embedded system By Senior Consultant Kim Bjerge (kim.bjerge@teknologisk.dk) Copyright 2008 Danish Technological Institute

More information

Evaluating OO-CASE tools: OO research meets practice

Evaluating OO-CASE tools: OO research meets practice Evaluating OO-CASE tools: OO research meets practice Danny Greefhorst, Matthijs Maat, Rob Maijers {greefhorst, maat, maijers}@serc.nl Software Engineering Research Centre - SERC PO Box 424 3500 AK Utrecht

More information

OVERVIEW OF THE PTOLEMY PROJECT

OVERVIEW OF THE PTOLEMY PROJECT U N T H E I V E R S I T Y A O F LE T TH E R E B E 1 8 6 8 LIG H T C A L I A I F O R N DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE UNIVERSITY OF CALIFORNIA BERKELEY, CALIFORNIA 94720 OVERVIEW

More information

Model Driven Testing AGEDIS Architecture Interfaces and Tools

Model Driven Testing AGEDIS Architecture Interfaces and Tools Model Driven Testing AGEDIS Architecture Interfaces and Tools Alan Hartman Kenneth Nagin IBM Haifa Research Laboratory Haifa University Campus Haifa 31905 ISRAEL {hartman, nagin}@il.ibm.com Page 1 of 11

More information

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT Cléver Ricardo Guareis de Farias, Marten van Sinderen and Luís Ferreira Pires Centre for Telematics and Information Technology (CTIT) PO Box

More information

Getting Started Guide Testable Architecture

Getting Started Guide Testable Architecture Getting Started Guide Testable Architecture by Gary Brown, Jeff Yu, and Jeff DeLong 1. Overview... 1 2. Installation... 2 2.1. Installation Instructions... 2 2.2. Importing Samples into Eclipse... 2 3.

More information

(BA122) Software Engineer s Workshop (SEW)

(BA122) Software Engineer s Workshop (SEW) Training for the Business Analyst (BA122) Software Engineer s Workshop (SEW) Duration: 4 days CDUs (Continuing Development Units): 28 Description: A practical workshop covering the role of the Business-Systems

More information

Principles and Software Realization of a Multimedia Course on Theoretical Electrical Engineering Based on Enterprise Technology

Principles and Software Realization of a Multimedia Course on Theoretical Electrical Engineering Based on Enterprise Technology SERBIAN JOURNAL OF ELECTRICAL ENGINEERING Vol. 1, No. 1, November 2003, 81-87 Principles and Software Realization of a Multimedia Course on Theoretical Electrical Engineering Based on Enterprise Technology

More information

CS 589 Project Smart Home Hub, Phase I Due before 9am on October 21, 2015

CS 589 Project Smart Home Hub, Phase I Due before 9am on October 21, 2015 CS 589 Project Smart Home Hub, Phase I Due before 9am on October 21, 2015 Overview So far, we have learned the basics and underlying principles of embedded software and systems, and have begun to study

More information

ACES-MB 2009 MADS CLAUSEN INSTITUTE

ACES-MB 2009 MADS CLAUSEN INSTITUTE Formal Design Models for Distributed Embedded Control Systems Christo Angelov Krzysztof Sierszecki Yu Guo {angelov, ksi, guo}@mci.sdu.dk 06-10-2009 MODELS 2009, Denver, Colorado, USA 1 Contents Introduction:

More information