10 introduction
play

10. Introduction 1. Basics of Composition Systems Dr.-Ing. - PowerPoint PPT Presentation

Oct 01, 2022 •41 likes •461 views

Fakultt Informatik Institut Software- und Multimediatechnik Softwaretechnologie Dr. Sebastian Gtz CBSE Component-Based Software Engineering (CBSE) 10. Introduction 1. Basics of Composition Systems Dr.-Ing. Sebastian Gtz

  1. Fakultät Informatik – Institut Software- und Multimediatechnik – Softwaretechnologie – Dr. Sebastian Götz – CBSE Component-Based Software Engineering (CBSE) 10. Introduction 1. Basics of Composition Systems Dr.-Ing. Sebastian Götz 2. Black-Box Composition Systems Technische Universität Dresden 3. Gray-Box Composition Systems Institut für Software- und Multimediatechnik http://st.inf.tu-dresden.de/teaching/cbse 04.04.2018 Based on Slides by Prof. Uwe Aßmann 1

  2. Obligatory Reading Component-Based Software Engineering (CBSE) 2 McIlroy, M. D. (1968). Mass produced software components.  In: Proceedings of the 1st International Conference on Software Engineering, Garmisch Pattenkirchen, Germany. 1968. http://homepages.cs.ncl.ac.uk/brian.randell/NATO/nato1968.PDF (Pages 79-87) Dijkstra, E.W. (1982). On the Role of Scientific Thought.  In: Selected Writings on Computing: A personal Perspective. Texts and Monographs in Computer Science. Springer, New York, NY https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD447.PDF

  3. The Destructive Power of Ill-Used Components: The Ariane 5 Launcher Failure Component-Based Software Engineering (CBSE) 3 June 4th 1996 Total failure of the Ariane 5 launcher on its maiden flight The following slides are from Ian Summerville, Software Engineering Credit: DLR/Thilo Kranz (CC-BY 3.0) 2013 http://commons.wikimedia.org/wiki/File:Ariane_5ES_with_ATV_4_on_its_way_to_ELA-3.jpg http://www.astronews.com/news/artikel/2002/12/0212-009.shtml

  4. Ariane 5 Launcher Failure Component-Based Software Engineering (CBSE) 4 Ariane 5 can carry a heavier payload than Ariane 4 ► Ariane 5 has more thrust, launches steeper ■ 37 seconds after lift-off, the Ariane 5 launcher lost control ► Incorrect control signals were sent to the engines ■ These swivelled so that unsustainable stresses were imposed on the rocket ■ It started to break up and self-destructed ■ The system failure was a software failure ► Ian Summerville, Software Engineering

  5. The Problem of Component Reuse Component-Based Software Engineering (CBSE) 5 The attitude and trajectory of the rocket are measured by a computer-based ► inertial reference system This transmits commands to the engines to maintain attitude and direction ■ The software failed and this system and the backup system shut down ■ Diagnostic commands were transmitted to the engines ► ..which interpreted them as real data and which swivelled to an extreme position ■ Technically: Reuse Problem ► Integer overflow failure occurred during converting a 64-bit floating point number to a ■ signed 16-bit integer There was no exception handler ■ So the system exception management facilities shut down the software ■ Ian Summerville, Software Engineering

  6. Software Reuse Error Component-Based Software Engineering (CBSE) 6 The erroneous software component (Ada-83) was reused from the Ariane 4 launch ► vehicle. The computation that resulted in overflow was not used by Ariane 5. ► Decisions were made in the development ► Not to remove the facility as this could introduce new faults ■ Not to test for overflow exceptions because the processor was heavily loaded. ■ For dependability reasons, it was thought desirable to have some spare processor ■ capacity Why not in Ariane 4? ► Ariane 4 has a lower initial acceleration and build up of horizontal velocity than Ariane 5 ■ The value of the variable on Ariane 4 could never reach a level that caused overflow ■ during the launch period. The contract was not re-proven for Ariane-5 ■ There was also no run-time check for contract violation in Ariane-5 ■ Ian Summerville, Software Engineering

  7. Fakultät Informatik – Institut Software- und Multimediatechnik – Softwaretechnologie – Dr. Sebastian Götz – CBSE 10.1. Basics of Composition Systems • Component-based software engineering is built on composition systems. • A composition system has – a component model, – a composition technique, and – a composition language. 7

  8. Software is Everywhere Component-Based Software Engineering (CBSE) 8 Cars, Planes, Ships, Factories, Houses , Watches, … ► Unimaginable amount of software is spread across the globe ► How to keep this manageable? ►

  9. The Power of Components Component-Based Software Engineering (CBSE) 9 (CC0)

  10. Goals Component-Based Software Engineering (CBSE) 10 Component-based software engineering (CBSE) is the generalization of ► object-oriented software engineering (OOSE) Understand how to reuse software ► Component models are the basis of all engineering ► Understand how large software systems are build ► What is a composition system? ► The difference of component-based and composition-based systems ► What is a composition operator? composition expression? composition program? ► composition language? Understand the difference between graybox and blackbox systems ► Understand the ladder of composition systems ► Understand the criteria for comparison of composition systems ►

  11. Motivation for Component-Based Development Component-Based Software Engineering (CBSE) 11 Component-Based Development is the basis of all engineering ► Development by “divide -and- conquer” (Alexander the Great) ► Well known in other disciplines ► Mechanical engineering (e.g., German VDI 2221)  Electrical engineering  Architecture  “Make, reuse or buy” decisions (reuse decisions): ► Outsourcing to component producers (Components off the shelf, COTS) ► Reuse of partial solutions ► Easy configurability of the systems: variants, versions, product families ► Scaling business by Software Ecosystems ► Component models and composition systems are the technical basis for all modern ► software ecosystems: Linux, Eclipse, AutoSAR, Android, openHAB , ROS, …

  12. Mass-produced Software Components Component-Based Software Engineering (CBSE) 12 Mass Produced Software Components [McIlroy, Garmisch 68, NATO conference on ► software engineering]: Every ripe industry is based on components, to manage large systems ■ Components should be produced in masses and composed to systems afterwards ■ In the phrase “mass production techniques”, my emphasis is on “techniques” and not on “mass production” plain. Of course mass production, in the sense of limitless replication of a prototype, is trivial for software. But certain ideas from industrial technique I claim are relevant. • The idea of subassemblies carries over directly and is well exploited. • The idea of interchangeable parts corresponds roughly to our term “modularity”, and is fitfully respected. • The idea of machine tools has an analogue in assembly programs and compilers. Yet this fragile analogy is belied when we seek for analogues of other tangible symbols of mass production. • There do not exist manufacturers of standard parts, much less catalogues of standard parts. • One may not order parts to individual specifications of size, ruggedness, speed, capacity, precision or character set.

  13. Mass-produced Software Components Component-Based Software Engineering (CBSE) 13 Later McIlroy was with Bell Labs, ► ..and invented pipes, diff, join, echo (UNIX). ■ Pipes are still today the most employed component system! ■ Where are we today? ► (Google Ngram Viewer)

  14. “Real” Component Systems Component-Based Software Engineering (CBSE) 14 Lego ► Square stones ► Building plans ► IC‘s ► Hardware bus ► How do they differ from software? ►

  15. Definitions of Software Components Component-Based Software Engineering (CBSE) 15 A software component is a unit of composition with contractually specified interfaces • and explicit context dependencies only. • A software component can be deployed independently and • is subject to composition by third parties. • (Clemens Szyperski) A reusable software component is a logically cohesive, • loosely coupled module • that denotes a single abstraction. (Grady Booch) • A software component is a static abstraction with plugs. (Nierstrasz/Dami)

  16. What is a Software Component? Component-Based Software Engineering (CBSE) 16 A component is a container with ► Hidden inner ■ Public outer interface ■ Stating all dependencies explicitly ■ Example: a method ► int add(int a, int b) { Public outer interface: return type return a+b; ► Explicit dependencies: parameters } ► Hidden inner: method body ► A component is a reusable unit for composition! ► A component underlies a component model ► that fixes the abstraction level ■ that fixes the grain size (widget or OS?) ■ that fixes the time (static or runtime?) ■

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

TRAINING COURSE ON SOCIAL PROTECTION & FORMALIZATION TRINIDAD AND TOBAGO MARCH 15, 2017 INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION Design of the NIS Assistance from the

547 views • 23 slides
INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

Patterns of variation in the expression of case and agreement Andrs Brny Leiden University Centre for Linguistics 9 November 2019, BaSIS Workshop a.barany@hum.leidenuniv.nl INTRODUCTION Introduction 2/42 INTRODUCTION

1.37k views • 42 slides
Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures Definition and concepts Process and product properties Principles SE Approaches Motivation Software and the economy The economies of

1.03k views • 49 slides
Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1 https://www.cdc.gov/std/stats17/infographic.htm Introduction Epidemiology in Western Colorado CPHE Surveillance Data Report, May 2018 Chlamydia Epidemiology in Western

977 views • 39 slides
DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every meeting (2) Some ideas of diagrams for section 7.1 (Introduction) of TP. Giles Barr 25 Jan 2018, Pembroke College On DUNE, the reality is there is a

474 views • 10 slides
INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

ADVANCED COMPUTER SECURITY INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT IS SECURITY? A systems security policies describe What the system is supposed to do Store and provide access

479 views • 16 slides
Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout World Wide

387 views • 14 slides
14 Introduction Introduction Bad guys can put malware into Example: hosts

14 Introduction Introduction Bad guys can put malware into Example: hosts

Introduction Introduction source Encapsulation ISO/OSI reference model message M application segment H t H t M transport network datagram H n H n H t M presentation: allow applications to frame link H l H n H t M interpret

583 views • 4 slides
Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout

322 views • 8 slides
Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Introduction Zynq Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL Processing System Processor Peripherals Data Buses AXI Bus Conclusion BTE5380 - Embedded Systems Octobre 2014 Andreas Habegger

1.81k views • 30 slides
2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04 Project References S E 5 PART.1 SMILE5 Introduction M I L Introduction STORION-SMILE5 Residential Energy Storage System Inverter 5kW Output Input

1.06k views • 25 slides
Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an application server? Why use an application server? Course introduction Services provided by CICS How CICS applications are defined Scaling CICS to meet

1.84k views • 146 slides
Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic building blocks Node Links (relationship between nodes) Spatial information Network data

584 views • 9 slides
Introduction Introduction (1) Main argument of the paper: universities are not only

Introduction Introduction (1) Main argument of the paper: universities are not only

Le jugement des pairs comme outil de management des universits Peer-review as a management tool Christine Musselin (CSO, Sciences Po et CNRS) Avril 2013, Lirrsistible ascension du capitalisme acadmique Introduction Introduction (1)

590 views • 28 slides
Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Moreno Baricevic Gilberto Daz Axel Kohlmeyer Stefano Cozzini ULA ICTP CNR-IOM DEMOCRITOS Merida, VENEZUELA Trieste, ITALY Trieste, ITALY Introduction Introduction to storage and to storage and filesystems filesystems Introduction

1.19k views • 51 slides
JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of the brand new JA-100 alarm system Visions Basic architecture System components Setting Help us with final validations You are the FIRST ones

1.69k views • 111 slides
Experimental Twin-Field Quantum Key Distribution Through Sending-or-Not-Sending Yang Liu Jinan

Experimental Twin-Field Quantum Key Distribution Through Sending-or-Not-Sending Yang Liu Jinan

Experimental Twin-Field Quantum Key Distribution Through Sending-or-Not-Sending Yang Liu Jinan Institute of Quantum Technology (JIQT) University of Science and Technology of China (USTC) QCRYPT 2020 Twin-Field QKD (TF-QKD) Proposed in 2018,

841 views • 45 slides
Content Roll Call Welcome address by Organising Committee Competition Information

Content Roll Call Welcome address by Organising Committee Competition Information

Content Roll Call Welcome address by Organising Committee Competition Information AOM Submission of FINAL Amendment Competition Information Competition Information - (Order of events) 19 June 2019 (Wednesday) Day 1 Heats

767 views • 33 slides
ACCESSING FEDERAL SURVIVAL! FUNDS FOR YOUR SCHOOLS CARES Act 2020 - $2.2T Programs for

ACCESSING FEDERAL SURVIVAL! FUNDS FOR YOUR SCHOOLS CARES Act 2020 - $2.2T Programs for

ACCESSING FEDERAL SURVIVAL! FUNDS FOR YOUR SCHOOLS CARES Act 2020 - $2.2T Programs for Relief During the COVID-19 Crisis 4/7/20 1 CARES ACT or The Coronavirus Aid, Relief, and Economic Security Act CARES Act - designed for

309 views • 12 slides
Background Like most employers, the City of Dublin wants to provide its employees a competitive

Background Like most employers, the City of Dublin wants to provide its employees a competitive

Background Like most employers, the City of Dublin wants to provide its employees a competitive medical benefits program in a time when medical costs are increasing dramatically. Background The City of Dublin also thinks it is important to

946 views • 27 slides
Obesity Care and Prevention- Whats Next After the Affordable Care Act? Advocacy Forum

Obesity Care and Prevention- Whats Next After the Affordable Care Act? Advocacy Forum

Obesity Care and Prevention- Whats Next After the Affordable Care Act? Advocacy Forum Clinical Perspectives on the Impact of the ACA in Obesity Care Scott Butsch, MD MSc FTOS Current Challenges Facing Surgeons in the Age of the ACA

310 views • 16 slides
Computer Networks M MIDDLEWARE - CORBA Antonio Corradi Academic year 2015/2016

Computer Networks M MIDDLEWARE - CORBA Antonio Corradi Academic year 2015/2016

University of Bologna Dipartimento di Informatica Scienza e Ingegneria (DISI) Engineering Bologna Campus Class of Computer Networks M MIDDLEWARE - CORBA Antonio Corradi Academic year 2015/2016 MIDDLEWARE:

924 views • 65 slides
Workshop on spectroscopy and dynamics of photoinduced electronic excitations Trieste, 10.05.2017

Workshop on spectroscopy and dynamics of photoinduced electronic excitations Trieste, 10.05.2017

Charge transport in organic molecular materials from fragment orbital-based non-adiabatic molecular dynamics simulation Jochen Blumberger University College London Department of Physics and Astronomy Workshop on spectroscopy and dynamics of

760 views • 54 slides
Statistical and spectral properties of the modulation instability: experiments and modelling by

Statistical and spectral properties of the modulation instability: experiments and modelling by

Statistical and spectral properties of the modulation instability: experiments and modelling by using soliton gas Pierre Suret Laboratoire de Physique des Lasers, Atomes et Molcules (Phlam), Univ. de Lille, France Stphane Randoux, Franois

480 views • 22 slides

More recommend