Markus Borg – Traceability and Safety Highlights

Slides:



Advertisements
Similar presentations
Black Box Testing Sources: Code Complete, 2 nd Ed., Steve McConnell Software Engineering, 5 th Ed., Roger Pressman Testing Computer Software, 2 nd Ed.,
Advertisements

1 1st TTCN-3 User Conference - Vendors Showcase - Telelogic AB P.O. Box 4128 SE Malmö Sweden Telelogic France 6/8 rue de la Réunion Courtaboeuf.
Professor John Hosking, Dean of Engineering and Computer Science Models, Modelling, MBSE.
Benjamin J. Deaver Advisor – Dr. LiGuo Huang Department of Computer Science and Engineering Southern Methodist University.
PROBLEMSOLUTION TECHNOLOGY Traceability relations between requirements and code are generally derived manually, and must be manually updated when software.
Visualization group department of mathematics and computer science eoi Expression of Interest Yedendra Shrinivasan Jing Li Aparajit Pratap (>1/9/07) Supervisor:
Westinghouse Atom Atom- 1 Design of Digital Safety Systems in NPP Improvements regarding: System Requirements, Engineering, Argumentation for a Safety.
Requirements Analysis 5. 1 CASE b505.ppt © Copyright De Montfort University 2000 All Rights Reserved INFO2005 Requirements Analysis CASE Computer.
Automated Requirements Traceability Study of the Analyst Presented by Jeff Holden Advisor Alex Dekhtyar.
FIGURE 1-1 A Computer System
Academic Excellence Cherie Noteboom Matt ISQA College of Information Science and Technology University of Nebraska at Omaha.
CAREERS IN THE TECH INDUSTRY Adam Stoffel. CAREERS IN THE TECH INDUSTRY WHO I AM Adam Stoffel Application Development Consultant Microsoft Public Sector.
EIA : “Automated Understanding of Captured Experience” Georgia Institute of Technology, College of Computing Investigators: Irfan Essa, G. Abowd,
The Integration Story: Rational Quality Manager / Team Foundation Server / Quality Center Introductions This presentation will provide an introduction.
Business Flow Modeller (BFM) Simplify and standardize your business processes across the project lifecycle.
Complete and Integrated Lifecycle Management. Challenges 1.
Assurance techniques for code generators Ewen Denney USRA/RIACS, NASA Ames Bernd Fischer ECS, U Southampton.
Dependency Tracking in software systems Presented by: Ashgan Fararooy.
Assessing the SoP of MBE in the Embedded Systems Domain Xubo Miao MSc, School of Computing Supervisor: James R. Cordy.
Leveraging Processing and Computing Improvements to Streamline Data Collection at the U.S. Statistics of Income Division of the IRS Barry Johnson and Melissa.
An Analysis of Challenges in Safety Certification and Implications for Traceability Research Mehrdad Sabetzadeh Interdisciplinary Centre for Security,
Model-Driven Approach for User Interface-Business Alignment Kênia Sousa Advisor: Jean Vanderdonckt Université catholique de Louvain (UCL) Louvain School.
Verification and Validation in the Context of Domain-Specific Modelling Janne Merilinna.
Abstract We present two Model Driven Engineering (MDE) tools, namely the Eclipse Modeling Framework (EMF) and Umple. We identify the structure and characteristic.
Knowledge-oriented Maintenance at the University of Ottawa Timothy C Lethbridge KOM Banff.
1 Multi-level Configuration Management with Fine-grained Logical Units Tien N. Nguyen Electrical and Computer Engineering Department Iowa State University.
Dagstuhl Seminar Software and Systems Traceability for Safety-Critical Projects Patrick Rempel* * Technische Universität Ilmenau.
Industrial Avionics Working Group 18/04/07 The Relationship Between the Design and Safety Domains in IAWG Modular Certification Part 2: Completeness of.
DBE Concept Paolo Dini LSE PEARDROP Meeting Bruxelles, 22 May 2007 Andrea Nicolai T6.
Lecture 1. Vidullan Surendran MSc Aerospace engineering Research: Emotional & Cognitive intelligence Advisor: Prof. Lyle Long Office: 234 Hammond Office.
SAMCAHNG Yun Goo Kim I. Formal Model Based Development & Safety Analysis II. UML (Model) Based Safety RMS S/W Development February KIM, YUN GOO.
ORION - A Component-Based Software Engineering Environment
Our Company, Our Mission, Our People -
Business Visit Report.
Safety Instrumented Systems
Generating Automated Tests from Behavior Models
SPANISH Results Schools comparison. SPANISH Results Schools comparison.
An Empirical Study for Exploring Reusable Packaging Attributes
5 Reasons why Manual Testing is still important in Agile Projects
Chapter 18 Maintaining Information Systems
COM S 326X Deep C Programming for the 21st Century Prof. Rozier
Computer Aided Software Engineering (CASE)
Applying a Research Prototype Tool in Industrial Practice
How to Write a High-Quality Technical Paper for Publication
Safety Instrumented Systems
Green IT CHAPTER 3: PROGRAMMATIC AND INSTITUTIONAL OPPORTUNITIES TO ENHANCE COMPUTER SCIENCE RESEARCH FOR SUSTAINABILITY.
Trace requirements. What do we mean by the term “Trace”? Why should we trace? 2 Requirements Life Cycle Management Trace Requirements.
Maritime Engineering Education (at DTU)
Introduction to Computers
Frequently asked questions about software engineering
SWE-795 Presentation 01 11/16/2018 Asking and Answering Questions during a Programming Change Task Jonathan Sillito, Member, IEEE Computer Society, Gail.
Software Refactoring Group
Module 5: Facilitating Compliance with Prefabrication
Aziz Nanthaamornphong, Ph.D Assistant Professor in Computer Science
AND TECHNICAL CONFERENCE
Le Moyne College Summer Math Academy
EMC2 – Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments
Master Dissertation Proposals
Workshop on the INSPIRE registry and registers
Lohmander, P., Adaptive Optimization of Forest
Department of Computer Science Abdul Wali Khan University Mardan
ORION - A Component-Based Software Engineering Environment
Area Number of Roadmaps %
Empirical Study on Component-Based Development
The University of Adelaide, School of Computer Science
The University of Adelaide, School of Computer Science
The University of Adelaide, School of Computer Science
By Hyunsook Do, Sebastian Elbaum, Gregg Rothermel
Paul Scerri and Nancy Reed
MSc. Research Methods Week 1- Introduction.
Presentation transcript:

Markus Borg – Traceability and Safety Highlights MSc Eng. Computer Science & Eng. 2002-2007 Development engineer, ABB 2007-2010 Process automation (IEC 61511) SIL 2 (IEC 61508) Editor and compiler development PhD student, Lund University 2010-2015 Empirical software engineering Related research highlights Systemetic review on IR-based tracing (link) Cross-domain survey on impact analysis (link) Tools for software evolution (link) PhD defense May 8 (Opponent: Prof. Serge Demeyer)

Traceability and Safety: Done Right! Bidirectional traceability recognized and maintained IEC 61508 second edition (2010) Testing activities and practices Regression testing, test automation, coverage testing etc. Change impact analysis on source code level Attracted much research Extensive literature studies: Lehnert (Tech. rep. 2011), Li et al. (STVR 2013), and Gethers et al. (ICSE’13) Tool support is used in industry 52.8% work with semi- to highly-automated tools de la Vara et al. (Tech. rep. 2014) 97 respondents

Traceability and Safety: Challenges... Change impact analysis beyond the source code level Considerably less research available Engineers prefer(?) to navigate the code repository Fully manual work Empirical Research on Safety-critical Systems in Industry Can neither use student projects (Borg et al., CSMR’13) nor OSS (Sulaman et al., SEAA’14) as surrogate systems Knowledge Sharing Between Industry Sectors Not happening in Sweden! Missed opportunity rather than pressing challenge