Assessing the SoP of MBE in the Embedded Systems Domain Xubo Miao MSc, School of Computing Supervisor: James R. Cordy.

Slides:



Advertisements
Similar presentations
Integration of MBSE and Virtual Engineering for Detailed Design
Advertisements

Sixteen Questions About Software Reuse William B. Frakes and Christopher J. Fox Communications of the ACM.
PRESENTED BY USHA GHIMIRE. Introduction-The need for MBSE MBSE now and present shortcomings A view of MBSE in the future Key advantages and disadvantages.
Metrics for Process and Projects
lamsweerde Part 2: Building System Models for RE © 2009 John Wiley and Sons 1 Part 2: Building System Models for RE Introduction.
Deanery of Business & Computer Sciences Research Methods Week 1 Collecting, Processing and Analyzing Data.
Software Quality Metrics
Empirically Assessing End User Software Engineering Techniques Gregg Rothermel Department of Computer Science and Engineering University of Nebraska --
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Verification and Validation l Assuring that a software system meets a user's.
CS351 © 2003 Ray S. Babcock Requirements What not How “The Pizza Experiment” 1994, 350 companies, 8000 software projects. 31% were canceled before they.
Design and Evaluation of Iterative Systems n For most interactive systems, the ‘design it right first’ approach is not useful. n The 3 basic steps in the.
Creating Architectural Descriptions. Outline Standardizing architectural descriptions: The IEEE has published, “Recommended Practice for Architectural.
CS350/550 Software Engineering Lecture 1. Class Work The main part of the class is a practical software engineering project, in teams of 3-5 people There.
Software Quality Assurance For Software Engineering && Architecture and Design.
FINAL REPORT: OUTLINE & OVERVIEW OF SURVEY ERRORS
Enjoyability of English Language Learning from Iranian EFL Learners' Perspective.
Highlighting the Challenges of Model- Based Engineering for Spaceflight Software Systems Dr. Rob Pettit Flight Software and Embedded Systems Office The.
This is a work of the U.S. Government and is not subject to copyright protection in the United States. The OWASP Foundation OWASP AppSec DC October 2005.
1CMSC 345, Version 4/04 Verification and Validation Reference: Software Engineering, Ian Sommerville, 6th edition, Chapter 19.
By Ryan Mowry.  Graphical models of system  Entire system or just parts  Complex systems easier to understand  “Capture key requirements and demonstrate.
Use of Multimedia in Engineering. Mechatronics engineering is based on the combination from three basic engineering field that is mechaninal, electronics.
CSC271 Database Systems Lecture # 20.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Business and Management Research
Power Point Slides by Ronald J. Shope in collaboration with John W. Creswell Chapter 13 Survey Designs.
Systems Analysis And Design © Systems Analysis And Design © V. Rajaraman MODULE 14 CASE TOOLS Learning Units 14.1 CASE tools and their importance 14.2.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation.
Introduction to SDLC: System Development Life Cycle Dr. Dania Bilal IS 582 Spring 2009.
Chapter 8 Architecture Analysis. 8 – Architecture Analysis 8.1 Analysis Techniques 8.2 Quantitative Analysis  Performance Views  Performance.
VTT-STUK assessment method for safety evaluation of safety-critical computer based systems - application in BE-SECBS project.
Team Skill 6: Building the Right System From Use Cases to Implementation (25)
 Explain the role of a system analyst.  Identify the important parts of SRS document.  Identify the important problems that an organization would face.
PAPER PRESENTATION: EMPIRICAL ASSESSMENT OF MDE IN INDUSTRY Erik Wang CAS 703.
Managing Marketing Information Chapter Learning Goals 1.Explain the importance of information to the company 2.Define the marketing information.
Reviewed By: Paul Varcholik University of Central Florida EEL 6883 – Software Engineering II Spring 2009 Wojciech James Dzidek, Erik.
Software Engineering EKT 420 MOHAMED ELSHAIKH KKF 8A – room 4.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 4, Requirements Elicitation.
Qualitative Research Interviews March 25, What Are Qualitative Interviews? “…attempts to understand the world from the subjects' point of view,
University of Southern California Center for Systems and Software Engineering Model-Based Software Engineering Supannika Koolmanojwong Spring 2013.
Chapter 1. Introduction.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
IS2210: Systems Analysis and Systems Design and Change Twitter:
1 Introduction to Software Engineering Lecture 1.
Experiences with certification of reusable components in the GSN project in Ericsson, Norway Parastoo Mohagheghi and Reidar Conradi Dept. Computer and.
By Team T-Rex James Houlihan And Gavin Herbert
Kendall & KendallCopyright © 2014 Pearson Education, Inc. Publishing as Prentice Hall4-1 Interactive Methods to collect Information Requirements Interviewing.
Software Architecture Evaluation Methodologies Presented By: Anthony Register.
IAD 2263: System Analysis and Design Chapter 3: Investigating System Requirements.
Toulouse, September 2003 Page 1 JOURNEE ALTARICA Airbus ESACS  ISAAC.
Market Research. Overview Market Research  The collection and analysis of information that is relevant to the marketing strategy  Types include: Consumer,
Generating Software Documentation in Use Case Maps from Filtered Execution Traces Edna Braun, Daniel Amyot, Timothy Lethbridge University of Ottawa, Canada.
Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 1: Introduction.
WERST – Methodology Group
Winter 2011SEG Chapter 11 Chapter 1 (Part 1) Review from previous courses Subject 1: The Software Development Process.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
Sixteen Questions About Software Reuse William B. Frakes and Christopher J. Fox Communications of the ACM.
Industrial Avionics Working Group 18/04/07 The Relationship Between the Design and Safety Domains in IAWG Modular Certification Part 2: Completeness of.
Sampling & Simulation Chapter – Common Sampling Techniques  For researchers to make valid inferences about population characteristics, samples.
“The Role of Experience in Software Testing Practice” A Review of the Article by Armin Beer and Rudolf Ramler By Jason Gero COMP 587 Prof. Lingard Spring.
Organisational relocation - the employee experience Peggie Rothe Ph.D. Student BES Research Group ERES 2011 June th, Eindhoven.
Survey Training Pack Session 3 – Questionnaire Design.
Software Design and Development Development Methodoligies Computing Science.
CHESS Methodology and Tool Federico Ciccozzi MBEES Meeting Sälen, January 2011 January 2011.
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 19Slide 1 Verification and Validation l Assuring that a software system meets a user's.
Laurea Triennale in Informatica – Corso di Ingegneria del Software I – A.A. 2006/2007 Andrea Polini XVII. Verification and Validation.
CSC 480 Software Engineering
The Systems Engineering Context
Verification and Validation
Experimental Software Engineering (ESE)
Presentation transcript:

Assessing the SoP of MBE in the Embedded Systems Domain Xubo Miao MSc, School of Computing Supervisor: James R. Cordy

1. Motivation MBE aims at increasing the effectiveness of engineering by using models as key artifacts in the development process. Only little work targeting the embedded systems domain The authors did a study on the use and the assessment of the MBE in embedded systems domain

2. Related Work Agner et al. present the results of a survey on the use of UML and model-driven approaches in the Brazilian embedded software development industry. – 45% of the 209 participants use UML. And the majority are experienced developers working at medium-sized companies. – Models are mainly used for documentation, with only little use of code generation or model-centric approaches in general.

2. Related Work (Cont’d) Kirstan and Zimmermann report a case study within the automotive domain. – Positive Effects: an earlier detection of errors, a higher degree of automation, and cost savings during the initial phases of development – Negative Effects: large function models can become too complex and that interoperability between tools is difficult.

3. Two Research Questions RQ1: What is the current SoP and the assessment of MBE in the embedded systems domain? – Modeling environments, modeling languages, types of notations, purposes that models are used for RQ2: How does the use and the assessment of MBE differ between different demographic subgroups in the embedded systems domain? – E.g. automotive and avionics domain, new and highly experienced MBE users

4.1 Research Methodology – Study Design The survey questionnaire consisted of 24 closed-ended and open-ended questions – 1 st Part: contains 13 questions gathering demographic data – 2 nd Part: contains 11 questions addressed RQ1 – Both 2 parts are considered together for answering RQ2. One Minute for you to go through the questionnaire

4.1 Research Methodology – Study Design (Cont’d) Derived 24 hypotheses from the related work to guide the data analysis for RQ1 Derived 8 hypotheses from their own view on MBE after designing the questionnaire to answer the RQ2 One Minute for you to go through all hypotheses

4.2 Research Methodology – Data Collection The surveys are distributed to partners from five different projects. 121 out of 196 surveys are completed. 9 surveys are excluded based on degradation points computed from missing answers and the time to fill out each survey page. Therefore, 112 answered surveys for data analysis

5.1 Results – RQ1: State of Practice Modeling tools and languages – Tools: most use Matlab/Simulink (50) or Eclipse-based MBE tools (34) – Notations: Finite State Machines (74), sequence-based models (64) and block diagrams (61) – F unctional aspects of a system participants already use models: structure (68), discrete state specifications (48) and static interfaces (47) are most common

5.1 Results – RQ1: State of Practice Needs for Introducing MBE

5.1 Results – RQ1: State of Practice Purposes of Models

5.1 Results – RQ1: State of Practice Positive & Negative Effects of MBE

5.1 Results – RQ1: State of Practice Shortcomings of MBE

5.2 Results – RQ2: Differences by Subgroups They use Fisher’s exact test (two-tailed) with a level of significance α ≤ H2.1, H2.6, H2.7 - p ≥ 0.05 H2.4 – not enough data for each subgroup in order to compare the groups Therefore, only H2.2, H2.3, H2.5, H2.8 are statistically significant.

5.2 Results – RQ2: H2.2 Traceability (p = ), safety (p = 0.018), and reusability (p = 0.019) Supporters perceive the effects of MBE on these three aspects significantly more positive than opponents and nuetrals.

5.2 Results – RQ2: H2.3 Cost (p = 0.016) and traceability (p = 0.006). Participants who are still using MBE report more positive effects on cost and traceability than participants who stopped using MBE. A possible explanation for the few significant differences might be that participants who stopped using MBE did so because they moved to a different position.

5.2 Results – RQ2: H2.5 Quality(p = 0.011) Participants who reported that many usability issues with tools mostly or fully applies rated the effects on quality slightly less positive than participants who reported that usability issues apply at most partly.

5.2 Results – RQ2: H2.8 Supporters: 51 of MBE reported to use MBE tools more than non-MBE tools or only MBE tools, and 18 reported to use less MBE tools than non-MBE tools or only MBE tools at all. Opponents and Neutrals: 5 and 13 MBE promoters use more MBE tools in comparison to subjects neutral or opposed to MBE.

6. Conclusion MBE is widespread in the embedded domain. Models are clearly not only used for informative and documentation purposes, but also used for simulation, code generation, test case generation, traceability and timing analysis. The survey respondents reported mostly positive effects of Model-Based Engineering