Overview of the XML Schema for the SAE AADL

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Overview of the XML Schema for the SAE AADL"

Transcription

1 Overview of the XML Schema for the SAE AADL Peter Feiler Software Engineering Institute

2 Outline Background: SAE AADL Standard An XML-Based Tool Strategy Defining the XML representation Plug n play tool components Summary 2

3 SAE Architecture Analysis & Design Language Notation for specification of task and communication architectures of Real-time, Embedded, Fault-tolerant, Secure, Safety-critical, Software-intensive systems Fields of application: Avionics, Automotive, Aerospace, Autonomous systems, Based on 15 Years of DARPA funded technologies Standard approved by SAE in Sept

4 Automatic Target Recognition Guidance & Control Supply Chain Mechanized Sensor Ambulatory & Signal Processing Model-Based Engineering System Analysis Schedulability Performance Reliability Fault Tolerance Dynamic Configurability Model the Architecture Abstract, but Precise Composable Components Application Software Information Fusion Software System Engineer System Integration Runtime System Generation Application Composition System Configuration Execution Platform Predictive System Engineering Reduced Development & Operational Cost GPS DB HTTPS Ada Runtime Devices Memory Bus Processor 4

5 The AADL Standard Requirements document SAE ARD 5296 Input from aerospace industry Balloted and approved in 2000 SAE AADL document SAE AS 5506 Core language approved by SAE Sept 2004 In review to be balloted late 2004 Graphical AADL notation UML profile of AADL for UML1.4 and UML 2.0 XMI domain model, XML schema Ada and C Annex In development Error Model Annex ARINC 653 Annex 5

6 Standard Model Interchange Format Benefits (Sub-)Contractor architecture model delivery & exchange Company internal architecture model library Tool interoperability Why is textual AADL not sufficient? 6

7 An XML-Based Tool Strategy AADL Front-end Textual AADL Semantic Checking Graphical AADL AADL XML Scheduling Analysis Commercial Tool Reliability Analysis Research prototype Safety Analysis AADL Runtime Generator Project-Specific In-House 7

8 Two-Tier Tool Strategy Open Source AADL Tool Environment (OSATE) Developed by SEI Low entry cost solution (no cost CPL) Multi-platform based on Eclipse 3.0 Prototyping environment for project-specific analysis Architecture research platform Commercial Tool Support UML tool environment extension based on UML profile Extension to existing modeling environment with AADL export/import Analysis tools interfacing via XML or XML to native filter Runtime system generation tools 8

9 AADL Text Example package edu::cmu::sei::xmiexample public system GPS features init: in event port; signal: out data port GPS_Signal; end GPS; system implementation GPS.basic end GPS.Basic; data GPS_Signal end GPS_Signal; end edu::cmu::sei::xmiexample; 9

10 AADL XML Example <?xml version="1.0" encoding= UTF-8"?> <core:aadlspec xmi:version="2.0" > <packagespec name="edu::cmu::sei::xmiexample"> <aadlpublic> <systemtype name="gps"> <features> <eventport name="init"/> <dataport name="signal" direction="out" dataclassifier= </features> </systemtype> <systemimpl name="gps.basic" comptype= <datatype name="gps_signal"/> </aadlpublic> </packagespec> </core:aadlspec> 10

11 Large-Scale Development Component type and implementation declarations in packages Name scope for component types Public and private package sections Grouping into manageable units Nested package naming Qualified naming to manage name conflicts Supports independent development of subsystems Supports large-scale system of system development 11

12 Subcontractor Management Subcontractor specific name spaces Separation of public and private package sections package edu::cmu::sei::redundancypatterns public -- publically accessible component interfaces system PrimaryBackupPattern -- features end PrimaryBackupPattern; end edu::cmu::sei::redundancypatterns; -- separate file package edu::cmu::sei::redundancypatterns private -- source not accessible to outsiders end edu::cmu::sei::redundancypatterns; 12

13 Defining the XML Representation XML Data Type Definition (DTD) Define tags & hierarchical structure XML Schema XMI Better handling of references & typing Meta model definition XML documents with document change information Record of content additions/changes by different tools 13

14 Leverage of Existing Technology UML Model & Design XMI XSD XML Documents Transformation Tools Database Tools Integrate Testing Tools Model Driven App Development Annotated Java XSD, XMI Java EMF - The Data Integration Foundation of Eclipse MetaData Management Java Tools Etc

15 AADL Meta Model Defined in Eclipse Modeling Framework (EMF) Collection of meta model packages with graphical views Separate from, but close to UML profile of AADL XML as persistent storage XMI specification from Ecore meta model Generated XML schema In-core AADL model Generated methods for AADL model manipulation Edit history, deep copy, object editor, graphical editor Methods to support AADL extends hierarchy feature inheritance property value inheritance 15

16 AADL Meta Model Fragment 16

17 Three Model Components AADL Frontend Textual AADL Semantic Checking Graphical AADL Declarative AADL Model AADL Instance Model Graphical Layout Information Scheduling Analysis Commercial Tool Reliability Analysis Research prototype AADL Runtime Generator Safety Analysis Project-Specific In-House 17

18 Tool Interoperability AADL Frontend Textual AADL Semantic Checking Graphical AADL Co-resident tool AADL XML Tool Interface Declarative AADL Model AADL Instance Model Persistent XML document Convert Tool-specific XML Representation Graphical Layout information Convert Tool-specific representation 18

19 An Open Source AADL Tool Environment Embry-Riddle Reliability Analysis AADL Extensions Error model Concurrency behavior Concurrency Analysis OMNET++ Network simulation Object Model Interface Network model Model Export Filters Timing model Architecture Import & Extraction Architecture Export MetaH, TTA System Verification Manager (CMU) Simulink/Matlab, Dymola models MetaH Toolset (Honeywell) Scheduling analysis Reliability analysis Isolation analysis Runtime system generation TimeWeaver (CMU) Distributed resource allocation Multi-platform runtime system generation TimeWiz Commercial Tool Scheduling analysis Execution trace analysis 19

20 Final Observations Industry-standard architecture modeling notation for embedded systems Abstract but precise modeling Early and repeated predictable analysis Architecture model libraries Industry-standard XML interchange format Architecture model interchange between contractors Lower cost plug n play AADL tools Interoperability of analysis and generation tools 20

Overview. Stakes. Context. Model-Based Development of Safety-Critical Systems

Overview. Stakes. Context. Model-Based Development of Safety-Critical Systems 1 2 Model-Based Development of -Critical Systems Miguel A. de Miguel 5/6,, 2006 modeling Stakes 3 Context 4 To increase the industrial competitiveness in the domain of software systems To face the growing

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

Validation of Safety-Critical Systems with AADL

Validation of Safety-Critical Systems with AADL Validation of Safety-Critical Systems with AADL Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Peter H Feiler April 11, 2008 2006 Carnegie Mellon University Outline Multiple

More information

Presentation of the AADL: Architecture Analysis and Design Language

Presentation of the AADL: Architecture Analysis and Design Language Presentation of the AADL: Architecture Analysis and Design Language Outline 1. AADL a quick overview 2. AADL key modeling constructs 1. AADL components 2. Properties 3. Component connection 3. AADL: tool

More information

Metamodels and Modeling Multiple Kinds of Information Systems

Metamodels and Modeling Multiple Kinds of Information Systems Metamodels and Modeling Multiple Kinds of Information Systems Randall M. Hauch Chief Architect presented at MDA, SOA and Web Services: Delivering the Integrated Enterprise Practice, not Promise MetaMatrix

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

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

System Architecture Virtual Integration: An Industrial Case Study

System Architecture Virtual Integration: An Industrial Case Study System Architecture Virtual Integration: An Industrial Case Study Peter H. Feiler Jorgen Hansson Dionisio de Niz Lutz Wrage November 2009 TECHNICAL REPORT CMU/SEI-2009-TR-017 ESC-TR-2009-017 Research,

More information

Model-Based Software Quality Assurance with the Architecture Analysis and Design Language

Model-Based Software Quality Assurance with the Architecture Analysis and Design Language AIAA Infotech@Aerospace Conference andaiaa Unmanned...Unlimited Conference 6-9 April 2009, Seattle, Washington AIAA 2009-2034 Model-Based Software Quality Assurance with the Architecture Analysis

More information

Model-Driven Data Warehousing

Model-Driven Data Warehousing Model-Driven Data Warehousing Integrate.2003, Burlingame, CA Wednesday, January 29, 16:30-18:00 John Poole Hyperion Solutions Corporation Why Model-Driven Data Warehousing? Problem statement: Data warehousing

More information

Implementing reusable software components for SNOMED CT diagram and expression concept representations

Implementing reusable software components for SNOMED CT diagram and expression concept representations 1028 e-health For Continuity of Care C. Lovis et al. (Eds.) 2014 European Federation for Medical Informatics and IOS Press. This article is published online with Open Access by IOS Press and distributed

More information

Federated, Generic Configuration Management for Engineering Data

Federated, Generic Configuration Management for Engineering Data Federated, Generic Configuration Management for Engineering Data Dr. Rainer Romatka Boeing GPDIS_2013.ppt 1 Presentation Outline I Summary Introduction Configuration Management Overview CM System Requirements

More information

WP36: Composed Service Accounting Architecture Definition

WP36: Composed Service Accounting Architecture Definition WP36: Composed Service Accounting Architecture Definition D36.4: A set of Accounting Building Blocks for Automatically Composed Services Project funded by the European Community under the Information Society

More information

COCOVILA Compiler-Compiler for Visual Languages

COCOVILA Compiler-Compiler for Visual Languages LDTA 2005 Preliminary Version COCOVILA Compiler-Compiler for Visual Languages Pavel Grigorenko, Ando Saabas and Enn Tyugu 1 Institute of Cybernetics, Tallinn University of Technology Akadeemia tee 21 12618

More information

Design of Large-scale Enterprise Interoperable Value Webs

Design of Large-scale Enterprise Interoperable Value Webs EI2N Workshop Design of Large-scale Enterprise Interoperable Value Webs EI2N workshop, Crete 2011 Wout Hofman, TNO Matthijs Punter, TNO Trends and implications Economic perspective: growing importance

More information

A Service-Oriented approach dedicated to Internet based Business Process Networks: Building a MDA based collaborative platform with opensource

A Service-Oriented approach dedicated to Internet based Business Process Networks: Building a MDA based collaborative platform with opensource A Service-Oriented approach dedicated to Internet based Business Process Networks: Building a MDA based collaborative platform with opensource solutions EBM WebSourcing Jean-Pierre LORRE R&D Manager ObjectWeb

More information

Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems

Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems Bruce Lewis US Army Avionics and Missile Systems Command Bruce.A.Lewis@us.army.mil Abstract. Architecture

More information

A Model-based Software Architecture for XML Data and Metadata Integration in Data Warehouse Systems

A Model-based Software Architecture for XML Data and Metadata Integration in Data Warehouse Systems Proceedings of the Postgraduate Annual Research Seminar 2005 68 A Model-based Software Architecture for XML and Metadata Integration in Warehouse Systems Abstract Wan Mohd Haffiz Mohd Nasir, Shamsul Sahibuddin

More information

Rotorcraft Health Management System (RHMS)

Rotorcraft Health Management System (RHMS) AIAC-11 Eleventh Australian International Aerospace Congress Rotorcraft Health Management System (RHMS) Robab Safa-Bakhsh 1, Dmitry Cherkassky 2 1 The Boeing Company, Phantom Works Philadelphia Center

More information

FIPA agent based network distributed control system

FIPA agent based network distributed control system FIPA agent based network distributed control system V.Gyurjyan, D. Abbott, G. Heyes, E. Jastrzembski, C. Timmer, E. Wolin TJNAF, Newport News, VA 23606, USA A control system with the capabilities to combine

More information

AADL et la conception des logiciels

AADL et la conception des logiciels AADL et la conception des logiciels Pierre Dissaux, journée Féria/SVF, 2 décembre 2003 System Lifecycle System Engineering System Integration Hardware Engineering Software Engineering from System Engineering

More information

Introduction to WebSphere Process Server and WebSphere Enterprise Service Bus

Introduction to WebSphere Process Server and WebSphere Enterprise Service Bus Introduction to WebSphere Process Server and WebSphere Enterprise Service Bus Course materials may not be reproduced in whole or in part without the prior written permission of IBM. 4.0.3 Unit objectives

More information

NetBeans Metadata Repository

NetBeans Metadata Repository NetBeans Metadata Repository Martin Matula (martin.matula@sun.com) 3/3/2003 This document gives an overview of the NetBeans Metadata Repository (MDR) and provides basic information regarding related standards.

More information

PL/SQL Programming Workbook

PL/SQL Programming Workbook ORACLG Oracle Press Oracle Database 11 g PL/SQL Programming Workbook TIB/UB Hannover 89 ACKNOWLEDGMENTS INTRODUCTION xvii xix PARTI PL/SQL Fundamentals 1 Oracle Development Overview 3 History and Background

More information

Databases in Organizations

Databases in Organizations The following is an excerpt from a draft chapter of a new enterprise architecture text book that is currently under development entitled Enterprise Architecture: Principles and Practice by Brian Cameron

More information

Applying 4+1 View Architecture with UML 2. White Paper

Applying 4+1 View Architecture with UML 2. White Paper Applying 4+1 View Architecture with UML 2 White Paper Copyright 2007 FCGSS, all rights reserved. www.fcgss.com Introduction Unified Modeling Language (UML) has been available since 1997, and UML 2 was

More information

Model-driven development solutions To support your business objectives. IBM Rational Rhapsody edition comparison matrix

Model-driven development solutions To support your business objectives. IBM Rational Rhapsody edition comparison matrix Model-driven development solutions To support your business objectives IBM Rhapsody edition comparison matrix IBM Rhapsody 7.5 edition: capabilities and comparisons The enclosed table compares the capabilities

More information

Bridging the Generic Modeling Environment (GME) and the Eclipse Modeling Framework (EMF)

Bridging the Generic Modeling Environment (GME) and the Eclipse Modeling Framework (EMF) Bridging the Generic ing Environment () and the Eclipse ing Framework (EMF) Jean Bézivin (), Christian Brunette (2), Régis Chevrel (), Frédéric Jouault (), Ivan Kurtev () () ATLAS Group (INRIA & LINA,

More information

Design of Visual Repository, Constraint and Process Modeling Tool based on Eclipse Plug-ins

Design of Visual Repository, Constraint and Process Modeling Tool based on Eclipse Plug-ins Design of Visual Repository, Constraint and Process Modeling Tool based on Eclipse Plug-ins Rushiraj Heshi Department of Computer Science and Engineering Walchand College of Engineering, Sangli Smriti

More information

Leveraging the Eclipse TPTP* Agent Infrastructure

Leveraging the Eclipse TPTP* Agent Infrastructure 2005 Intel Corporation; made available under the EPL v1.0 March 3, 2005 Eclipse is a trademark of Eclipse Foundation, Inc 1 Leveraging the Eclipse TPTP* Agent Infrastructure Andy Kaylor Intel Corporation

More information

Organization of DSLE part. Overview of DSLE. Model driven software engineering. Engineering. Tooling. Topics:

Organization of DSLE part. Overview of DSLE. Model driven software engineering. Engineering. Tooling. Topics: Organization of DSLE part Domain Specific Language Engineering Tooling Eclipse plus EMF Xtext, Xtend, Xpand, QVTo and ATL Prof.dr. Mark van den Brand GLT 2010/11 Topics: Meta-modeling Model transformations

More information

Development of Tool Extensions with MOFLON

Development of Tool Extensions with MOFLON Development of Tool Extensions with MOFLON Ingo Weisemöller, Felix Klar, and Andy Schürr Fachgebiet Echtzeitsysteme Technische Universität Darmstadt D-64283 Darmstadt, Germany {weisemoeller klar schuerr}@es.tu-darmstadt.de

More information

Definition and Generation of Data Exchange Formats in AUTOSAR

Definition and Generation of Data Exchange Formats in AUTOSAR Definition and Generation of Data Exchange Formats in AUTOSAR Mike Pagel 1 and Mark Brörkens 2 1 BMW AG, Knorrstr. 147, 80788 München, Germany mike.pagel@bmw.de 2 Carmeq GmbH, Carnotstr. 4, 10587 Berlin,

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

Architectural Design

Architectural Design Software Engineering Architectural Design 1 Software architecture The design process for identifying the sub-systems making up a system and the framework for sub-system control and communication is architectural

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

SOFTWARE ENGINEERING PROGRAM

SOFTWARE ENGINEERING PROGRAM SOFTWARE ENGINEERING PROGRAM PROGRAM TITLE DEGREE TITLE Master of Science Program in Software Engineering Master of Science (Software Engineering) M.Sc. (Software Engineering) PROGRAM STRUCTURE Total program

More information

Taking Subversion to a Higher Level. Branching/Merging Support. Component Management Support. And More

Taking Subversion to a Higher Level. Branching/Merging Support. Component Management Support. And More Taking Subversion to a Higher Level Branching/Merging Support Component Management Support And More About Impact CM Impact CM is a Service AddOn that facilitates software configuration management (CM)

More information

SEARCH The National Consortium for Justice Information and Statistics. Model-driven Development of NIEM Information Exchange Package Documentation

SEARCH The National Consortium for Justice Information and Statistics. Model-driven Development of NIEM Information Exchange Package Documentation Technical Brief April 2011 The National Consortium for Justice Information and Statistics Model-driven Development of NIEM Information Exchange Package Documentation By Andrew Owen and Scott Came Since

More information

Technical Data Sheet SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers

Technical Data Sheet SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers 661 Solutions for ARINC 661 Compliant Systems SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers SCADE Solutions for ARINC 661 Compliant

More information

Designing a Semantic Repository

Designing a Semantic Repository Designing a Semantic Repository Integrating architectures for reuse and integration Overview Cory Casanave Cory-c (at) modeldriven.org ModelDriven.org May 2007 The Semantic Metadata infrastructure will

More information

Specification and Description Language (SDL)

Specification and Description Language (SDL) Definition Specification and Description Language (SDL) Specification and description language (SDL) is an object-oriented, formal language defined by The International Telecommunications Union Telecommunications

More information

A Monitored Student Testing Application Using Cloud Computing

A Monitored Student Testing Application Using Cloud Computing A Monitored Student Testing Application Using Cloud Computing R. Mullapudi and G. Hsieh Department of Computer Science, Norfolk State University, Norfolk, Virginia, USA r.mullapudi@spartans.nsu.edu, ghsieh@nsu.edu

More information

State of the art Software Modeling. Tony Elliston. SIGADA 2004 Atlanta

State of the art Software Modeling. Tony Elliston. SIGADA 2004 Atlanta State of the art Software Modeling Tony Elliston SIGADA 2004 Atlanta TNI Europe Limited Market our own software modelling tools: CP-Hood and Stood. Distributor for TNI Software range of products. TNI Europe

More information

Aerospace Software Engineering

Aerospace Software Engineering 16.35 Aerospace Software Engineering Software Architecture The 4+1 view Patterns Prof. Kristina Lundqvist Dept. of Aero/Astro, MIT Why Care About Software Architecture? An architecture provides a vehicle

More information

METHOD & TOOLS TO SECURE AND SUPPORT COLLABORATIVE ARCHITECTING OF CONSTRAINED SYSTEMS

METHOD & TOOLS TO SECURE AND SUPPORT COLLABORATIVE ARCHITECTING OF CONSTRAINED SYSTEMS METHOD & TOOLS TO SECURE AND SUPPORT COLLABORATIVE ARCHITECTING OF CONSTRAINED Jean-Luc Voirin Thales Aerospace Keywords: architecture modelling method early validation Abstract ARCADIA is a system & software

More information

Simulation Data Management with Interoperability across domains

Simulation Data Management with Interoperability across domains Simulation Data Management with Interoperability across domains Matthias Grau PROSTEP PROSTEP AG Dolivostraße 11 64293 Darmstadt www.prostep.com PROSTEP AG 2007 Introduction CAE today is used increasingly

More information

Rapid Prototyping for Service- Oriented Architectures

Rapid Prototyping for Service- Oriented Architectures Rapid Prototyping for Service- Oriented Architectures 2nd Workshop on Web Services Interoperability (WSI 2006) Julien Vayssière 1, Gorka Benguria 2, Brian Elvesæter 3, Klaus Fischer 4, Ingo Zinnikus 4

More information

Java Metadata Interface and Data Warehousing

Java Metadata Interface and Data Warehousing Java Metadata Interface and Data Warehousing A JMI white paper by John D. Poole November 2002 Abstract. This paper describes a model-driven approach to data warehouse administration by presenting a detailed

More information

REAL-TIME STREAMING ANALYTICS DATA IN, ACTION OUT

REAL-TIME STREAMING ANALYTICS DATA IN, ACTION OUT REAL-TIME STREAMING ANALYTICS DATA IN, ACTION OUT SPOT THE ODD ONE BEFORE IT IS OUT flexaware.net Streaming analytics: from data to action Do you need actionable insights from various data streams fast?

More information

Tool Support for Model Checking of Web application designs *

Tool Support for Model Checking of Web application designs * Tool Support for Model Checking of Web application designs * Marco Brambilla 1, Jordi Cabot 2 and Nathalie Moreno 3 1 Dipartimento di Elettronica e Informazione, Politecnico di Milano Piazza L. Da Vinci,

More information

Dynamix: An Open Plug-and-Play Context Framework for Android

Dynamix: An Open Plug-and-Play Context Framework for Android Dynamix: An Open Plug-and-Play Context Framework for Android Darren Carlson and Andreas Schrader Ambient Computing Group / Institute of Telematics University of Lübeck, Germany www.ambient.uni-luebeck.de

More information

<Insert Picture Here> Oracle SQL Developer 3.0: Overview and New Features

<Insert Picture Here> Oracle SQL Developer 3.0: Overview and New Features 1 Oracle SQL Developer 3.0: Overview and New Features Sue Harper Senior Principal Product Manager The following is intended to outline our general product direction. It is intended

More information

OpenEmbeDD basic demo

OpenEmbeDD basic demo OpenEmbeDD basic demo A demonstration of the OpenEmbeDD platform metamodeling chain tool. Fabien Fillion fabien.fillion@irisa.fr Vincent Mahe vincent.mahe@irisa.fr Copyright 2007 OpenEmbeDD project (openembedd.org)

More information

Architecture Description Languages

Architecture Description Languages Architecture Description Languages Stefan Björnander The Department of Computer Science and Electronics Mälardalen University Abstract An Architecture Description Language (ADL) is a language designed

More information

What is a database? COSC 304 Introduction to Database Systems. Database Introduction. Example Problem. Databases in the Real-World

What is a database? COSC 304 Introduction to Database Systems. Database Introduction. Example Problem. Databases in the Real-World COSC 304 Introduction to Systems Introduction Dr. Ramon Lawrence University of British Columbia Okanagan ramon.lawrence@ubc.ca What is a database? A database is a collection of logically related data for

More information

A Business Process Services Portal

A Business Process Services Portal A Business Process Services Portal IBM Research Report RZ 3782 Cédric Favre 1, Zohar Feldman 3, Beat Gfeller 1, Thomas Gschwind 1, Jana Koehler 1, Jochen M. Küster 1, Oleksandr Maistrenko 1, Alexandru

More information

PROTOTYPE IMPLEMENTATION OF A DEMAND DRIVEN NETWORK MONITORING ARCHITECTURE

PROTOTYPE IMPLEMENTATION OF A DEMAND DRIVEN NETWORK MONITORING ARCHITECTURE PROTOTYPE IMPLEMENTATION OF A DEMAND DRIVEN NETWORK MONITORING ARCHITECTURE Augusto Ciuffoletti, Yari Marchetti INFN-CNAF (Italy) Antonis Papadogiannakis, Michalis Polychronakis FORTH (Greece) Summary

More information

Model Driven Development of Inventory Tracking System*

Model Driven Development of Inventory Tracking System* Model Driven Development of Inventory Tracking System* Gan Deng, Tao Lu, Emre Turkay Andrey Nechypurenko Aniruddha Gokhale, Douglas Schmidt ISIS, Vanderbilt University Siemens Nashville, TN 37221 Germany

More information

Understanding Designer

Understanding Designer www.novell.com/documentation Understanding Designer Designer for Identity Manager 4.0.2 October 2013 Legal Notices Novell, Inc. makes no representations or warranties with respect to the contents or use

More information

Which Enterprise Architect Edition Should I Purchase?

Which Enterprise Architect Edition Should I Purchase? Which Enterprise Architect Edition Should I Purchase? Enterprise Architect is available in six editions -,, and Software, Corporate, Professional and Desktop. Functionality for each edition is as follows:.eap

More information

Community Systems Management Open Source COSMOS Creation Review

Community Systems Management Open Source COSMOS Creation Review IBM Tivoli Software Community Systems Management Open Source COSMOS Creation Review Put together by the COSMOS community http://wiki.eclipse.org/index.php/cosmos Eclipse Foundation, Inc. Copyright 2006

More information

Oracle SOA Suite 11g Meets Oracle Business Process Management 11g Oracle SOA Suite 11g Meets Oracle Business Process Management 11g

Oracle SOA Suite 11g Meets Oracle Business Process Management 11g Oracle SOA Suite 11g Meets Oracle Business Process Management 11g Oracle SOA Suite 11g Meets Oracle Business Process Management 11g Lucas Jellema Solution Architect, AMIS Oracle ACE Director and author Overview Introduction of focus on Business Processes History of Oracle

More information

A SoC design flow based on UML 2.0 and SystemC

A SoC design flow based on UML 2.0 and SystemC A SoC design flow based on UML 2.0 and SystemC Sara Bocchio 1, Elvinia Riccobene 2, Alberto Rosti 1, and Patrizia Scandurra 3 1 STMicroelectronics, AST Agrate Lab R&I, Italy {sara.bocchio, alberto.rosti}@st.com

More information

1 Copyright 2011, Oracle and/or its affiliates. All rights reserved.

1 Copyright 2011, Oracle and/or its affiliates. All rights reserved. 1 Copyright 2011, Oracle and/or its affiliates. All rights ORACLE PRODUCT LOGO Session ID: 17202 Oracle Fusion Applications - Technology Essentials Overview Nadia Bendjedou Senior Director Product Strategy,

More information

Multimedia Applications. Mono-media Document Example: Hypertext. Multimedia Documents

Multimedia Applications. Mono-media Document Example: Hypertext. Multimedia Documents Multimedia Applications Chapter 2: Basics Chapter 3: Multimedia Systems Communication Aspects and Services Chapter 4: Multimedia Systems Storage Aspects Chapter 5: Multimedia Usage and Applications Documents

More information

C#5.0 IN A NUTSHELL. Joseph O'REILLY. Albahari and Ben Albahari. Fifth Edition. Tokyo. Sebastopol. Beijing. Cambridge. Koln.

C#5.0 IN A NUTSHELL. Joseph O'REILLY. Albahari and Ben Albahari. Fifth Edition. Tokyo. Sebastopol. Beijing. Cambridge. Koln. Koln C#5.0 IN A NUTSHELL Fifth Edition Joseph Albahari and Ben Albahari O'REILLY Beijing Cambridge Farnham Sebastopol Tokyo Table of Contents Preface xi 1. Introducing C# and the.net Framework 1 Object

More information

Software Development Kit

Software Development Kit Open EMS Suite by Nokia Software Development Kit Functional Overview Version 1.3 Nokia Siemens Networks 1 (21) Software Development Kit The information in this document is subject to change without notice

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

Using and Extending the Test and Performance Tools Platform (TPTP)

Using and Extending the Test and Performance Tools Platform (TPTP) Tutorial #2 Using and Extending the Test and Performance Tools Platform (TPTP) Eugene Chan IBM Rational Software Paul Slauenwhite IBM Rational Software 2005 IBM Corp; made available under the EPL v1.0

More information

Database System Architecture & System Catalog Instructor: Mourad Benchikh Text Books: Elmasri & Navathe Chap. 17 Silberschatz & Korth Chap.

Database System Architecture & System Catalog Instructor: Mourad Benchikh Text Books: Elmasri & Navathe Chap. 17 Silberschatz & Korth Chap. Database System Architecture & System Catalog Instructor: Mourad Benchikh Text Books: Elmasri & Navathe Chap. 17 Silberschatz & Korth Chap. 1 Oracle9i Documentation First-Semester 1427-1428 Definitions

More information

Introduction à EMF Eclipse Modeling Framework

Introduction à EMF Eclipse Modeling Framework Ingénierie Dirigée par les Modèles Introduction à Eclipse Modeling Framework Pierre Laforcade Master EIAH 2007 Sources du cours Tutoriaux et cours d' disponibles sur http://www.eclipse.org/modeling/emf/

More information

Modellrepository @ T-Mobile Umsetzung und Einsatz

Modellrepository @ T-Mobile Umsetzung und Einsatz 1 Modellrepository @ T-Mobile Umsetzung und Einsatz ix CeBIT Forum 2009 Carsten Sensler, T-Mobile Deutschland GmbH 3/9/09 1 Table of Contents!! SOA Backplane overview!! Model repository @ T-Mobile!! Domain

More information

Android. Lecture 1. Learning Android Marko Gargenta. Tuesday, February 26, 13

Android. Lecture 1. Learning Android Marko Gargenta. Tuesday, February 26, 13 Android Lecture 1 Learning Android Marko Gargenta Final Project Jan/Feb: ARM March: Android Apr: Final project Complexity Sense the world Analysis Service delivery Hands-on A fun project built-up through

More information

Chapter 1: Introduction

Chapter 1: Introduction Chapter 1: Introduction Database System Concepts, 5th Ed. See www.db book.com for conditions on re use Chapter 1: Introduction Purpose of Database Systems View of Data Database Languages Relational Databases

More information

SERVICE ORIENTED AND MODEL-DRIVEN DEVELOPMENT METHODS OF INFORMATION SYSTEMS

SERVICE ORIENTED AND MODEL-DRIVEN DEVELOPMENT METHODS OF INFORMATION SYSTEMS 7th International DAAAM Baltic Conference INDUSTRIAL ENGINEERING 22-24 April 2010, Tallinn, Estonia SERVICE ORIENTED AND MODEL-DRIVEN DEVELOPMENT METHODS OF INFORMATION SYSTEMS Lemmik, R.; Karjust, K.;

More information

08 BPMN/1. Software Technology 2. MSc in Communication Sciences 2009-10 Program in Technologies for Human Communication Davide Eynard

08 BPMN/1. Software Technology 2. MSc in Communication Sciences 2009-10 Program in Technologies for Human Communication Davide Eynard MSc in Communication Sciences 2009-10 Program in Technologies for Human Communication Davide Eynard Software Technology 2 08 BPMN/1 2 ntro Sequence of (three?) lessons on BPMN and technologies related

More information

Large-Scale DS(M)L Deployment in Thales

Large-Scale DS(M)L Deployment in Thales www.thalesgroup.com Large-Scale DS(M)L Deployment in Thales ITSLE Workshop Sept. 15 th, 2014 Stéphane Bonnet, Daniel Exertier, Benoît Langlois 2 / Toronto, July 2013 Singapore, Feb. 2014 Melbourne, June

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

ProGUM-Web: Tool Support for Model-Based Development of Web Applications

ProGUM-Web: Tool Support for Model-Based Development of Web Applications ProGUM-Web: Tool Support for Model-Based Development of Web Applications Marc Lohmann 1, Stefan Sauer 1, and Tim Schattkowsky 2 1 University of Paderborn, Computer Science, D 33095 Paderborn, Germany {mlohmann,sauer}@upb.de

More information

UIMA and WebContent: Complementary Frameworks for Building Semantic Web Applications

UIMA and WebContent: Complementary Frameworks for Building Semantic Web Applications UIMA and WebContent: Complementary Frameworks for Building Semantic Web Applications Gaël de Chalendar CEA LIST F-92265 Fontenay aux Roses Gael.de-Chalendar@cea.fr 1 Introduction The main data sources

More information

Software Verification for Space Applications Part 2. Autonomous Systems. G. Brat USRA/RIACS

Software Verification for Space Applications Part 2. Autonomous Systems. G. Brat USRA/RIACS Software Verification for Space Applications Part 2. Autonomous Systems G. Brat USRA/RIACS Main Objectives Implement a sustained and affordable human and robotic program to explore the solar system and

More information

R&D and Topcased (led by Silvia Mazzini)

R&D and Topcased (led by Silvia Mazzini) R&D and Topcased (led by Silvia Mazzini) 1 System and software engineering Study and experimentation of system and software engineering innovative techniques One of the Intecs main capacities acquired

More information

Introduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu

Introduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu Introduction to MATLAB Gergely Somlay Application Engineer gergely.somlay@gamax.hu 2012 The MathWorks, Inc. 1 What is MATLAB? High-level language Interactive development environment Used for: Numerical

More information

Concepts of Database Management Seventh Edition. Chapter 9 Database Management Approaches

Concepts of Database Management Seventh Edition. Chapter 9 Database Management Approaches Concepts of Database Management Seventh Edition Chapter 9 Database Management Approaches Objectives Describe distributed database management systems (DDBMSs) Discuss client/server systems Examine the ways

More information

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

Software Engineering. System Models. Based on Software Engineering, 7 th Edition by Ian Sommerville Software Engineering System Models Based on Software Engineering, 7 th Edition by Ian Sommerville Objectives To explain why the context of a system should be modeled as part of the RE process To describe

More information

Beremiz The Free and Open Source IEC 61131 3 Automation IDE

Beremiz The Free and Open Source IEC 61131 3 Automation IDE 1 Beremiz The Free and Open Source IEC 61131 3 Automation IDE 2 Open Source for Open Standards Despite of open standards such as IEC 61131, PLCOpen and CanOpen, control engineers cannot easily transfer

More information

Representing XML Schema in UML A Comparison of Approaches

Representing XML Schema in UML A Comparison of Approaches Representing XML Schema in UML A Comparison of Approaches Martin Bernauer, Gerti Kappel, Gerhard Kramler Business Informatics Group, Vienna University of Technology, Austria {lastname}@big.tuwien.ac.at

More information

Applying MDA in Developing Intermediary Service for Data Retrieval

Applying MDA in Developing Intermediary Service for Data Retrieval Applying MDA in Developing Intermediary Service for Data Retrieval Danijela Boberić Krstićev University of Novi Sad Faculty of Sciences Trg Dositeja Obradovića 4, Novi Sad Serbia +381214852873 dboberic@uns.ac.rs

More information

MD Link Integration. 2013 2015 MDI Solutions Limited

MD Link Integration. 2013 2015 MDI Solutions Limited MD Link Integration 2013 2015 MDI Solutions Limited Table of Contents THE MD LINK INTEGRATION STRATEGY...3 JAVA TECHNOLOGY FOR PORTABILITY, COMPATIBILITY AND SECURITY...3 LEVERAGE XML TECHNOLOGY FOR INDUSTRY

More information

Model-Based Development of Safety-Critical Systems

Model-Based Development of Safety-Critical Systems Model-Based Development of Safety-Critical Systems Matthias Regensburger (regensbu@in.tum.de) Christian Buckl (buckl@in.tum.de) 08.05.2007 1 Overview Motivation Approach: Template Based Development Models

More information

Source Code Translation

Source Code Translation Source Code Translation Everyone who writes computer software eventually faces the requirement of converting a large code base from one programming language to another. That requirement is sometimes driven

More information

Distributed systems. Distributed Systems Architectures

Distributed systems. Distributed Systems Architectures Distributed systems Distributed Systems Architectures Virtually all large computer-based systems are now distributed systems. Information processing is distributed over several computers rather than confined

More information

Java Web Services Training

Java Web Services Training Java Web Services Training Duration: 5 days Class Overview A comprehensive look at the state of the art in developing interoperable web services on the Java EE 6 platform. Students learn the key standards

More information

Model Driven Architecture A New Paradigm in Software Development

Model Driven Architecture A New Paradigm in Software Development A New Paradigm in Software Development Hermod Opstvedt Chief Architect DnB NOR ITU, Norway Hermod Opstvedt : A New Paradigm in Software Development Page 1 (MDA) is a specification by the Object Management

More information

GlassFish Security. open source community experience distilled. security measures. Secure your GlassFish installation, Web applications,

GlassFish Security. open source community experience distilled. security measures. Secure your GlassFish installation, Web applications, GlassFish Security Secure your GlassFish installation, Web applications, EJB applications, application client module, and Web Services using Java EE and GlassFish security measures Masoud Kalali PUBLISHING

More information

7. Classification. Business value. Structuring (repetition) Automation. Classification (after Leymann/Roller) Automation.

7. Classification. Business value. Structuring (repetition) Automation. Classification (after Leymann/Roller) Automation. 7. Classification Business Process Modelling and Workflow Management Business value Lecture 4 (Terminology cntd.) Ekkart Kindler kindler@upb.de Structuring (repetition) Automation UPB SS 2006 L04 2 Classification

More information

Revel8or: Model Driven Capacity Planning Tool Suite

Revel8or: Model Driven Capacity Planning Tool Suite Revel8or: Model Driven Capacity Planning Tool Suite Liming Zhu 1,2, Yan Liu 1,2, Ngoc Bao Bui 1,2,Ian Gorton 3 1 Empirical Software Engineering Program, National ICT Australia Ltd. 2 School of Computer

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

Business Process Management with @enterprise

Business Process Management with @enterprise Business Process Management with @enterprise March 2014 Groiss Informatics GmbH 1 Introduction Process orientation enables modern organizations to focus on the valueadding core processes and increase

More information