TRANSPARENT COMPONENTS FOR SOFTWARE SYSTEMS

Size: px
Start display at page:

Download "TRANSPARENT COMPONENTS FOR SOFTWARE SYSTEMS"

Transcription

1 Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie TRANSPARENT COMPONENTS FOR SOFTWARE SYSTEMS Paul Peschel Dresden, summer term 2014

2 Content Transparent Software Components Evolution Development Today Motivation Solution Open Source Software Vision Central Managed Source Automatic Software Creation Systems Complexity Time/Cost Design Space Exploration Synthesizing Creation of a stable Software-System TU Dresden, summer term 2014 Transparent Components for Software Systems slide 2

3 Motivation Users/Customers Growing amount of embedded systems = Growing amount of software Upcoming Cyber Physical Systems (CPS)

4 Motivation Users/Customers Software complexity Growing amount of embedded systems = Growing amount of software Upcoming Cyber Physical Systems (CPS) TU Dresden, summer term 2014 Transparent Components for Software Systems slide 4

5 Motivation How do we achieve a quick and inexpensive software development? Keeping or even improving the software quality? TU Dresden, summer term 2014 Transparent Components for Software Systems slide 5

6 Solution: Open Source Software (OSS) Free available Huge community Open Source Software Integrated evolution Almost good code quality TU Dresden, summer term 2014 Transparent Components for Software Systems slide 6

7 Vision OSS! Transparent Software Components (TSC) Use Open Source Components directly High reusability High software quality TU Dresden, summer term 2014 Transparent Components for Software Systems slide 7

8 Transparent Software Components Evolution Automatic maintenance Innovations Higher software quality TU Dresden, summer term 2014 Transparent Components for Software Systems slide 8

9 What comes next Transparent Software Components Evolution Development Today Motivation Solution Open Source Software Vision Central Managed Source Automatic Software Creation Systems Complexity Time/Cost Design Space Exploration Synthesizing Creation of a stable Software-System TU Dresden, summer term 2014 Transparent Components for Software Systems slide 9

10 Centralized TSC Source [1] [2] Central component management Avoid redundancy Strict versioning TU Dresden, summer term 2014 Transparent Components for Software Systems slide 10

11 Synthesizer Tool Design Space - TSC Input Set A B C Feasible Solution Feasible Solution: Fits the functional and non-functional specifications Have to be explored (Design Space Exploration) TU Dresden, summer term 2014 Transparent Components for Software Systems slide 11

12 Design Space Exploration Multi-Objective Optimization B A C Find components that fit to the design specifications Multi-Objective Optimization Objectives: Latency, costs, memory consumption,... Pareto-Optimal: Generate a set of all components that have an optimal fit to the objectives without (or minimal) conflicting other components and their objectives.[3]

13 Design Space Exploration Multi-Objective Optimization Property Value B A C Find components that fit to the design specifications Multi-Objective Optimization Objectives: Latency, costs, memory consumption,... Pareto-Optimal: Generate a set of all components that have an optimal fit to the objectives without (or minimal) conflicting other components and their objectives.[3]

14 Design Space Exploration Multi-Objective Optimization Property Value Objective 1 Objective 2 Objective 3 B A C Find components that fit to the design specifications Multi-Objective Optimization Objectives: Latency, costs, memory consumption,... Pareto-Optimal: Generate a set of all components that have an optimal fit to the objectives without (or minimal) conflicting other components and their objectives.[3]

15 Design Space Exploration Multi-Objective Optimization Property Value Objective 1 Objective 2 Objective 3 B A C Conflict Find components that fit to the design specifications Multi-Objective Optimization Objectives: Latency, costs, memory consumption,... Pareto-Optimal: Generate a set of all components that have an optimal fit to the objectives without (or minimal) conflicting other components and their objectives.[3]

16 Design Space Exploration Multi-Objective Optimization Property Value Objective 1 Objective 2 Objective 3 B A C Conflict Find components that fit to the design specifications Multi-Objective Optimization Objectives: Latency, costs, memory consumption,... Pareto-Optimal: Generate a set of all components that have an optimal fit to the objectives without (or minimal) conflicting other components and their objectives.[3]

17 Synthesizer Tool Double Roof Model Figure : [4]

18 Synthesizer Tool Double Roof Model Design Specifications Figure : [4]

19 Synthesizer Tool Double Roof Model Design Specifications Design Space Figure : [4]

20 Synthesizer Tool Double Roof Model Design Specifications Design Space Refined Model / Structural Implementation Figure : [4]

21 Further Steps Keep the system running

22 Further Steps Keep the system running Simulate components

23 Further Steps Keep the system running Simulate components Monitor components

24 Further Steps Keep the system running Simulate components Monitor components Isolate components

25 Further Steps Keep the system running Simulate components re pl ac e Monitor components Isolate components

26 Conclusion High software quality Low development costs Low maintenance costs Less or even no authority over the components Evolution can kill a component Maybe slow bug fixing Low time-to-market TU Dresden, summer term 2014 Transparent Components for Software Systems slide 26

27 References berlios.de. ow2.org. Lars Boshold. Multikriterielle optimierung. seminar/boshold.ppt [Last access: ]. Jürgen Teich. Hardware/software codesign: The past, the present, and predicting the future. Proceedings of the IEEE, 100(Special Centennial Issue): , All images (except figures [1, 2, 4]) are under CC-license. TU Dresden, summer term 2014 Transparent Components for Software Systems slide 27

28 Additional Slides - Vision OSS! Transparent Software Components (1st view) Other developers (e.g. open source developers) look at the code Give advices to improve software quality

29 Additional Slides - Vision OSS! Transparent Software Components (1st view) Other developers (e.g. open source developers) look at the code Give advices to improve software quality

30 Additional Slides - Vision OSS! Transparent Software Components (1st view) Other developers (e.g. open source developers) look at the code Give advices to improve software quality

31 Additional Slides - Vision OSS! Transparent Software Components (1st view) Other developers (e.g. open source developers) look at the code Give advices to improve software quality TU Dresden, summer term 2014 Transparent Components for Software Systems slide 31

32 Component Composition How to compose Open Software Components? Static composition at design time Dynamic composition? How to create automatically stable software systems? TU Dresden, summer term 2014 Transparent Components for Software Systems slide 32

33 Dynamic Composition Component replacement/extension at runtime With roles A role is a dynamic view on an object (component) TU Dresden, summer term 2014 Transparent Components for Software Systems slide 33

Model-driven Multi-Quality Auto-Tuning of Robotic Applications

Model-driven Multi-Quality Auto-Tuning of Robotic Applications Fakultät Informatik Institut für Software- und Multimediatechnik Lehrstuhl für Softwaretechnologie Model-driven Multi-Quality Auto-Tuning of Robotic Applications MORSE 2015 Christian Piechnick, Sebastian

More information

Part II Black-Box Composition Systems 20. Finding UML Business Components in a Component-Based Development Process

Part II Black-Box Composition Systems 20. Finding UML Business Components in a Component-Based Development Process Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - CBSE Part II Black-Box Composition Systems 20. Finding UML Business Components in a Component-Based Development

More information

Energy Testing and Optimization of Mobile Applications

Energy Testing and Optimization of Mobile Applications Fakultät Informatik Institut für Software- und Multimediatechnik - Lehrstuhl für Softwaretechnologie Energy Testing and Optimization of Mobile Applications Eclipse Testing Day 2013 Claas Wilke 25.09.2013

More information

24. Framework Documentation

24. Framework Documentation 24. Framework Documentation 1 Prof. Uwe Aßmann TU Dresden Institut für Software und Multimediatechnik Lehrstuhl Softwaretechnologie 15-0.2, 23.01.16 Design Patterns and Frameworks, Prof. Uwe Aßmann Obligatory

More information

Software Architecture. Definition of Software Architecture. The importance of software architecture. Contents of a good architectural model

Software Architecture. Definition of Software Architecture. The importance of software architecture. Contents of a good architectural model Software Architecture Definition of Software Architecture Software architecture is process of designing g the global organization of a software system, including: Dividing software into subsystems. Deciding

More information

Fakultät Informatik Institut für Software- und Multimediatechnik - Lehrstuhl für Softwaretechnologie

Fakultät Informatik Institut für Software- und Multimediatechnik - Lehrstuhl für Softwaretechnologie Fakultät Informatik Institut für Software- und Multimediatechnik - Lehrstuhl für Softwaretechnologie JouleUnit A Generic Framework for Software Energy Profiling and Testing Claas Wilke, Sebastian Götz,

More information

Compiler Construction

Compiler Construction Compiler Construction Lecture 15: Code Generation I (Intermediate Code) Thomas Noll Lehrstuhl für Informatik 2 (Software Modeling and Verification) noll@cs.rwth-aachen.de http://moves.rwth-aachen.de/teaching/ss-14/cc14/

More information

53) Feature Models, Domain Models and Product Lines

53) Feature Models, Domain Models and Product Lines Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie 53) Feature Models, Domain Models and Product Lines 1. Feature Models 2. Product Linie Configuration

More information

Compiler Construction

Compiler Construction Compiler Construction Lecture 15: Code Generation I (Intermediate Code) Thomas Noll Lehrstuhl für Informatik 2 (Software Modeling and Verification) noll@cs.rwth-aachen.de http://moves.rwth-aachen.de/teaching/ss-14/cc14/

More information

Framework Documentation

Framework Documentation Framework Documentation Prof. Uwe Aßmann TU Dresden Institut für Software und Multimediatechnik Lehrstuhl Softwaretechnologie 07-1.0, Jan 08, 2007 Design Patterns and Frameworks, Prof. Uwe Aßmann 1 References

More information

23. Framework Documentation

23. Framework Documentation 23. Framework Documentation Prof. Uwe Aßmann TU Dresden Institut für Software und Multimediatechnik Lehrstuhl Softwaretechnologie 11-1.0, 23.12.11 Design Patterns and Frameworks, Prof. Uwe Aßmann 1 References

More information

Workflows and Scheduling

Workflows and Scheduling Workflows and Scheduling Frank Röder Arbeitsbereich Wissenschaftliches Rechnen Fachbereich Informatik Fakultät für Mathematik, Informatik und Naturwissenschaften Universität Hamburg 14-12-2015 Frank Röder

More information

Towards Context-Aware Adaptable Web Services

Towards Context-Aware Adaptable Web Services Towards Context-Aware Adaptable Web Services Markus Keidl Universität Passau Fakultät für Mathematik und Informatik D-94030 Passau keidl@db.fmi.uni-passau.de Alfons Kemper TU München Fakultät für Informatik

More information

Abstracting Complex Languages through Transformation and Composition

Abstracting Complex Languages through Transformation and Composition Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie Abstracting Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler,

More information

Computational Intelligence

Computational Intelligence Computational Intelligence Winter Term 2016/17 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund Slides prepared by Dr. Nicola Beume (2012) Multiobjective

More information

Hardware/Software Codesign

Hardware/Software Codesign Hardware/Software Codesign SS 2016 Prof. Dr. Christian Plessl High-Performance IT Systems group University of Paderborn Version 2.2.0 2016-04-08 how to design a "digital TV set top box" Motivating Example

More information

21) Functional and Modular Design

21) Functional and Modular Design Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - 21) Functional and Modular Design Prof. Dr. U. Aßmann Technische Universität Dresden Institut für Software-

More information

REAL-TIME VIRTUAL RESOURCES IN THE CLOUD ALOYSIUS K. MOK UNIVERSITY OF TEXAS AT AUSTIN SEPT 15, 2018

REAL-TIME VIRTUAL RESOURCES IN THE CLOUD ALOYSIUS K. MOK UNIVERSITY OF TEXAS AT AUSTIN SEPT 15, 2018 REAL-TIME VIRTUAL RESOURCES IN THE CLOUD ALOYSIUS K. MOK UNIVERSITY OF TEXAS AT AUSTIN SEPT 15, 2018 Synopsis Yesteryear - B777 AIMS Real-Time Virtual Resource Application Demo Challenges Yesteryear s

More information

21) Functional and Modular Design

21) Functional and Modular Design Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - 21) Functional and Modular Design Prof. Dr. U. Aßmann Technische Universität Dresden Institut für Software-

More information

31. Feature Models and MDA for Product Lines

31. Feature Models and MDA for Product Lines Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - Softwaretechnologie II 31. Feature Models and MDA for Product Lines Prof. Dr. U. Aßmann Technische Universität

More information

The Legacy Bridge Problem. Douglas Lyon and Chris Huntley

The Legacy Bridge Problem. Douglas Lyon and Chris Huntley The Legacy Bridge Problem by Douglas Lyon and Chris Huntley Abstract We present a way to automate the reuse of legacy systems without multiple-inheritance, copying source code, accessing existing code

More information

23. Action-Oriented Design Methods

23. Action-Oriented Design Methods Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - Softwaretechnologie II 23. Action-Oriented Design Methods Prof. Dr. Uwe Aßmann Technische Universität

More information

Introduction to software metics

Introduction to software metics Introduction to software metics Alexander Voigt Version_05_21 Technische Universität Dresden Institut für Kern- und Teilchenphysik /01234/546 78994:!"##$%&'$()*+,%&-,,$)*.$ IKTP Computing Kaffee 12 December

More information

Transformational Design with

Transformational Design with Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie Transformational Design with Model-Driven Architecture () Prof. Dr. U. Aßmann Technische Universität

More information

From Slicing to Dynamic Resource Control

From Slicing to Dynamic Resource Control From Slicing to Dynamic Resource Control Dirk Trossen* Rui L. Aguiar* Artur Hecker* InterDigital Europe, London, UK Instituto de Telecomunicações / DETI Universidade de Aveiro, Portugal Huawei ERC, Munich,

More information

Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures

Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures Dietmar Schreiner 1,2 and Karl M. Göschka 1 1 Vienna University of Technology Institute of Information

More information

Advanced Compression Methods

Advanced Compression Methods Advanced Compression Methods for Simulation Models in SDM Systems Matthias Büchse, M. Thiele, C. Löbner, M. Liebscher SCALE GmbH Data deduplication Justus Richter, W. Graf Institut für Statik und Dynamik

More information

Looking beyond IEEE 13th System of Systems Engineering Conference - SoSE 2018 Sandro D'Elia -

Looking beyond IEEE 13th System of Systems Engineering Conference - SoSE 2018 Sandro D'Elia - Looking beyond 2020 IEEE 13th System of Systems Engineering Conference - SoSE 2018 Sandro D'Elia - sandro.delia@ec.europa.eu The overall context of EU research Multiannual Financial Framework budget proposal

More information

An Introduction to The Beam Model

An Introduction to The Beam Model An Introduction to The Beam Model Apache Beam (incubating) Slides by Tyler Akidau & Frances Perry, April 2016 Agenda 1 Infinite, Out-of-order Data Sets 2 The Evolution of the Beam Model 3 What, Where,

More information

Policy-Based Context-Management for Mobile Solutions

Policy-Based Context-Management for Mobile Solutions Policy-Based Context-Management for Mobile Solutions Caroline Funk 1,Björn Schiemann 2 1 Ludwig-Maximilians-Universität München Oettingenstraße 67, 80538 München caroline.funk@nm.ifi.lmu.de 2 Siemens AG,

More information

20. Eclipse and Framework Extension Languages

20. Eclipse and Framework Extension Languages 20. Eclipse and Framework Extension Languages Prof. Uwe Aßmann TU Dresden Institut für Software und Multimediatechnik Lehrstuhl Softwaretechnologie Version 11-1.0, 12/17/11 Design Patterns and Frameworks,

More information

The Substation of the Future: A Feasibility Study

The Substation of the Future: A Feasibility Study The Substation of the Future: A Feasibility Study Final Project Report Power Systems Engineering Research Center Empowering Minds to Engineer the Future Electric Energy System Substation of the Future:

More information

Lecture 21. Lecture 21: Concurrency & Locking

Lecture 21. Lecture 21: Concurrency & Locking Lecture 21 Lecture 21: Concurrency & Locking Lecture 21 Today s Lecture 1. Concurrency, scheduling & anomalies 2. Locking: 2PL, conflict serializability, deadlock detection 2 Lecture 21 > Section 1 1.

More information

Introduction to Data Management. Lecture #26 (Transactions, cont.)

Introduction to Data Management. Lecture #26 (Transactions, cont.) Introduction to Data Management Lecture #26 (Transactions, cont.) Instructor: Mike Carey mjcarey@ics.uci.edu Database Management Systems 3ed, R. Ramakrishnan and J. Gehrke 1 Announcements v HW and exam

More information

Tracking FreeBSD in a Commercial Environment

Tracking FreeBSD in a Commercial Environment Tracking FreeBSD in a Commercial Environment imp@freebsd.org The FreeBSD Project BSDCan 2009 Ottawa, Canada 8 May 2009 Outline Background and Context 1 Background and Context 2 Theory Reality 3 Upgrading

More information

CSC 261/461 Database Systems Lecture 21 and 22. Spring 2017 MW 3:25 pm 4:40 pm January 18 May 3 Dewey 1101

CSC 261/461 Database Systems Lecture 21 and 22. Spring 2017 MW 3:25 pm 4:40 pm January 18 May 3 Dewey 1101 CSC 261/461 Database Systems Lecture 21 and 22 Spring 2017 MW 3:25 pm 4:40 pm January 18 May 3 Dewey 1101 Announcements Project 3 (MongoDB): Due on: 04/12 Work on Term Project and Project 1 The last (mini)

More information

VARIABILITY IN OPERATING SYSTEMS

VARIABILITY IN OPERATING SYSTEMS VARIABILITY IN OPERATING SYSTEMS Brian Kocoloski Assistant Professor in CSE Dept. October 8, 2018 1 CLOUD COMPUTING Current estimate is that 94% of all computation will be performed in the cloud by 2021

More information

Praktikum Ingenieurmäßige Software-Entwicklung

Praktikum Ingenieurmäßige Software-Entwicklung Universität Karlsruhe (TH) Forschungsuniversität gegründet 1825 Praktikum Ingenieurmäßige Software-Entwicklung Palladio Component Model Part V (PCM) Prof. Dr. R. H. Reussner (reussner@ipd.uka.de) Lehrstuhl

More information

A Framework for Supporting the Workflow for Archaeo-related Sciences: Managing, Synchronizing and Analyzing Data

A Framework for Supporting the Workflow for Archaeo-related Sciences: Managing, Synchronizing and Analyzing Data Ludwig-Maximilians-Universität München Institut für Informatik Lehrstuhl für Datenbanksysteme und Data Mining Presentation: Daniel Kaltenthaler A Framework for Supporting the Workflow for Archaeo-related

More information

Computational Intelligence Winter Term 2017/18

Computational Intelligence Winter Term 2017/18 Computational Intelligence Winter Term 2017/18 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund Plan for Today Fuzzy Clustering 2 Cluster Formation

More information

Large-Scale Key-Value Stores Eventual Consistency Marco Serafini

Large-Scale Key-Value Stores Eventual Consistency Marco Serafini Large-Scale Key-Value Stores Eventual Consistency Marco Serafini COMPSCI 590S Lecture 13 Goals of Key-Value Stores Export simple API put(key, value) get(key) Simpler and faster than a DBMS Less complexity,

More information

Forschungskolleg / ACSE Exercise 2. Tools around LaTeX

Forschungskolleg / ACSE Exercise 2. Tools around LaTeX Fakultät Informatik Institut für Software- und Multimediatechnik - Lehrstuhl für Softwaretechnologie Forschungskolleg / ACSE Exercise 2 Tools around LaTeX 23.10.2012 LAST WEEK Any Questions? 23.10.2012

More information

Architecture Engagement Purposes Towards a Framework for Planning Just Enough - Architecting

Architecture Engagement Purposes Towards a Framework for Planning Just Enough - Architecting Architecture Engagement Purposes Towards a Framework for Planning Just Enough - Architecting 1 T. Keuler, J. Knodel, M. Naab, D. Rost WICSA/ECSA 2012 The system shall be capable to handle three times more

More information

Overview on FP7 Projects SPARC and UNIFY

Overview on FP7 Projects SPARC and UNIFY Overview on FP7 Projects SPARC and UNIFY Mario Kind, Telekom Innovation Laboratories, Deutsche Telekom AG UNIFY is co-funded by the European Commission DG CONNECT in FP7 Recent activities on SDN, NFV FP7

More information

Execution Architecture

Execution Architecture Execution Architecture Software Architecture VO (706.706) Roman Kern Institute for Interactive Systems and Data Science, TU Graz 2018-11-07 Roman Kern (ISDS, TU Graz) Execution Architecture 2018-11-07

More information

Praktikum Ingenieurmäßige Software-Entwicklung

Praktikum Ingenieurmäßige Software-Entwicklung Universität Karlsruhe (TH) Forschungsuniversität gegründet 1825 Praktikum Ingenieurmäßige Software-Entwicklung Palladio Component Model Part IV (PCM) Prof. Dr. R. H. Reussner (reussner@ipd.uka.de) Lehrstuhl

More information

CSC 261/461 Database Systems Lecture 24

CSC 261/461 Database Systems Lecture 24 CSC 261/461 Database Systems Lecture 24 Fall 2017 TRANSACTIONS Announcement Poster: You should have sent us the poster by yesterday. If you have not done so, please send us asap. Make sure to send it for

More information

Time-Awareness in the Internet of Things. ITSF 2014 Marc Weiss, NIST Consultant

Time-Awareness in the Internet of Things. ITSF 2014 Marc Weiss, NIST Consultant Time-Awareness in the Internet of Things ITSF 2014 Marc Weiss, NIST Consultant mweiss@nist.gov ++1-303-497-3261 Cisco White Paper GE White Paper Energy Saving (I2E) Defense Predictive maintenance Enable

More information

Abstractness, Specificity, and Complexity in Software Design

Abstractness, Specificity, and Complexity in Software Design Abstractness, Specificity, and Complexity in Software Design Stefan Wagner and Florian Deißenböck Technische Universität München, Germany Florian Deißenböck ROA, 11.05.2008 Fakultät für Informatik Lehrstuhl

More information

12. Finding Components with Metadata in Component Repositories

12. Finding Components with Metadata in Component Repositories Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - CBSE 12. Finding Components with Metadata in Component Repositories Lecturer: Dr. Sebastian Götz Prof.

More information

Technische Universität Dresden Institut für Software- und Multimediatechnik

Technische Universität Dresden Institut für Software- und Multimediatechnik On the Use of Ontologies in the Software Process Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik uwe.assmann@inf.tu-dresden.de Suppose you were Mr Bernhard... REWERSE.net

More information

Power Infotech, leading IT Solution Provider, recognized as a Trusted

Power Infotech, leading IT Solution Provider, recognized as a Trusted IS E E NTE P I SE OMTION INF ECUITY S E INFSTUC TU E PT U SO FT E W P C TE T EN IN F INF O M TI O N Y IT CU SE D TUE CP T D UE CT U ST SOFTWE Power Infotech, leading IT Solution Provider, recognized as

More information

INSO

INSO INSO www.inso.tuwien.ac.at 183.600 Advanced Aspects of IT Infrastructures for Health Care Betrieb von IT-Infrastruktur Gernot Nusshall gernot.nusshall@inso.tuwien.ac.at INSO Forschungsgruppe Industrielle

More information

Towards Automation of Timing-Model Derivation. AbsInt Angewandte Informatik GmbH

Towards Automation of Timing-Model Derivation. AbsInt Angewandte Informatik GmbH Towards Automation of Timing-Model Derivation Markus Pister Marc Schlickling AbsInt Angewandte Informatik GmbH Motivation Growing support of human life by complex embedded systems Safety-critical systems

More information

The C3S Climate Data Store and its upcoming use by CAMS

The C3S Climate Data Store and its upcoming use by CAMS Atmosphere The C3S Climate Data Store and its upcoming use by CAMS Miha Razinger, ECMWF thanks to Angel Alos, Baudouin Raoult, Cedric Bergeron and the CDS contractors Atmosphere What are C3S and CDS? The

More information

Network Virtualisation Vision and Strategy_ (based on lesson learned) Telefónica Global CTO

Network Virtualisation Vision and Strategy_ (based on lesson learned) Telefónica Global CTO Network Virtualisation Vision and Strategy_ (based on lesson learned) Telefónica I+D @ Global CTO 18.03.2014 Business development requires a continuous evolution of our network but it still seems unable

More information

What s Wrong with the Operating System Interface? Collin Lee and John Ousterhout

What s Wrong with the Operating System Interface? Collin Lee and John Ousterhout What s Wrong with the Operating System Interface? Collin Lee and John Ousterhout Goals for the OS Interface More convenient abstractions than hardware interface Manage shared resources Provide near-hardware

More information

The Future of Industrial Control Systems Security

The Future of Industrial Control Systems Security The Future of Industrial Control Systems Security Amir Samoiloff, CEO, Siga Security Ilan Gendelman, CTO, Siga Security www.sigasec.com The Importance of Operating Technology Systems Modern life relies

More information

Applied Formal Methods - From CSP to Executable Hybrid Specifications

Applied Formal Methods - From CSP to Executable Hybrid Specifications Applied Formal Methods - From CSP to Executable Hybrid Specifications Jan Peleska Technologie-Zentrum Informatik TZI, Universität Bremen and Verified Systems International GmbH, jp@verified.de Overview

More information

Eclipse and Framework Extension Languages

Eclipse and Framework Extension Languages Eclipse and Framework Extension Languages Prof. Uwe Aßmann TU Dresden Institut für Software und Multimediatechnik Lehrstuhl Softwaretechnologie Design Patterns and Frameworks, Prof. Uwe Aßmann 1 References

More information

OpenOffice.org. Extensions Infrastructure. What it is What it can What is planned

OpenOffice.org. Extensions Infrastructure. What it is What it can What is planned OpenOffice.org Extensions Infrastructure What it is What it can What is planned Jürgen Schmidt Technical Lead Software Engineering StarOffice/OpenOffice.org Sun Microsystems About the speaker started working

More information

Hardware/Software Codesign

Hardware/Software Codesign Hardware/Software Codesign 3. Partitioning Marco Platzner Lothar Thiele by the authors 1 Overview A Model for System Synthesis The Partitioning Problem General Partitioning Methods HW/SW-Partitioning Methods

More information

Projekt 1 Ausarbeitung

Projekt 1 Ausarbeitung Projekt 1 Ausarbeitung Truong Vinh Phan Support for Interactive Visual Analytics in Various Software Packages Fakultät Technik und Informatik Department Informatik Faculty of Engineering and Computer Science

More information

A Layered Protocol Architecture for Scalable Innovation and Identification of Network Economic Synergies in the Internet of Things

A Layered Protocol Architecture for Scalable Innovation and Identification of Network Economic Synergies in the Internet of Things A Layered Protocol Architecture for Scalable Innovation and Identification of Network Economic Synergies in the Internet of Things Tilman Wolf 1 and Anna Nagurney 2 1 Department of Electrical and Computer

More information

Data and Knowledge Intelligent Fusion within System Models when Big Data does not come to the rescue of Smart Systems

Data and Knowledge Intelligent Fusion within System Models when Big Data does not come to the rescue of Smart Systems Philips Daimler ASML Data and Knowledge Intelligent Fusion within System Models when Big Data does not come to the rescue of Smart Systems Dr. Michael Borth problem statement process & models way of thinking

More information

34. Interprocedural Program Analysis with PAG

34. Interprocedural Program Analysis with PAG 34. Interprocedural Program Analysis with PAG Prof. Dr. rer. nat. Uwe Aßmann Institut für Software- und Multimediatechnik Lehrstuhl Softwaretechnologie Fakultät für Informatik TU Dresden http://st.inf.tu-dresden.de

More information

Desktop Virtualization: The Next Big Thing? Poh Wah Lee Regional Consulting Manager, Asia South October 2008

Desktop Virtualization: The Next Big Thing? Poh Wah Lee Regional Consulting Manager, Asia South October 2008 Desktop Virtualization: The Next Big Thing? Poh Wah Lee Regional Consulting Manager, Asia South October 2008 Is Desktop Virtualization the Next Big Thing? What s driving the change? Technology Evolution:

More information

31. ArchJava A Lightweight Java Extension for Architecture Provided and Required Ports and Services

31. ArchJava A Lightweight Java Extension for Architecture Provided and Required Ports and Services Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - CBSE 31. ArchJava A Lightweight Java Extension for Architecture Provided and Required Ports and Services

More information

INT NTION L. Domain Expert DSLs

INT NTION L. Domain Expert DSLs INT NTION L S O F T W A R E E A Domain Expert DSLs Magnus Christerson Intentional Software Corporation Henk Kolk CTO Financial Services, Capgemini The Challenge Business to accelerate Collabora ation Business

More information

13.1 DECISION ANALYSIS WITH DECISION TREES AND TABLES (CONDITION-ACTION ANALYSIS)

13.1 DECISION ANALYSIS WITH DECISION TREES AND TABLES (CONDITION-ACTION ANALYSIS) Obligatory Reading Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie alzert, Kapitel über Entscheidungstabellen Ghezzi 6.3 Decision-table based testing

More information

Service Delivery Platform

Service Delivery Platform Solution Brief Service Delivery Platform Enabling the transition to high-value and more differentiated network services with new consumption models for deploying VNFs. Keeping Up With Cloud Expectations

More information

52. Staged Software Architectures with Staged Composition

52. Staged Software Architectures with Staged Composition 52. Staged Software Architectures with Staged Composition Prof. Dr. Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnologie Version 14-1.0, 12.07.14 1) Web programming

More information

Computational Intelligence

Computational Intelligence Computational Intelligence Winter Term 2017/18 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund Slides prepared by Dr. Nicola Beume (2012) enriched

More information

Architecture Analysis and Design Language (AADL) Part 3

Architecture Analysis and Design Language (AADL) Part 3 Architecture Analysis and Design Language (AADL) Part 3 1 Component and Implementation: Flows Flow is a path through an architecture (components and connections). Flow specification specifies how data

More information

MODELING LANGUAGE FOR SOFTWARE DEFINED RADIO APPLICATIONS

MODELING LANGUAGE FOR SOFTWARE DEFINED RADIO APPLICATIONS ODELING LANGUAGE FOR SOFTWARE DEFINED RADIO APPLICATIONS atthias Weßeling (BenQ obile, CT PIC NGT, 46395 Bocholt, Germany, matthias.wesseling@siemens.com) 1. ABSTRACT The mobile communication market is

More information

Part V: Applications of Composition Systems 50. Transconsistent Composition for Active Documents and Component-Based Document Engineering (CBDE)

Part V: Applications of Composition Systems 50. Transconsistent Composition for Active Documents and Component-Based Document Engineering (CBDE) Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - CBSE Part V: Applications of Composition Systems 50. Transconsistent Composition for Active Documents

More information

J2EE Instrumentation for software aging root cause application component determination with AspectJ

J2EE Instrumentation for software aging root cause application component determination with AspectJ J2EE Instrumentation for software aging root cause application component determination with AspectJ Javier Alonso Josep Ll. Berral Ricard Gavaldà Jordi Torres Technical University of Catalonia, Spain Contents

More information

Virtual Memory in Today s Operating Systems. Part 1 of 2 Greg Hartman

Virtual Memory in Today s Operating Systems. Part 1 of 2 Greg Hartman Virtual Memory in Today s Operating Systems Part 1 of 2 Greg Hartman 1 Why Did I Get Interested in Virtual Memory? From my MapQuest experience, sub-second response times matter to users Users should control

More information

Generic Business Model Types for Enterprise Mashup Intermediaries

Generic Business Model Types for Enterprise Mashup Intermediaries Generic Business Model Types for Enterprise Mashup Intermediaries SYSTEMATIC THOUGHT LEADERSHIP FOR INNOVATIVE BUSINESS Volker Hoyer 1 2 and Katarina Stanoevska-Slabeva 2 1 SAP Research Center St. Gallen,

More information

Programming Distributed Systems

Programming Distributed Systems Annette Bieniusa Programming Distributed Systems Summer Term 2018 1/ 26 Programming Distributed Systems 09 Testing Distributed Systems Annette Bieniusa AG Softech FB Informatik TU Kaiserslautern Summer

More information

Hardware-Software Codesign

Hardware-Software Codesign Hardware-Software Codesign 8. Performance Estimation Lothar Thiele 8-1 System Design specification system synthesis estimation -compilation intellectual prop. code instruction set HW-synthesis intellectual

More information

Information Systems (Informationssysteme)

Information Systems (Informationssysteme) Information Systems (Informationssysteme) Jens Teubner, TU Dortmund jens.teubner@cs.tu-dortmund.de Summer 2016 c Jens Teubner Information Systems Summer 2016 1 Part VIII Transaction Management c Jens Teubner

More information

This is the future. Michael Mikulandra (X2Rail-1), Igor Lopez (Connecta)

This is the future. Michael Mikulandra (X2Rail-1), Igor Lopez (Connecta) This is the future Next Generation TCMS and Adaptable Communication System Michael Mikulandra (X2Rail-1), Igor Lopez (Connecta) 1 INNOVATION PROGRAMS 2 Adaptable Communication System Metro / Urban Mainline

More information

Digital Hardware-/Softwaresystems Specification

Digital Hardware-/Softwaresystems Specification Digital Hardware-/Softwaresystems Specification Seminar Architecture & Design Methods for Embedded Systems Summer Term 2006 University of Stuttgart Faculty of Computer Science, Electrical Engineering and

More information

Next-Generation Distributed Satellite Bus Information Systems

Next-Generation Distributed Satellite Bus Information Systems What s Coming on Spacecraft: Next-Generation Distributed Satellite Bus Information Systems L. H. Miller, M. M. Gorlick, D. L. Wangerin, C. A. Landauer The Aerospace Corporation 29 February 2012 The Aerospace

More information

Technische Universität Dresden Fakultät Informatik. Wikidata Toolkit. A Java library for working with Wikidata. Markus Krötzsch.

Technische Universität Dresden Fakultät Informatik. Wikidata Toolkit. A Java library for working with Wikidata. Markus Krötzsch. Technische Universität Dresden Fakultät Informatik Wikidata Toolkit A Java library for working with Wikidata Markus Krötzsch TU Dresden Preface These slides were used in a tutorial given at the Web Intelligence

More information

SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation

SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation Zhongqi Cheng, Tim Schmidt, Rainer Dömer Center for Embedded and Cyber-Physical Systems University of California, Irvine,

More information

UNIVERSAL VERIFICATION METHODOLOGY BASED VERIFICATION ENVIRONMENT FOR PCIE DATA LINK LAYER

UNIVERSAL VERIFICATION METHODOLOGY BASED VERIFICATION ENVIRONMENT FOR PCIE DATA LINK LAYER UNIVERSAL VERIFICATION METHODOLOGY BASED VERIFICATION ENVIRONMENT FOR PCIE DATA LINK LAYER Dr.T.C.Thanuja [1], Akshata [2] Professor, Dept. of VLSI Design & Embedded systems, VTU, Belagavi, Karnataka,

More information

PROGRAM SPECIFICATION INTRODUCTION

PROGRAM SPECIFICATION INTRODUCTION INTRODUCTION We start from: requirements specifications (made by the client) project plan financial feasibility study The comprehension of the requirements is essential Basically it is an analysis task

More information

A Design Methodology for Application-specific Real-Time Interfaces

A Design Methodology for Application-specific Real-Time Interfaces A Design Methodology for Application-specific Real-Time Interfaces S. Ihmor, M. Visarius, W. Hardt Informatik- und Prozess Labor (IPL), Paderborn University, {ihmor, visi, hardt }@upb.de Abstract The complexity

More information

Computational Intelligence

Computational Intelligence Computational Intelligence Winter Term 207/8 Prof Dr Günter Rudolph Lehrstuhl für Algorithm Engineering (LS ) Fakultät für Informatik TU Dortmund Slides prepared by Dr Nicola Beume (202) enriched with

More information

Charter of Trust. on Cybersecurity. charter-of-trust.com #Charter of Trust

Charter of Trust. on Cybersecurity. charter-of-trust.com #Charter of Trust Charter of Trust on Cybersecurity charter-of-trust.com #Charter of Trust Digitalization creates opportunities and risks Page 2 Digitalization creates Opportunities Billions of devices are being connected

More information

Piero Marcolongo, M.S. Alberto Bassanese Design Optimization Applied to the Solar Industry

Piero Marcolongo, M.S. Alberto Bassanese Design Optimization Applied to the Solar Industry Piero Marcolongo, M.S. piero@ozeninc.com Alberto Bassanese alberto.bassanese@ozeninc.com Design Optimization Applied to the Solar Industry Process Integration and Desing Optimization The P.I.D.O. (Process

More information

Requirements and Design Overview

Requirements and Design Overview Requirements and Design Overview Robert B. France Colorado State University Robert B. France O-1 Why do we model? Enhance understanding and communication Provide structure for problem solving Furnish abstractions

More information

We are the Leader in Type

We are the Leader in Type Monotype Safe Harbor This presentation contains forward-looking statements that involve significant risks and uncertainties, including those discussed in the Risk Factors section of Monotype Imaging Holdings

More information

Lectures 8 & 9. Lectures 7 & 8: Transactions

Lectures 8 & 9. Lectures 7 & 8: Transactions Lectures 8 & 9 Lectures 7 & 8: Transactions Lectures 7 & 8 Goals for this pair of lectures Transactions are a programming abstraction that enables the DBMS to handle recoveryand concurrency for users.

More information

Computational Geometry Exercise Duality

Computational Geometry Exercise Duality Computational Geometry Exercise Duality LEHRSTUHL FÜR ALGORITHMIK I INSTITUT FÜR THEORETISCHE INFORMATIK FAKULTÄT FÜR INFORMATIK Guido Brückner 20.07.2018 1 Duality Transforms We have seen duality for

More information

Control Performance-Aware System Level Design

Control Performance-Aware System Level Design Control Performance-Aware System Level Design Nina Mühleis, Michael Glaß, and Jürgen Teich Hardware/Software Co-Design, University of Erlangen-Nuremberg Email: {nina.muehleis, glass, teich}@cs.fau.de Abstract

More information

Mixed Critical Architecture Requirements (MCAR)

Mixed Critical Architecture Requirements (MCAR) Superior Products Through Innovation Approved for Public Release; distribution is unlimited. (PIRA AER200905019) Mixed Critical Architecture Requirements (MCAR) Copyright 2009 Lockheed Martin Corporation

More information

Development, Analysis and Evaluation of Cyber Resilience Strategies

Development, Analysis and Evaluation of Cyber Resilience Strategies Development, Analysis and Evaluation of Cyber Resilience Strategies Prof. Dr. Axel Lehmann Prof. Dr. Udo Helmbrecht Institut für Technische Informatik, Universität der Bundeswehr München, Germany European

More information