SW: from Craftsmanship to Industry. The role of code generation in the industrialisation of software development
|
|
- Andra Jennings
- 8 years ago
- Views:
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
7 This is Mechanical Engineering Automate Engineer Automate or Outsource Lead time Detail level SASG - Oct marc.hamilton@nspyre.nl
8 This is Software Engineering Evidence Lead time Detail level SASG - Oct marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
14 Model to Model mapping mapping SASG - Oct marc.hamilton@nspyre.nl
15 Model to Model: QVTO transformation SASG - Oct marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
17 Model to Code SASG - Oct marc.hamilton@nspyre.nl
18 Current Software Environment Products X Y Z Technologies A B C D E SASG - Oct marc.hamilton@nspyre.nl
19 Decoupling from Technology Product Development Environment DSL Decoupling layer (Software) Technology Solutions SASG - Oct marc.hamilton@nspyre.nl
20 Industrialization: Factories! Primary Process Secondary Process Focus on building products in the factory Focus on building and maintaining the factory SASG - Oct marc.hamilton@nspyre.nl
21 Software Factory! X Products Y Z Decoupling Layer Technologies A B C D E SASG - Oct marc.hamilton@nspyre.nl
22 Vragen? SASG - Oct marc.hamilton@nspyre.nl
23 BACKUP SASG - Oct marc.hamilton@nspyre.nl
24 Mechanical Engineering Processable models Formal models Generate Consistency! Engineer Generate Detail level Lead time SASG - Oct marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
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 marc.hamilton@nspyre.nl
30 Tuinhuis (2) SASG - Oct marc.hamilton@nspyre.nl
31 Domain Specific Modeling Awareness of Concepts in the target domain Meta-models define these concepts Domain Specific Language SASG - Oct marc.hamilton@nspyre.nl
32 Example: 3D Drawing SASG - Oct marc.hamilton@nspyre.nl
33 Example: 3D Drawing SASG - Oct marc.hamilton@nspyre.nl
34 Example: 3D Drawing SASG - Oct marc.hamilton@nspyre.nl
35 Example: 3D Drawing SASG - Oct marc.hamilton@nspyre.nl
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 informationDecomposition 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 informationIndustrial 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 informationSoftware 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 informationTrends 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 informationOverview 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 informationThe 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 informationPropagation 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 informationLecture 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)
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 informationSoftware 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 informationThe 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 informationOperations 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 informationFunctional 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 informationHardware 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 informationHigh-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 informationModel-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 informationSOFTWARE 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 informationSoftware 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 informationMinimizing 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 informationIBM 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 informationDependability 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 informationMDE 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 informationATV 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 informationAerospace 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 informationMulti-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 informationCertification 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 informationDer 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 informationDevelopment 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 informationUse 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 informationLowering 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 informationHP 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 informationALGEBRA 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 informationOMG 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 informationAplicando 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 informationNews 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 informationScrum 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 informationStatic 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 informationHow 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 informationTesting 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 informationAutomotive 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 informationData 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 informationThe 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 informationAligning 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 information1.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 informationThe 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 informationVirtual 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 informationApplication 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 informationAgile 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 informationAgenda. 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 informationSample Testing Using Cleanroom
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 informationBY 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 informationJava 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 informationPlan-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 informationRequirements 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 informationFROM 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 informationDependable (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 informationSafe-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 informationGlendale 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 informationLong 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 informationCareer 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 informationGlobal Delivery Excellence Best Practices for Improving Software Process and Tools Adoption. Sunil Shah Technical Lead IBM Rational
Global Delivery Excellence Best Practices for Improving Software Process and Tools Adoption Sunil Shah Technical Lead IBM Rational Agenda Organization s Challenges from a Delivery Perspective Introduction
More informationRequirements 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 informationSecurity 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 informationRealizing 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 informationBudapest 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 informationJOURNAL 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 informationA 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 informationFamily: 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 informationCustomer 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 informationCASE 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 informationThe following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated into
The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated into any contract. It is not a commitment to deliver any material,
More informationPeter 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 informationHP 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 informationWhy 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 informationData 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 informationSenior 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 informationSoftware 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 informationEffective 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 informationDesigning 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 informationActing today v/s tackling a larger problem tomorrow
White Paper Acting today v/s tackling a larger problem tomorrow Data Quality in Banks WE PUT THE BANKING INTO BUSINESS INTELLIGENCE www.icreate.in Acting today v/s tackling a larger problem tomorrow Data
More informationProject 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 informationTÜ 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 informationWhitepaper. Data Warehouse/BI Testing Offering YOUR SUCCESS IS OUR FOCUS. Published on: January 2009 Author: BIBA PRACTICE
YOUR SUCCESS IS OUR FOCUS Whitepaper Published on: January 2009 Author: BIBA PRACTICE 2009 Hexaware Technologies. All rights reserved. Table of Contents 1. 2. Data Warehouse - Typical pain points 3. Hexaware
More informationAutomated 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 information1. 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 informationDoctor 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 informationCurrent 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 informationLab View with crio Tutorial. Control System Design Feb. 14, 2006
Lab View with crio Tutorial Control System Design Feb. 14, 2006 Pan and Tilt Mechanism Experimental Set up Power Supplies Ethernet cable crio Reconfigurable Embedded System Lab View + Additional Software
More informationThe 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 informationTest 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 informationRelease 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 informationMunicipality 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 informationCase study AllianzNet
Case study AllianzNet Automated versus manual testing D E G O U D E N D R A A D D O O R U W B E D R I J F S V O E R I N G 1 Pleased to meet you Hans van Loenhoud secretary TestNet managing partner INQA
More informationIntroducing 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 informationIntroducing 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 informationChapter. 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 informationWhite 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 informationYour 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 informationEmbedded/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