SW: from Craftsmanship to Industry. The role of code generation in the industrialisation of software development

Size: px
Start display at page:

Download "SW: from Craftsmanship to Industry. The role of code generation in the industrialisation of software development"

Transcription

1 SW: from Craftsmanship to Industry The role of code generation in the industrialisation of software development

2 The Market Situation Complexity grows Shorter TTM 15% - 25% of all software defects are delivered to customers. Approximately 40-50% of the effort is spent on avoidable work. Labor-intensive, requiring highly educated engineers. SASG - Oct

3 The V-model: Current practice We live in uncertainty Plan Unexpected delay We do things wrong Detail level We re way slower Lead time We need more detail We don t get expected quality SASG - Oct

4 Software Productivity Killers Poor design: Software specifications and designs are not verified before implementation Incomplete, incorrect and ambiguous specifications and designs are only discovered during the test phases High Complexity: Software designs are increasingly asynchronous, concurrent, reactive and event driven Complexity, Deadlocks, Races, Non-determinism, Multi-core CPUs Software architects can t oversee implications of design choices Poor Quality: Testing is an exercise in sampling Sample is small, population is very large A linear increase in the probability of finding a defect requires an exponential increase in the number of test cases Testing is the most expensive, least certain way to detect and remove defects and has the biggest impact on T2M SASG - Oct

5 Software Engineering Challenge Product specification Highly variable, human language based dialects Design Gap Level of Automation Program code (C)OTS compilers, interpreters Limited variable, general applicable artificial dialects Machine code Limited variable, processor-family dependent dialects SASG - Oct

6 Reduce the Design Gap Product specification Design Gap Product code Specific artificial dialect Specific compilers, interpreters Level of Automation Program code Machine code SASG - Oct

7 This is Mechanical Engineering Automate Engineer Automate or Outsource Lead time Detail level SASG - Oct

8 This is Software Engineering Evidence Lead time Detail level SASG - Oct

9 sd move(postion) absposition = function(position) 1 1: Logical.Internal.UCrealizations.supporting.unlock ogca te a UC ea at o s suppo t g oc sg:ssfservogroup In case of a symbolic setpoint Software Engineering Should Be Evidence Rigorous Specification & Design: Model Driven Design using mathematics (formal verification) where possible Automated Construction Engineer Automated Construction Detail level Lead time SASG - Oct

10 Model Streams DSL s, optimized for product development Increasing level of detail System (Software) Construction Code Code HW, SW Code Code HW, SW SASG - Oct

11 Model Streams DSL s, optimized for product development Formal, executable languages Increasing level of detail System (Software) Construction Support of decisions Code Code HW, SW Code Code HW, SW SASG - Oct

12 DSL Abstraction Levels Essential level: Specific DSL s -Problem related -Engineering efficiency -Relate to problem domain L-system ADL D-system Intermediate level: Generic DSL s -Solution specific -Early integration -Relate to formalisms L-target ADL D-target AVV system Real system Realization level: ADL GPL s L-code D-code SASG - Oct

13 Generator Architecture: Overview Essential model Generator model Complete model Refine Verify Model to Model other models Target model Code Code Code Code Code Code Code Code Code Beautify Facility inputs Facility inputs Facility inputs SASG - Oct

14 Model to Model mapping mapping SASG - Oct

15 Model to Model: QVTO transformation SASG - Oct

16 Generator Architecture: Overview Essential model Generator model Complete model Refine Verify other models Target model Model to Code Code Code Code Code Code Code Code Code Code Beautify Facility inputs Facility inputs Facility inputs SASG - Oct

17 Model to Code SASG - Oct

18 Current Software Environment Products X Y Z Technologies A B C D E SASG - Oct

19 Decoupling from Technology Product Development Environment DSL Decoupling layer (Software) Technology Solutions SASG - Oct

20 Industrialization: Factories! Primary Process Secondary Process Focus on building products in the factory Focus on building and maintaining the factory SASG - Oct

21 Software Factory! X Products Y Z Decoupling Layer Technologies A B C D E SASG - Oct

22 Vragen? SASG - Oct

23 BACKUP SASG - Oct

24 Mechanical Engineering Processable models Formal models Generate Consistency! Engineer Generate Detail level Lead time SASG - Oct

25 e self move(postion) absposition = function(position) Logical.Internal.UCrealizations.supporting.lock sg:ssfservogroup In case of a symbolic setpoint Engineering with models: Software MDE Processable models Formal models Generate Consistency? Engineer Generate Lead time Detail level SASG - Oct

26 Analysis Models Design context Construction model Realization hints Analysis context Analysis model contribution Other Andere contributions bijdragen Aspect Analysis model Realization context Realization model Realization contribution (code/hw) predicts aspect of Other contributions Andere (code/hw) bijdragen Realization (systeem) SASG - Oct

27 Embedding Proven Suites Construction model Analysis model development aspect Proven (generic) development suite Construction model Analysis model Other Andere contributions bijdragen predicts aspect of! Aspect Analysis model other aspects Realization contribution (code/hw) Realization contribution (code/hw) predicts aspect of? SASG - Oct

28 sd ove ref absposition = function(position) lf move(postion) 1.1 * Logical.Internal.UCrealizations.supporting.unlock sg:ssfservogroup In case of a symbolic setpoint MDE approaches Evidence Contribution (Intermediate.Lang.) Runtime + configuration Consistency? Consistency! data? Property Preserving Code Generation? Construction SASG - Oct

29 Tuinhuis (1) Garden shed Blokhut model: b x l x h = 4m x 4,5m x 2,5m. Houten frame 9cm op betonnen plaat 10cm. Dubbele deur aan voorkant: 1,40m Flat roof model: w x l x h = 4m x 4,5m x 2,5m. Wooden frame 9cm on concrete slab foundation Double door in front: 1,40m SASG - Oct

30 Tuinhuis (2) SASG - Oct

31 Domain Specific Modeling Awareness of Concepts in the target domain Meta-models define these concepts Domain Specific Language SASG - Oct

32 Example: 3D Drawing SASG - Oct

33 Example: 3D Drawing SASG - Oct

34 Example: 3D Drawing SASG - Oct

35 Example: 3D Drawing SASG - Oct

Lecture 03 (04.11.2013) Quality of the Software Development Process

Lecture 03 (04.11.2013) Quality of the Software Development Process Systeme hoher Qualität und Sicherheit Universität Bremen, WS 2013/14 Lecture 03 (04.11.2013) Quality of the Software Development Process Christoph Lüth Christian Liguda Your Daily Menu Models of Software

More information

Industrial case study: Zero defect secure software for the National Security Agency

Industrial case study: Zero defect secure software for the National Security Agency p Industrial case study: Zero defect secure software for the National Security Agency Martin Croxford CEng MBCS Praxis High Integrity Systems Bath, UK Copyright Praxis High Integrity Systems Limited 2006

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

The Software Development Process

The Software Development Process Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Lecture 03 (26.10.2015) The Software Development Process Christoph Lüth Jan Peleska Dieter Hutter Your Daily Menu Models of software

More information

Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification

Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification Introduction Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification Advanced Topics in Software Engineering 1 Concurrent Programs Characterized by

More information

Software Engineering. Objectives. Designing, building and maintaining large software systems

Software Engineering. Objectives. Designing, building and maintaining large software systems Software Engineering Objectives Designing, building and maintaining large software systems To define software engineering and explain its importance To discuss the concepts of software products and software

More information

Trends in Embedded Software Development in Europe. Dr. Dirk Muthig dirk.muthig@iese.fraunhofer.de

Trends in Embedded Software Development in Europe. Dr. Dirk Muthig dirk.muthig@iese.fraunhofer.de Trends in Embedded Software Development in Europe Dr. Dirk Muthig dirk.muthig@iese.fraunhofer.de Problems A software project exceeds the budget by 90% and the project time by 120% in average Project Management

More information

Propagation of Incremental Changes to Performance Model due to SOA Design Pattern Application

Propagation of Incremental Changes to Performance Model due to SOA Design Pattern Application Propagation of Incremental Changes to Performance Model due to SOA Design Pattern Application Nariman Mani, Dorina C. Petriu, Murray Woodside Carleton University Department of Systems and Computer Engineering

More information

Lecture 03 (26.10.2015) The Software Development Process. Software Development Models. Where are we? Your Daily Menu.

Lecture 03 (26.10.2015) The Software Development Process. Software Development Models. Where are we? Your Daily Menu. Your Daily Menu Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Lecture 03 (26.10.2015) The Software Development Process Christoph Lüth Jan Peleska Dieter Hutter Models of software

More information

(Refer Slide Time: 01:52)

(Refer Slide Time: 01:52) Software Engineering Prof. N. L. Sarda Computer Science & Engineering Indian Institute of Technology, Bombay Lecture - 2 Introduction to Software Engineering Challenges, Process Models etc (Part 2) This

More information

The V-Model. Prepared for. Prepared by. Christian Bucanac c.bucanac@computer.org Software Engineering Student, University Of Karlskrona/Ronneby

The V-Model. Prepared for. Prepared by. Christian Bucanac c.bucanac@computer.org Software Engineering Student, University Of Karlskrona/Ronneby Course: Quality Management, DPT404 Teacher: Conny Johansson Department: IDE, University Of Karlskrona/Ronneby The V-Model Prepared for Conny Johansson Conny.Johansson@ide.hk-r.se IDE, University Of Karlskrona/Ronneby

More information

Hardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09

Hardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09 Testen von Embedded Systems Hardware in the Loop (HIL) Testing VU 2.0, 182.117, WS 2008/09 Raimund dkirner Testing Embedded Software Testing the whole system including the physical environment is not possible

More information

High-Level Guide for Managers. The Information Framework

High-Level Guide for Managers. The Information Framework High-Level Guide for Managers The Information Framework March 2010 1. Executive Summary The Information Framework is one of the major components that make up TM Forum Frameworx, an Integrated Business

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

SOFTWARE ENGINEERING AT MOTOROLA SOLUTIONS. Jeff Yakey

SOFTWARE ENGINEERING AT MOTOROLA SOLUTIONS. Jeff Yakey SOFTWARE ENGINEERING AT MOTOROLA SOLUTIONS Jeff Yakey Educational background 1993 Graduated from Belvidere High School 1997 B.A. from Wartburg College, Waverly IA Double major in Computer Science and Mathematics

More information

Software Engineering Reference Framework

Software Engineering Reference Framework Software Engineering Reference Framework Michel Chaudron, Jan Friso Groote, Kees van Hee, Kees Hemerik, Lou Somers, Tom Verhoeff. Department of Mathematics and Computer Science Eindhoven University of

More information

Minimizing code defects to improve software quality and lower development costs.

Minimizing code defects to improve software quality and lower development costs. Development solutions White paper October 2008 Minimizing code defects to improve software quality and lower development costs. IBM Rational Software Analyzer and IBM Rational PurifyPlus software Kari

More information

IBM InfoSphere Information Server Ready to Launch for SAP Applications

IBM InfoSphere Information Server Ready to Launch for SAP Applications IBM Information Server Ready to Launch for SAP Applications Drive greater business value and help reduce risk for SAP consolidations Highlights Provides a complete solution that couples data migration

More information

Dependability Benchmarking: The SIG Class/Factor/Criteria Framework

Dependability Benchmarking: The SIG Class/Factor/Criteria Framework Workshop on Dependability Benchmarking Dependability Benchmarking: The SIG Class/Factor/Criteria Framework Jean Arlat 39th Meeting of IFIP WG 10.4 - Feb. 28-March 3, 2001 Paraty, RJ, Brazil Proposal Contributed

More information

MDE Adoption in Industry: Challenges and Success Criteria

MDE Adoption in Industry: Challenges and Success Criteria MDE Adoption in Industry: Challenges and Success Criteria Parastoo Mohagheghi 1, Miguel A. Fernandez 2, Juan A. Martell 2, Mathias Fritzsche 3 and Wasif Gilani 3 1 SINTEF, P.O.Box 124-Blindern, N-0314

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

ATV Data Link Simulator: A Development based on a CCSDS Layers Framework

ATV Data Link Simulator: A Development based on a CCSDS Layers Framework SpaceOps 2010 ConferenceDelivering on the DreamHosted by NASA Mars 25-30 April 2010, Huntsville, Alabama AIAA 2010-2089 ATV Data Link Simulator: A Development based on a CCSDS

More information

Operations Management and the Integrated Manufacturing Facility

Operations Management and the Integrated Manufacturing Facility March 2010 Page 1 and the Integrated Manufacturing Facility This white paper provides a summary of the business value for investing in software systems to automate manufacturing operations within the scope

More information

Functional Validation of SAP Implementation

Functional Validation of SAP Implementation Functional Validation of SAP Implementation Efficiently produce and maintain a SAP test repository thru modeling of business processes and business rules Geoffrey Potoczny/Smartesting Professional Services

More information

Certification Authorities Software Team (CAST) Position Paper CAST-13

Certification Authorities Software Team (CAST) Position Paper CAST-13 Certification Authorities Software Team (CAST) Position Paper CAST-13 Automatic Code Generation Tools Development Assurance Completed June 2002 NOTE: This position paper has been coordinated among the

More information

Multi-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars

Multi-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars Multi-domain Model-driven Development Developing Electrical Propulsion System at Volvo Cars Jonn Lantz Technical Specialist, Electric Propulsion Systems @ Volvo Car Group Jonn.Lantz@volvocars.com 1 Partners

More information

Der Mythos vom Re-Use

Der Mythos vom Re-Use Der Mythos vom Re-Use Was ist dran an der Wiederverwendung? Uwe Friedrichsen, codecentric GmbH SET 2009, Zürich, 5. Mai 2009 Uwe Friedrichsen Architect Consultant Project Manager Coach Software Architecture

More information

Lowering business costs: Mitigating risk in the software delivery lifecycle

Lowering business costs: Mitigating risk in the software delivery lifecycle August 2009 Lowering business costs: Mitigating risk in the software delivery Roberto Argento IBM Rational Business Development Executive Valerie Hamilton IBM Rational Solution Marketing Manager and Certified

More information

Development of AUTOSAR Software Components within Model-Based Design

Development of AUTOSAR Software Components within Model-Based Design 2008-01-0383 Development of AUTOSAR Software Components within Model-Based Design Copyright 2008 The MathWorks, Inc. Guido Sandmann Automotive Marketing Manager, EMEA The MathWorks Richard Thompson Senior

More information

Software Engineering. Software Engineering. Software Costs

Software Engineering. Software Engineering. Software Costs Software Engineering Software Engineering is the science and art of building significant software systems that are: 1) on time 2) on budget 3) with acceptable performance 4) with correct operation. Ian

More information

HP DevOps by Design. Your Readiness for Continuous Innovation Rony Van Hove/ April 2 nd, 2015. HP Software: Apps meet Ops 2015

HP DevOps by Design. Your Readiness for Continuous Innovation Rony Van Hove/ April 2 nd, 2015. HP Software: Apps meet Ops 2015 HP Software: Apps meet Ops 2015 HP DevOps by Design Your Readiness for Continuous Innovation Rony Van Hove/ April 2 nd, 2015 HP Software: Apps meet Ops 2015 Build it, test it, and fix the things that go

More information

ALGEBRA I (Common Core)

ALGEBRA I (Common Core) The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION ALGEBRA I (Common Core) Wednesday, August 12, 2015 8:30 to 11:30 a.m. MODEL RESPONSE SET Table of Contents Question 25...................

More information

Requirements-Based Testing Process in Practice (Originally presented as Getting it right the first time )

Requirements-Based Testing Process in Practice (Originally presented as Getting it right the first time ) International Journal of Industrial Engineering and Management (), Vol.1 No 4, 2010, pp. 155-161 Available online at www.ftn.uns.ac.rs/ijiem ISSN 2217-2661 Requirements-Based Testing Process in Practice

More information

OMG SOA Workshop - Burlingame Oct 16-19, 2006 Integrating BPM and SOA Using MDA A Case Study

OMG SOA Workshop - Burlingame Oct 16-19, 2006 Integrating BPM and SOA Using MDA A Case Study OMG SOA Workshop - Burlingame Oct 16-19, 2006 Integrating BPM and SOA Using MDA A Case Study Michael Guttman CTO, The Voyant Group mguttman@thevoyantgroup.com Overview of Voyant H.Q. West Chester, PA Business

More information

News and trends in Data Warehouse Automation, Big Data and BI. Johan Hendrickx & Dirk Vermeiren

News and trends in Data Warehouse Automation, Big Data and BI. Johan Hendrickx & Dirk Vermeiren News and trends in Data Warehouse Automation, Big Data and BI Johan Hendrickx & Dirk Vermeiren Extreme Agility from Source to Analysis DWH Appliances & DWH Automation Typical Architecture 3 What Business

More information

Aplicando enfoque MDE a aplicaciones WEB-SOA

Aplicando enfoque MDE a aplicaciones WEB-SOA Aplicando enfoque MDE a aplicaciones WEB-SOA María Consuelo Franky lfranky@javeriana.edu.co Dpto. Ingeniería de Sistemas Universidad Javeriana Bogotá - 2010 http://sophia.javeriana.edu.co/~lfranky/ 1 Temario

More information

Scrum and Testing The end of the test role Bryan Bakker 20 maart 2012

Scrum and Testing The end of the test role Bryan Bakker 20 maart 2012 Scrum and Testing The end of the test role Bryan Bakker 20 maart 2012 voordracht georganiseerd door Discussiegroep Software Testing met de steun van Ingenieurshuis, Antwerpen Scrum and Testing... The end

More information

Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors

Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors Klaus Wissing PolySpace Technologies GmbH Argelsrieder Feld 22 82234 Wessling-Oberpfaffenhofen

More information

Testing Big data is one of the biggest

Testing Big data is one of the biggest Infosys Labs Briefings VOL 11 NO 1 2013 Big Data: Testing Approach to Overcome Quality Challenges By Mahesh Gudipati, Shanthi Rao, Naju D. Mohan and Naveen Kumar Gajja Validate data quality by employing

More information

Automotive System and Software Architecture

Automotive System and Software Architecture Automotive System and Software Architecture Yanja Dajsuren 2IW80 Software specification and architecture March 25, 2014 Which one has more software? Chevrolet Volt, an example modern day car Boeing 787,

More information

Data Driven Resource Management

Data Driven Resource Management Data Driven Resource Management Maturity levels, capacity management, and application performance monitoring: raising the bar using data, and check lists We all value maturity because it means a higher

More information

The purpose of Capacity and Availability Management (CAM) is to plan and monitor the effective provision of resources to support service requirements.

The purpose of Capacity and Availability Management (CAM) is to plan and monitor the effective provision of resources to support service requirements. CAPACITY AND AVAILABILITY MANAGEMENT A Project Management Process Area at Maturity Level 3 Purpose The purpose of Capacity and Availability Management (CAM) is to plan and monitor the effective provision

More information

1.1 The Nature of Software... Object-Oriented Software Engineering Practical Software Development using UML and Java. The Nature of Software...

1.1 The Nature of Software... Object-Oriented Software Engineering Practical Software Development using UML and Java. The Nature of Software... 1.1 The Nature of Software... Object-Oriented Software Engineering Practical Software Development using UML and Java Chapter 1: Software and Software Engineering Software is intangible Hard to understand

More information

Agile EAI November 2002 Martin Fowler Gregor Hohpe

Agile EAI November 2002 Martin Fowler Gregor Hohpe Agile EAI November 2002 Martin Fowler Gregor Hohpe Abstract Enterprise Application Integration (EAI) is a top priority in many enterprises. Requirements for improved customer service or self-service, rapidly

More information

The Software Defined Hybrid Packet Optical Datacenter Network SDN AT LIGHT SPEED TM. 2012-13 CALIENT Technologies www.calient.

The Software Defined Hybrid Packet Optical Datacenter Network SDN AT LIGHT SPEED TM. 2012-13 CALIENT Technologies www.calient. The Software Defined Hybrid Packet Optical Datacenter Network SDN AT LIGHT SPEED TM 2012-13 CALIENT Technologies www.calient.net 1 INTRODUCTION In datacenter networks, video, mobile data, and big data

More information

Improving software quality using statistical testing techniques

Improving software quality using statistical testing techniques Information and Software Technology 42 (2000) 801 807 www.elsevier.nl/locate/infsof Improving software quality using statistical testing techniques D.P. Kelly*, R.S. Oshana Raytheon Company, 13500 N. Central

More information

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001 Agenda Introduzione Il mercato Dal circuito integrato al System on a Chip (SoC) La progettazione di un SoC La tecnologia Una fabbrica di circuiti integrati 28 How to handle complexity G The engineering

More information

BY STEVE BROWN, CADENCE DESIGN SYSTEMS AND MICHEL GENARD, VIRTUTECH

BY STEVE BROWN, CADENCE DESIGN SYSTEMS AND MICHEL GENARD, VIRTUTECH WHITE PAPER METRIC-DRIVEN VERIFICATION ENSURES SOFTWARE DEVELOPMENT QUALITY BY STEVE BROWN, CADENCE DESIGN SYSTEMS AND MICHEL GENARD, VIRTUTECH INTRODUCTION The complexity of electronic systems is rapidly

More information

Long term retention and archiving the challenges and the solution

Long term retention and archiving the challenges and the solution Long term retention and archiving the challenges and the solution NAME: Yoel Ben-Ari TITLE: VP Business Development, GH Israel 1 Archive Before Backup EMC recommended practice 2 1 Backup/recovery process

More information

Dependable (Safe/Reliable) Systems. ARO Reliability Workshop Software Intensive Systems

Dependable (Safe/Reliable) Systems. ARO Reliability Workshop Software Intensive Systems Dependable (Safe/Reliable) Systems Composing, Analyzing and Validating s to Assess / Develop / Validate Methods and Supporting Tools for the Creation of Dependable Systems ARO Reliability Workshop Intensive

More information

Java Environment for Parallel Realtime Development Platform Independent Software Development for Multicore Systems

Java Environment for Parallel Realtime Development Platform Independent Software Development for Multicore Systems Java Environment for Parallel Realtime Development Platform Independent Software Development for Multicore Systems Ingo Prötel, aicas GmbH Computing Frontiers 6 th of May 2008, Ischia, Italy Jeopard-Project:

More information

FROM COMPILER SWITCHES TO STRATEGIC REUSE

FROM COMPILER SWITCHES TO STRATEGIC REUSE FROM COMPILER SWITCHES TO STRATEGIC REUSE Software Product Lines Pär Hammarström 2015-10-16 2 ABOUT ME Systems Architect and Development Manager 20+ years experience of Product Development Consultant,

More information

Plan-Driven Methodologies

Plan-Driven Methodologies Plan-Driven Methodologies The traditional way to develop software Based on system engineering and quality disciplines (process improvement) Standards developed from DoD & industry to make process fit a

More information

Safe-E. Safe-E Introduction. Coordination: Andreas ECKEL TTTech Computertechnik AG andreas.eckel@tttech.com

Safe-E. Safe-E Introduction. Coordination: Andreas ECKEL TTTech Computertechnik AG andreas.eckel@tttech.com Introduction Coordination: Andreas ECKEL TTTech Computertechnik AG andreas.eckel@tttech.com The Eurostars Project within the ITEA-2 Safe Project Eurostars : what is it and why?: Eurostars is an Eureka

More information

Requirements Management

Requirements Management REQUIREMENTS By Harold Halbleib Requirements Management Identify, Specify, Track and Control Requirements Using a Standard Process About the author... Harold Halbleib has a degree in Electrical Engineering

More information

Use service virtualization to remove testing bottlenecks

Use service virtualization to remove testing bottlenecks Use service virtualization to remove testing bottlenecks Discover integration faults early by pushing integration testing left in the software lifecycle Contents 1 Complex, interconnected applications

More information

Requirements Engineering: A Roadmap

Requirements Engineering: A Roadmap Requirements Engineering: A Roadmap Bashar Nuseibeh & Steve Easterbrook Department of Computing Imperial College of Science, Technology & Medicine London SW7 2BZ, UK Email: ban@doc.ic.ac.uk http://www-dse.doc.ic.ac.uk/~ban/

More information

Security for Changing Software and Systems

Security for Changing Software and Systems Security for Changing Software and Systems Jan Jürjens TU Dortmund & Fraunhofer ISST http://jan.jurjens.de The Forgotten End of the System Life-cycle Challenges: Software lifetime often longer than intended

More information

Career Service Authority Page 1 of 6 Senior Enterprise Resource Planning Systems Analyst

Career Service Authority Page 1 of 6 Senior Enterprise Resource Planning Systems Analyst Career Service Authority Page 1 of 6 Senior Enterprise Resource Planning Systems Analyst GENERAL STATEMENT OF CLASS DUTIES Performs full performance level professional work analyzing, refining and documenting

More information

Glendale Community College Microsoft Office SharePoint Server 2007 Initiative Vision/Scope Document. Version 1.0

Glendale Community College Microsoft Office SharePoint Server 2007 Initiative Vision/Scope Document. Version 1.0 ware Architects, Inc. Proposal to XXXXX Date Glendale Community College Microsoft Office SharePoint Server 2007 Initiative Vision/Scope Document Software Architects, Inc. Proposal to XXXXX Date Version

More information

CASE STUDY: AgitarOne Ensures Quality of Outsourced Software Development at Major International Bank

CASE STUDY: AgitarOne Ensures Quality of Outsourced Software Development at Major International Bank CASE STUDY: AgitarOne Ensures Quality of Outsourced Software Development at Major International Bank One of the major international Banks has adopted AgitarOne (www.agitar.com) technology for delivering

More information

Budapest University of Technology and Economics Department of Measurement and Information Systems. Business Process Modeling

Budapest University of Technology and Economics Department of Measurement and Information Systems. Business Process Modeling Budapest University of Technology and Economics Department of Measurement and Information Systems Business Process Modeling Process, business process Workflow: sequence of given steps executed in order

More information

Realizing business flexibility through integrated SOA policy management.

Realizing business flexibility through integrated SOA policy management. SOA policy management White paper April 2009 Realizing business flexibility through integrated How integrated management supports business flexibility, consistency and accountability John Falkl, distinguished

More information

Peter Mileff PhD SOFTWARE ENGINEERING. The Basics of Software Engineering. University of Miskolc Department of Information Technology

Peter Mileff PhD SOFTWARE ENGINEERING. The Basics of Software Engineering. University of Miskolc Department of Information Technology Peter Mileff PhD SOFTWARE ENGINEERING The Basics of Software Engineering University of Miskolc Department of Information Technology Introduction Péter Mileff - Department of Information Engineering Room

More information

JOURNAL OF OBJECT TECHNOLOGY

JOURNAL OF OBJECT TECHNOLOGY JOURNAL OF OBJECT TECHNOLOGY Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering JOT, 2008 Vol. 7, No. 8, November-December 2008 What s Your Information Agenda? Mahesh H. Dodani,

More information

Family: Iterative Enhancement Origin: Ivar Jacobson, James Rumbaugh, Grady Booch, 1996 Defines process framework that is adaptable to

Family: Iterative Enhancement Origin: Ivar Jacobson, James Rumbaugh, Grady Booch, 1996 Defines process framework that is adaptable to Unified Process Family: Iterative Enhancement Origin: Ivar Jacobson, James Rumbaugh, Grady Booch, 1996 Defines process framework that is adaptable to various application domains different organizations

More information

Customer Experience. Silicon. Support & Professional Eng. Services. Freescale Provided SW & Solutions

Customer Experience. Silicon. Support & Professional Eng. Services. Freescale Provided SW & Solutions September 2013 Silicon Support & Professional Eng. Services Customer Experience Freescale Provided SW & Solutions Provide Valued Software, Support & Professional Engineering Services, Competitively 2 Customer

More information

HP Customer Support. Remote Server Management. an Outtasking Solution Outline

HP Customer Support. Remote Server Management. an Outtasking Solution Outline HP Customer Support Remote Server Management an Outtasking Solution Outline Andreas Meinert Support Solution Architect DataCenter Solution Services, HP Germany 2004 Hewlett-Packard Development Company,

More information

Senior Information Technology Systems Analyst

Senior Information Technology Systems Analyst Career Service Authority Senior Information Technology Systems Analyst Page 1 of 6 GENERAL STATEMENT OF CLASS DUTIES Performs full performance level professional work analyzing, refining and documenting

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

A Technology Based Solution to Move Client Server Applications to Java /.NET in Native 3-Tier Web Code Structures

A Technology Based Solution to Move Client Server Applications to Java /.NET in Native 3-Tier Web Code Structures A Technology Based Solution to Move Client Server Applications to Java /.NET in Native 3-Tier Web Code Structures Accelerated Application Modernization (AAM) Page 1 of 16 Table of Contents TABLE OF CONTENTS...

More information

Why Aircraft Fly and Software Systems Don t

Why Aircraft Fly and Software Systems Don t Why Aircraft Fly and Software Systems Don t Robert Howe Copyright Verum Consultants BV 1 Contents Introduction Aeronautical Engineering Circuit Engineering Software Engineering Analytical Software Design

More information

Software Defined Security Mechanisms for Critical Infrastructure Management

Software Defined Security Mechanisms for Critical Infrastructure Management Software Defined Security Mechanisms for Critical Infrastructure Management SESSION: CRITICAL INFRASTRUCTURE PROTECTION Dr. Anastasios Zafeiropoulos, Senior R&D Architect, Contact: azafeiropoulos@ubitech.eu

More information

Data Quality Assessment. Approach

Data Quality Assessment. Approach Approach Prepared By: Sanjay Seth Data Quality Assessment Approach-Review.doc Page 1 of 15 Introduction Data quality is crucial to the success of Business Intelligence initiatives. Unless data in source

More information

Effective Software Verification for Medical Devices

Effective Software Verification for Medical Devices STERLINGTECH AND KLOCWORK WHITE PAPER NOVEMBER 2009 Effective Software Verification for Medical Devices Achieving compliance and meeting productivity goals with static analysis In addition to producing

More information

Project Decision Analysis Process

Project Decision Analysis Process Copyright Notice: Materials published by Intaver Institute Inc. may not be published elsewhere without prior written consent of Intaver Institute Inc. Requests for permission to reproduce published materials

More information

Test Data Management. Services Catalog

Test Data Management. Services Catalog Test Data Management Services Catalog TABLE OF CONTENTS WHY TDM?... 3 CLIENT SUCCESS STORIES... 4 Large Automotive Company Data Generation...4 Large Entertainment Company Coverage Analysis...4 TDM APPROACH...

More information

TÜ V Rheinland Industrie Service

TÜ V Rheinland Industrie Service TÜ V Rheinland Industrie Service Business Area: Automation / Functional Safety Contact Minsung Lee +82-2-860-9969 mailto : minsung.lee@kor.tuv.com Sales Account Manager for Functional Safety Fax +82-2-860-9862

More information

Automated Theorem Proving - summary of lecture 1

Automated Theorem Proving - summary of lecture 1 Automated Theorem Proving - summary of lecture 1 1 Introduction Automated Theorem Proving (ATP) deals with the development of computer programs that show that some statement is a logical consequence of

More information

Current Loop Tuning Procedure. Servo Drive Current Loop Tuning Procedure (intended for Analog input PWM output servo drives) General Procedure AN-015

Current Loop Tuning Procedure. Servo Drive Current Loop Tuning Procedure (intended for Analog input PWM output servo drives) General Procedure AN-015 Servo Drive Current Loop Tuning Procedure (intended for Analog input PWM output servo drives) The standard tuning values used in ADVANCED Motion Controls drives are conservative and work well in over 90%

More information

Doctor of Philosophy in Computer Science

Doctor of Philosophy in Computer Science Doctor of Philosophy in Computer Science Background/Rationale The program aims to develop computer scientists who are armed with methods, tools and techniques from both theoretical and systems aspects

More information

The Future of Model Driven Software Engineering

The Future of Model Driven Software Engineering The Future of Model Driven Software Engineering February 2015 Introduction Degree in Physics, +/- 15 years as Software Engineer 6502 ASM, ASM85, ASM86, Pascal, PLM, C, Smalltalk Built Factory Automation

More information

1. PUBLISHABLE SUMMARY

1. PUBLISHABLE SUMMARY 1. PUBLISHABLE SUMMARY ICT-eMuCo (www.emuco.eu) is a European project with a total budget of 4.6M which is supported by the European Union under the Seventh Framework Programme (FP7) for research and technological

More information

How to bridge the gap between business, IT and networks

How to bridge the gap between business, IT and networks ericsson White paper Uen 284 23-3272 October 2015 How to bridge the gap between business, IT and networks APPLYING ENTERPRISE ARCHITECTURE PRINCIPLES TO ICT TRANSFORMATION A digital telco approach can

More information

ArchiMate and TOGAF. What is the added value?

ArchiMate and TOGAF. What is the added value? ArchiMate and TOGAF What is the added value? Why use TOGAF next to ArchiMate? ArchiMate provides a (visual) language ArchiMate provides a content framework TOGAF provides a process TOGAF provides a way

More information

White Paper. Enhancing Website Security with Algorithm Agility

White Paper. Enhancing Website Security with Algorithm Agility ENHANCING WEBSITE SECURITY WITH ALGORITHM AGILITY White Paper Enhancing Website Security with Algorithm Agility Enhancing Website Security with Algorithm Agility Contents Introduction 3 Encryption Today

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

Release Management Policy Aspen Marketing Services Version 1.1

Release Management Policy Aspen Marketing Services Version 1.1 Release Management Policy Version 1.1 John Toso 5/10/2010 2 Contents Release Management Policy Overview:... 3 Critical Success Factors... 3 Service Level Management (SLM)... 4 Key Performance Indicators:...

More information

Introducing Formal Methods into Industry using Cleanroom and CSP

Introducing Formal Methods into Industry using Cleanroom and CSP Guy H. Broadfoot, Chief Technical Director, Verum Consultants. TOOLS Introducing Formal Methods into Industry using Cleanroom and CSP In this paper, we present an overview of our observations and experiences

More information

The Domain-Specific Approach to High Assurance Development

The Domain-Specific Approach to High Assurance Development The Domain-Specific Approach to High Assurance Development Andrew Adams-Moran W. Brad Martin 2006 Systems and Software Technology Conference Overview What is a domain-specific approach? Case studies: High

More information

Chapter. Medical Product Line Architectures 12 years of experience. B.J. Pronk Philips Medical Systems

Chapter. Medical Product Line Architectures 12 years of experience. B.J. Pronk Philips Medical Systems Chapter Medical Product Line Architectures 12 years of experience B.J. Pronk Philips Medical Systems Key words: Abstract: Example architectures, product line architectures, styles and patterns The product

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

Virtual Desktop Infrastructure Planning Overview

Virtual Desktop Infrastructure Planning Overview WHITEPAPER Virtual Desktop Infrastructure Planning Overview Contents What is Virtual Desktop Infrastructure?...2 Physical Corporate PCs. Where s the Beef?...3 The Benefits of VDI...4 Planning for VDI...5

More information

Municipality Moves SCADA System from Desktop Computers to Terminal Services

Municipality Moves SCADA System from Desktop Computers to Terminal Services Municipality Moves SCADA System from Desktop Computers to Terminal Services KEYWORDS Bosko Bob Loncar 1 1 1151 Bronte Road Oakville, Ontario L6M 3L1 (bob.loncar@halton.ca) SCADA, Terminal Services, Remote

More information

Low-Level Verification of Embedded Software: Addressing the Challenge

Low-Level Verification of Embedded Software: Addressing the Challenge Low-Level Verification of Embedded Software: Addressing the Challenge Sanjit A. Seshia Assistant Professor EECS, UC Berkeley FMCAD 2010 Panel October 2010 Abstraction Layers in Computing Algorithms, Protocols,

More information

Your Software Quality is Our Business. INDEPENDENT VERIFICATION AND VALIDATION (IV&V) WHITE PAPER Prepared by Adnet, Inc.

Your Software Quality is Our Business. INDEPENDENT VERIFICATION AND VALIDATION (IV&V) WHITE PAPER Prepared by Adnet, Inc. INDEPENDENT VERIFICATION AND VALIDATION (IV&V) WHITE PAPER Prepared by Adnet, Inc. February 2013 1 Executive Summary Adnet is pleased to provide this white paper, describing our approach to performing

More information

Architecture from a business perspective

Architecture from a business perspective 1 Frank van den Berk 2 Introducing myself Netherlands, Son (Eindhoven) Married, two daughters (4 and 7 years old) Physics (EUT) Post-masters programme Software Technology (EUT) Philips CE (1 year) BSO!

More information

Application Performance Testing Basics

Application Performance Testing Basics Application Performance Testing Basics ABSTRACT Todays the web is playing a critical role in all the business domains such as entertainment, finance, healthcare etc. It is much important to ensure hassle-free

More information

Introducing the Dezyne Modelling Language

Introducing the Dezyne Modelling Language Introducing the Dezyne Modelling Language Bits & Chips Smart Systems, 20 November 2014 Paul Hoogendijk. paul.hoogendijk@verum.com Software Controlled Systems Software Controlled Systems Event driven Concurrent,

More information

Disaster Recovery Strategy in the Modern Market A PRACTICAL GUIDE FOR BUSINESS. Your Proven Partner in Communications Solutions

Disaster Recovery Strategy in the Modern Market A PRACTICAL GUIDE FOR BUSINESS. Your Proven Partner in Communications Solutions TM Disaster Recovery Strategy in the Modern Market A PRACTICAL GUIDE FOR BUSINESS Your Proven Partner in Communications Solutions Contents What is Disaster Recovery? 1 Components of Disaster a Recovery

More information