1 / 8

Research at Siemens CT SE

Research at Siemens CT SE. Dr. Andreas Ulrich Siemens AG, CT SE 1 ph.: +49 (89) 636 47018 andreas.ulrich@siemens.com. Solna. Eynsham. Issaquah. Auburn Hills. Paderborn. Helsinki. Redmond. Bracknell. Bristol. Mississauga. Chicago. Berlin. Roke Manor. Burlington. Concord.

idra
Download Presentation

Research at Siemens CT SE

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Research at Siemens CT SE Dr. Andreas Ulrich Siemens AG, CT SE 1 ph.: +49 (89) 636 47018 andreas.ulrich@siemens.com

  2. Solna Eynsham Issaquah Auburn Hills Paderborn Helsinki Redmond Bracknell Bristol Mississauga Chicago Berlin Roke Manor Burlington Concord Berkeley Dresden Erlangen Danvers Brussels Paris Palo Alto Santa Clara Pittsburgh Piscataway Regensburg Karlsruhe Sacramento Bratislava San Jose Zürich Princeton Raleigh Beijing Wien Budapest Toulouse Chang Chun Arlington Newport News Tokyo Graz Seoul Munich Istanbul Norcross Austin Porto Tian Jin Xian Linz Yokohama Orlando Ichon Grenoble Lissabon Nanjing Tel Aviv Salzburg Chengdu Boca Raton Madrid Shanghai Milano New Dehli Taipeh Bombay Bangalore Penang Singapur Johannesburg Sao Paulo Curitiba Sydney Buenos Aires Melbourne places with CT activities Siemens: 56,870 R&D Employees Worldwide, Thereof 25,000 Outside of Germany CT / E 026 a - 08.01

  3. Overview: CT Department “Software & Engineering” • Department “Software & Engineering” in the Corporate Technology Division (CT SE) • About 220 employees • Located in Munich and Erlangen • 5 Competence Centers • Development techniques for SW systems • SW architectures • Development processes • Discrete optimization techniques • Industrial services and solutions • CT SE mission • Support of Siemens’ divisions in their R&D activities Consultancy in projects • Information & Communication, Medical Solutions, Automation & Control, Transportation Systems, Power Transmission and Distribution, etc. • Guarantee competitiveness of Siemens in the field of SW development for the future  Research

  4. Overview: CT SE “Development Techniques” • Groups of CT SE “Dev. Techniques” and their activities • Requirement engineering and formal SW verification • Performance engineering • Testing and quality assurance • New development techniques for smart devices • Research in the “Testing and Quality Assurance” group • Property validation of distributed and concurrent systems based on observed communication traces • Non-intrusive trace generation for CORBA, .NET and embedded systems • Analysis of traces to improve dependability and trustworthiness of systems • Test architectures for distributed and concurrent systems • Test automation solutions for .NET applications and Web services • Test automation in the telecommunication domain • Involvements in Siemens consultancy projects (examples) • I&C: Test automation in system test of GSM Base Stations • Med: Testing strategies for computer tomography devices

  5. Research Project: Analysis of Comm. Traces • Partner of the project “Pattern-based analysis of communication traces for distributed systems” (TRACY) • Prof. Alexandre PetrenkoCentre de Recherche Informatique (CRIM), Montréal, Canada • Ongoing cooperation since 2000 • Problem description • Given • An executed trace collected by monitoring a system under test • A set of properties of interest • Verify whether the system’s behavior represented by the trace exhibits the given properties (patterns)

  6. distributed system of processes ... Event Event Monitoring Tool Trace Front-End to OG System Pattern Specification Specification User Interface SDL Model GOAL Observer OG Simulator Model checkingresults: 1- Pattern present or not 2- Scenarios Operator Trace Analysis Approach • Front-end tool to Telelogic ObjectGEODE • Model reconstruction in SDL from an observed trace • Template library of general properties • Event-based and state-based properties • Described in GOAL language (similar to SDL)

  7. Potential Research Topics for DeSIRE (1) • Improve current testing techniques to support dependability of complex real-time systems • Special focus on integration testing • Increasing complexity of systems pushes system testing to its limit • Increasing usage of Components-Off-The-Shelf • Definition of test stop criteria • Support of an incremental development and test process • Incremental development is general practice in industries • Product line development • New approaches must be able to deal with incomplete and changing requirements, design and test specifications

  8. Potential Research Topics for DeSIRE (2) • Passive testing • Developing tracing technologies to capture the behavior of concurrent systems • E.g. based on existing protocol analyzers • Improve facilities to support the description of safety, reliability, security properties for practitioners • Hiding complex formalisms to the user, e.g. temporal logic • Active testing • Design of test architectures that scale with the system’s complexity • Decentralized test execution, synthesis of concurrent test cases, test case selection • Techniques to replay recorded communication traces for the purpose of regression tests • Avoid the re-occurrence of detected faults in future versions of the system

More Related