Software Requirements

Size: px
Start display at page:

Download "Software Requirements"

Transcription

1 Embedded Systems Software Training Center Software Requirements Copyright 2011 DSR Corporation

2 Agenda 1. The Requirements Process 2. Requirements Documentation 3. Requirements Quality 4. Requirements Notations 5. Requirements Validation and Verification 6. Requirements Management Tools 7. Requirements Prototyping Copyright 2011 DSR Corporation 2

3 1. The Requirements Process Requirements Input Example Implement a control panel Sensors send information to Control Panel (CP). CP processes, stores it, and sends combined information to CDMS The reports can be shown on Local PC via Web interface. Configuration is enabled Network Sensors Network Control panel Summary data Central data management system Reports System Overview Sensors: AC 1 AR 4 AZD 4 Developing Firmware Web Application Source code and Binary Control Local PC Copyright 2011 DSR Corporation 3

4 1. The Requirements Process Why are Requirements Important? (cont.) Jone and Thayes's studies show that 35% of the faults to design activities for projects of 30,000-35,000 delivered source instructions 10% of the faults to requirements activities and 55% of the faults to design activities for projects of 40,000-80,000 delivered source instructions 8% to 10% of the faults to requirements activities and 40% to 55% of the faults to design activities for projects of 65,000-85,000 delivered source instructions Basili and Perricone report 48% of the faults observed in a medium-scale software project were attributed to incorrect or misinterpreted functional specification or requirements Beizer attributes 8.12% of the faults in his samples to problems in functional requirements Pfleeger and Atlee, Software Engineering: Theory and Practice, Chapter 4 Copyright 2011 DSR Corporation 4

5 1. The Requirements Process Performed by the requirements analyst, system analyst, or business analyst The final outcome is a Software Requirements Specification (SRS) document Pfleeger and Atlee, Software Engineering: Theory and Practice, Chapter 4 Copyright 2011 DSR Corporation 5

6 2. Requirements Documentation IEEE Standard for SRS 1. Introduction to the Document 3. Specific Requirements 1.1 Purpose of the Product 1.2 Scope of the Product 1.3 Acronyms, Abbreviations, Definitions 1.4 References 1.5 Outline of the rest of the SRS 2. General Description of Product 2.1 Context of Product 2.2 Product Functions 2.3 User Characteristics 2.4 Constraints 2.5 Assumptions and Dependencies 3.1 External Interface Requirements User Interfaces Hardware Interfaces Software Interfaces Communications Interfaces 3.2 Functional Requirements Class Class Quality Requirements 3.4 Constraints 3.5 Other Requirements 4. Appendices Based on IEEE Std , IEEE Recommended Practice for Software Requirements Specifications Copyright 2011 DSR Corporation 6

7 3. Requirements Quality Examples Unambiguous, Testable, Complete Incorrect : R1000. The screen allows to input the following information: length, temperature, distance, and current time Correct: R1000. The sсreen shall allow to input the following information: length in meters, temperature in 0 C, current date and time in the YYYY-MM-DD HH:MM:SS format, respectively Copyright 2011 DSR Corporation 7

8 3. Requirements Quality Examples (cont.) Unambiguous, Testable, Complete Incorrect : R1000 In the case where emergency is identified as a result of the sensor data processing, the system sends the appropriated message to the CDMS immediately Correct: R1000: The system SHALL create the emergency message as a result of the sensor data processing if the following conditions are met # Condition Message R1001 <condition> <message format> R1010 The system MUST send the emergency message created as defined in R1000 to the CDMS within 1 sec R1020 The maximum amount of the emergency messages that can be created by the system as defined in R1000 SHALL be 1000 per 1 hour Copyright 2011 DSR Corporation 8

9 3. Requirements Quality Examples (cont.) Consistency Incorrect (inconsistent): R1000 The system MUST support maximum of 10 sensors connected concurrently R1010 The system response time MUST not exceed 10 ms when 20 sensors are connected to it concurrently Correct (consistent): R1000 The system MUST support maximum of 20 sensors connected to it concurrently R1010 The REQUIRED maximum system response time in dependency to the amount of sensors connected concurrently is shown in Table 1: # Sensors connected Max response time, ms R R Copyright 2011 DSR Corporation 9

10 4. Requirements Notations Semi-Formal Languages (cont.) UML diagram example: sequence diagram Pfleeger and Atlee, Software Engineering: Theory and Practice, Chapter 4 Copyright 2011 DSR Corporation 10

11 4. Requirements Notations Semi-Formal Languages (cont.) UML diagram example: Turnstile -- finite state machine Pfleeger and Atlee, Software Engineering: Theory and Practice, Chapter 4 Copyright 2011 DSR Corporation 11

12 4. Requirements Notations Semi-Formal Languages (cont.) UML diagram: Jackson s finite state machine example (incomplete requirement) Pfleeger and Atlee, Software Engineering: Theory and Practice, Chapter 4 Copyright 2011 DSR Corporation 12

13 5. Requirements Validation and Verification Requirements Rating: Testers/Designers Profiles Figure (a) shows profiles with mostly 1s and 2s The requirements are in good shape Figure (b) shows profiles with mostly 4s and 5s The requirements should be revised Pfleeger and Atlee, Software Engineering: Theory and Practice, Chapter 4 Copyright 2011 DSR Corporation 13

14 References 1. Software Engineering: Theory and Practice / Shari Lawrence Pfleeger 2. SWEBOK. Guide to the Software Engineering. Body of Knowledge Version / A project of the IEEE Computer Society Professional Practices Committee 3. IEEE Std , IEEE Standard Glossary of Software Engineering Terminology 4. IEEE Std , IEEE Recommended Practice for Software Requirements Specifications 5. Network Working Group. RFC2119. Key words for use in RFCs to Indicate Requirement Levels 6. OMG Unified Modeling LanguageTM (OMG UML), Version Z.100 : Specification and Description Language (SDL) 8. Writing Software Requirements Specifications by Donn Le Vie, Jr Quality Evaluation of Software Requirements Specifications F. Fabbrini, M. Fusani, S. Gnesi, G. Lami I.E.I. - C.N.R. Pisa, Italy. 9. UML Distilled: A Brief Guide to the Standard Object Modeling Language, Third Edition By Martin Fowler 10. UML 2.0 in a Nutshell By Dan Pilone, Neil Pitman Copyright 2011 DSR Corporation 14

Introduction to Software Engineering

Introduction to Software Engineering EMBEDDED SYSTEMS SOFTWARE TRAINING CENTER Introduction to Software Engineering COPYRIGHT 2011 DSR CORPORATION 1. What is Software Engineering? Solving Problems (cont.) The Analysis Process COPYRIGHT 2011

More information

Requirements Analysis aka Requirements Engineering. Requirements Elicitation Process

Requirements Analysis aka Requirements Engineering. Requirements Elicitation Process C870, Advanced Software Engineering, Requirements Analysis aka Requirements Engineering Defining the WHAT Requirements Elicitation Process Client Us System SRS 1 C870, Advanced Software Engineering, Requirements

More information

IECI Chapter Japan Series Vol. 5 No. 2, 2003 ISSN

IECI Chapter Japan Series Vol. 5 No. 2, 2003 ISSN IECI Chapter Japan Series Vol. 5 No. 2, 2003 ISSN 1344-7491 Proceedings of the IECI Japan Workshop 2003 IJW-2003 April 20 th, 2003 Chofu Bunka-Kaikan Tazukuri Tokyo, Japan Organized by Indonesian Society

More information

CSE - Annual Research Review. From Informal WinWin Agreements to Formalized Requirements

CSE - Annual Research Review. From Informal WinWin Agreements to Formalized Requirements CSE - Annual Research Review From Informal WinWin Agreements to Formalized Requirements Hasan Kitapci hkitapci@cse.usc.edu March 15, 2005 Introduction Overview EasyWinWin Requirements Negotiation and Requirements

More information

Software Requirements Specification

Software Requirements Specification War Room Systems Vito Salerno Jeff Segall Ian Yoder Josh Zenker March 19, 2009 Revision 1.1 Approval Sheet Chris DiJoseph Date Chris Dulsky Date Greta Evans Date Isaac Gerhart-Hines Date Oleg Pistolet

More information

2.1 Introduction. Purpose. Scope

2.1 Introduction. Purpose. Scope SOFTWARE REQUIREMENT SPECIFICATION 2.1 Introduction Chennemane is a traditional folk game of Dakshina Kannada. In this project we are going to implement the game and preserve the traditionalism of our

More information

IBM Software Group. Mastering Requirements Management with Use Cases Module 2: Introduction to RMUC

IBM Software Group. Mastering Requirements Management with Use Cases Module 2: Introduction to RMUC IBM Software Group Mastering Requirements Management with Use Cases Module 2: Introduction to RMUC 1 Objectives Define key requirements management terms. Identify contributing factors to project success

More information

DMR Radio Authorization Operation Guide

DMR Radio Authorization Operation Guide DMR Radio Authorization Copyright Information Hytera is the trademark or registered trademark of Hytera Communications Corporation Limited in PRC and/or other countries or areas. Hytera retains the ownership

More information

Requirements Gathering using Object- Oriented Models

Requirements Gathering using Object- Oriented Models Requirements Gathering using Object- Oriented Models Cycle de vie d un logiciel Software Life Cycle The "software lifecycle" refers to all stages of software development from design to disappearance. The

More information

BACKPLANE ETHERNET CONSORTIUM

BACKPLANE ETHERNET CONSORTIUM BACKPLANE ETHERNET CONSORTIUM Clause 72 10GBASE-KR PMD Test Suite Version 1.1 Technical Document Last Updated: June 10, 2011 9:28 AM Backplane Ethernet Consortium 121 Technology Drive, Suite 2 Durham,

More information

UML and Patterns.book Page 52 Thursday, September 16, :48 PM

UML and Patterns.book Page 52 Thursday, September 16, :48 PM UML and Patterns.book Page 52 Thursday, September 16, 2004 9:48 PM UML and Patterns.book Page 53 Thursday, September 16, 2004 9:48 PM Chapter 5 5 EVOLUTIONARY REQUIREMENTS Ours is a world where people

More information

Introduction to Software Engineering

Introduction to Software Engineering Introduction to Software Engineering Somnuk Keretho, Assistant Professor Department of Computer Engineering Faculty of Engineering, Kasetsart University Email: sk@nontri.ku.ac.th URL: http://www.cpe.ku.ac.th/~sk

More information

Towards a Framework for Feature Deduplication during Software Product Lines Evolution

Towards a Framework for Feature Deduplication during Software Product Lines Evolution Towards a Framework for Feature Deduplication during Software Product Lines Evolution Amal Khtira (Supervised by Prof. Bouchra El Asri) IMS Team, SIME Laboratory, ENSIAS, Mohammed V University Rabat, Morocco

More information

Component Based Mechatronics Modelling Methodology

Component Based Mechatronics Modelling Methodology Component Based Mechatronics Modelling Methodology R.Sell, M.Tamre Department of Mechatronics, Tallinn Technical University, Tallinn, Estonia ABSTRACT There is long history of developing modelling systems

More information

BiSS Interface AN18: BiSS C ANALYZER

BiSS Interface AN18: BiSS C ANALYZER Rev A3, Page 1/7 CONTENTS BASIC OPERATION 1 Clock rates................... 1 BiSS analyzer modes............. 2 2 BiSS ANALYZER INSTALLATION 2 ELECTRICAL INTERFACE 2 RS422 BiSS Encoder Interface........

More information

Volere Partial Example Requirements Specification

Volere Partial Example Requirements Specification Volere Partial Example Requirements Specification for EasyLife Ltd. Universal Entertainment Controller This partial example is intended for users of the Volere Requirements Template. The example illustrates

More information

Course Outline Department of Computing Science Faculty of Science

Course Outline Department of Computing Science Faculty of Science Course Outline Department of Computing Science Faculty of Science COMP 2920 3 Software Architecture & Design (3,1,0) Fall, 2015 Instructor: Phone/Voice Mail: Office: E-Mail: Office Hours: Calendar /Course

More information

CIS 890: High-Assurance Systems

CIS 890: High-Assurance Systems CIS 890: High-Assurance Systems Hazard Analysis Lecture: Failure Modes, Effects, and Criticality Analysis Copyright 2016, John Hatcliff, Kim Fowler. The syllabus and all lectures for this course are copyrighted

More information

Clause 71 10GBASE-KX4 PMD Test Suite Version 0.2. Technical Document. Last Updated: April 29, :07 PM

Clause 71 10GBASE-KX4 PMD Test Suite Version 0.2. Technical Document. Last Updated: April 29, :07 PM BACKPLANE CONSORTIUM Clause 71 10GBASE-KX4 PMD Test Suite Version 0.2 Technical Document Last Updated: April 29, 2008 1:07 PM Backplane Consortium 121 Technology Drive, Suite 2 Durham, NH 03824 University

More information

IEEE Broadband Wireless Access Working Group < Proposed PAR to convert P802.16d from Amendment to Revision

IEEE Broadband Wireless Access Working Group <  Proposed PAR to convert P802.16d from Amendment to Revision 2003-05-15 IEEE C802.16-03/08 Project Title Date Submitted IEEE 802.16 Broadband Wireless Access Working Group Proposed PAR to convert P802.16d from Amendment to Revision 2003-05-15

More information

10 GIGABIT ETHERNET CONSORTIUM

10 GIGABIT ETHERNET CONSORTIUM 10 GIGABIT ETHERNET CONSORTIUM Clause 54 10GBASE-CX4 PMD Test Suite Version 1.0 Technical Document Last Updated: 18 November 2003 10:13 AM 10Gigabit Ethernet Consortium 121 Technology Drive, Suite 2 Durham,

More information

EMBEDDED SYSTEM DESIGN

EMBEDDED SYSTEM DESIGN EMBEDDED SYSTEM DESIGN Embedded System Design by PETER MARWEDEL University of Dortmund, Germany A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN-10 0-387-29237-3

More information

IEEE Major Revision of Interconnection Standard

IEEE Major Revision of Interconnection Standard IEEE 1547-2018 - Major Revision of Interconnection Standard NRECA & APA s Emerging Priorities in Energy Research Day, Anchorage, AK Charlie Vartanian PE Secretary, IEEE 1547 Working Group October 31, 2018

More information

AN0503 Using swarm bee LE for Collision Avoidance Systems (CAS)

AN0503 Using swarm bee LE for Collision Avoidance Systems (CAS) AN0503 Using swarm bee LE for Collision Avoidance Systems (CAS) 1.3 NA-14-0267-0019-1.3 Document Information Document Title: Document Version: 1.3 Current Date: 2016-05-18 Print Date: 2016-05-18 Document

More information

Requirements elicitation and specification using the agent paradigm: the case study of an aircraft turnaround simulator

Requirements elicitation and specification using the agent paradigm: the case study of an aircraft turnaround simulator 1 Requirements elicitation and specification using the agent paradigm: the case study of an aircraft turnaround simulator Tim Miller, University of Melbourne Bin Lu, University of Melbourne Leon Sterling,

More information

GIGABIT ETHERNET CONSORTIUM

GIGABIT ETHERNET CONSORTIUM GIGABIT ETHERNET CONSORTIUM Clause 126 2.5G/5GBASE-T PMA Test Suite Version 1.2 Technical Document Last Updated: March 15, 2017 2.5, 5 and 10 Gigabit Ethernet Testing Service 21 Madbury Road, Suite 100

More information

The case study Encounter Section About case studies. Encounter

The case study Encounter Section About case studies. Encounter 4 th Workshop Software Engineering Education and Reverse Engineering Zagreb, 5 12 September 2004 The case study Encounter Section About case studies Živana Komlenov Department of Mathematics and Informatics

More information

Automated Driving Systems with Model-Based Design for ISO 26262:2018 and SOTIF

Automated Driving Systems with Model-Based Design for ISO 26262:2018 and SOTIF Automated Driving Systems with Model-Based Design for ISO 26262:2018 and SOTIF Konstantin Dmitriev The MathWorks, Inc. Certification and Standards Group 2018 The MathWorks, Inc. 1 Agenda Use of simulation

More information

10GECTHE 10 GIGABIT ETHERNET CONSORTIUM

10GECTHE 10 GIGABIT ETHERNET CONSORTIUM 10GECTHE 10 GIGABIT ETHERNET CONSORTIUM 10GBASE-T Clause 55 PMA Electrical Test Suite Version 1.0 Technical Document Last Updated: September 6, 2006, 3:00 PM 10 Gigabit Ethernet Consortium 121 Technology

More information

Accredited calibration of field strength meters

Accredited calibration of field strength meters Accredited calibration of field strength meters Calibration laboratory accredited in accordance with DIN EN ISO/IEC 17025:2005 by the Deutsche Akkreditierungsstelle (DAkkS) Application oriented calibration

More information

40 AND 100 GIGABIT ETHERNET CONSORTIUM

40 AND 100 GIGABIT ETHERNET CONSORTIUM 40 AND 100 GIGABIT ETHERNET CONSORTIUM Clause 85 40GBASE-CR4 and 100GBASE-CR10 Cable Assembly Test Suite Version 1.0 Technical Document Last Updated: April 9, 2014 40 and 100 Gigabit Ethernet Consortium

More information

Towards Integrated System and Software Modeling for Embedded Systems

Towards Integrated System and Software Modeling for Embedded Systems Towards Integrated System and Software Modeling for Embedded Systems Hassan Gomaa Department of Computer Science George Mason University, Fairfax, VA hgomaa@gmu.edu Abstract. This paper addresses the integration

More information

ENGAGE MSU STUDENTS IN RESEARCH OF MODEL-BASED SYSTEMS ENGINEERING WITH APPLICATION TO NASA SOUNDING ROCKET MISSION

ENGAGE MSU STUDENTS IN RESEARCH OF MODEL-BASED SYSTEMS ENGINEERING WITH APPLICATION TO NASA SOUNDING ROCKET MISSION 2017 HAWAII UNIVERSITY INTERNATIONAL CONFERENCES SCIENCE, TECHNOLOGY & ENGINEERING, ARTS, MATHEMATICS & EDUCATION JUNE 8-10, 2017 HAWAII PRINCE HOTEL WAIKIKI, HONOLULU, HAWAII ENGAGE MSU STUDENTS IN RESEARCH

More information

Software Verification and Validation. Prof. Lionel Briand Ph.D., IEEE Fellow

Software Verification and Validation. Prof. Lionel Briand Ph.D., IEEE Fellow Software Verification and Validation Prof. Lionel Briand Ph.D., IEEE Fellow 1 Lionel s background Worked in industry, academia, and industry-oriented research institutions France, USA, Germany, Canada,

More information

Model Based Systems Engineering

Model Based Systems Engineering Model Based Systems Engineering SAE Aerospace Standards Summit 25 th April 2017 Copyright 2017 by INCOSE Restrictions on use of the INCOSE SE Vision 2025 are contained on slide 22 1 Agenda and timings

More information

Towards an Architecture Maintainability Maturity Model (AM 3 )

Towards an Architecture Maintainability Maturity Model (AM 3 ) Towards an Architecture Maintainability Maturity Model (AM 3 ) Christoph Rathfelder, Henning Groenda FZI Forschungszentrum Informatik, Software Engineering, Haid-und-Neu-Straße 10-14, 76131 Karlsruhe {rathfelder,

More information

R3ST for Requirements Recovery of Legacy Runtime Code

R3ST for Requirements Recovery of Legacy Runtime Code R3ST for Requirements Recovery of Legacy Runtime Code Eko K. Budiardjo, Elviawaty M. Zamzami, and Wahyudianto, Member, IACSIT Abstract In reality, we often find that proven and workable software, exist

More information

EGS-CC. System Engineering Team. Commonality of Ground Systems. Executive Summary

EGS-CC. System Engineering Team. Commonality of Ground Systems. Executive Summary System Engineering Team Prepared: System Engineering Team Date: Approved: System Engineering Team Leader Date: Authorized: Steering Board Date: Restriction of Disclosure: The copyright of this document

More information

Towards an MDA-based development methodology 1

Towards an MDA-based development methodology 1 Towards an MDA-based development methodology 1 Anastasius Gavras 1, Mariano Belaunde 2, Luís Ferreira Pires 3, João Paulo A. Almeida 3 1 Eurescom GmbH, 2 France Télécom R&D, 3 University of Twente 1 gavras@eurescom.de,

More information

TOWARDS AN UNIFIED APPROACH FOR MODELING AND ANALYSIS OF REAL-TIME EMBEDDED SYSTEMS USING MARTE/UML

TOWARDS AN UNIFIED APPROACH FOR MODELING AND ANALYSIS OF REAL-TIME EMBEDDED SYSTEMS USING MARTE/UML International Journal of Computer Science and Applications, Technomathematics Research Foundation Vol. 12, No. 1, pp. 117 126, 2015 TOWARDS AN UNIFIED APPROACH FOR MODELING AND ANALYSIS OF REAL-TIME EMBEDDED

More information

80403NT11218A Rev

80403NT11218A Rev APPLICABILITY TABLE PRODUCT JF2 JN3 SPECIFICATIONS SUBJECT TO CHANGE WITHOUT NOTICE Notice While reasonable efforts have been made to assure the accuracy of this document, Telit assumes no liability resulting

More information

By the end of this chapter, you should: Understand what is meant by engineering design. Understand the phases of the engineering design process.

By the end of this chapter, you should: Understand what is meant by engineering design. Understand the phases of the engineering design process. By the end of this chapter, you should: Understand what is meant by engineering design. Understand the phases of the engineering design process. Be familiar with the attributes of successful engineers.

More information

Model-Based Systems Engineering Methodologies. J. Bermejo Autonomous Systems Laboratory (ASLab)

Model-Based Systems Engineering Methodologies. J. Bermejo Autonomous Systems Laboratory (ASLab) Model-Based Systems Engineering Methodologies J. Bermejo Autonomous Systems Laboratory (ASLab) Contents Introduction Methodologies IBM Rational Telelogic Harmony SE (Harmony SE) IBM Rational Unified Process

More information

AN4392 Application note

AN4392 Application note Application note Using the BlueNRG family transceivers under ARIB STD-T66 in the 2400 2483.5 MHz band Introduction BlueNRG family devices are very low power Bluetooth low energy (BLE) devices compliant

More information

2.5G/5G/10G ETHERNET Testing Service

2.5G/5G/10G ETHERNET Testing Service 2.5G/5G/10G ETHERNET Testing Service Clause 126 2.5G/5GBASE-T PMA Test Plan Version 1.3 Technical Document Last Updated: February 4, 2019 2.5, 5 and 10 Gigabit Ethernet Testing Service 21 Madbury Road,

More information

Understanding Requirements. Slides copyright 1996, 2001, 2005, 2009, 2014 by Roger S. Pressman. For non-profit educational use only

Understanding Requirements. Slides copyright 1996, 2001, 2005, 2009, 2014 by Roger S. Pressman. For non-profit educational use only Chapter 8 Understanding Requirements Slide Set to accompany Software Engineering: A Practitioner s Approach, 8/e by Roger S. Pressman and Bruce R. Maxim Slides copyright 1996, 2001, 2005, 2009, 2014 by

More information

Requirements Engineering I

Requirements Engineering I Requirements Engineering I Martin Glinz Department of Informatics, University of Zurich www.ifi.uzh.ch/~glinz Department of Informatics! Requirements Engineering Research Group" 2014 Martin Glinz. All

More information

ETHERNET TESTING SERVICES

ETHERNET TESTING SERVICES ETHERNET TESTING SERVICES 10BASE-Te Embedded MAU Test Suite Version 1.1 Technical Document Last Updated: June 21, 2012 Ethernet Testing Services 121 Technology Dr., Suite 2 Durham, NH 03824 University

More information

Moonzoo Kim. KAIST CS350 Intro. to SE Spring

Moonzoo Kim. KAIST CS350 Intro. to SE Spring Chapter 7 Requirements Engineering Moonzoo Kim CS Division of EECS Dept. KAIST moonzoo@cs.kaist.ac.kr http://pswlab.kaist.ac.kr/courses/cs350-07 ac kr/courses/cs350 07 Spring 2008 1 Requirements Engineering-I

More information

Final Progress Report for Award FA Project: Trace Effect Analysis for Software Security PI: Dr. Christian Skalka The University of

Final Progress Report for Award FA Project: Trace Effect Analysis for Software Security PI: Dr. Christian Skalka The University of Final Progress Report for Award FA9550-06-1-0313 Project: Trace Effect Analysis for Software Security PI: Dr. Christian Skalka The niversity of Vermont, Burlington, VT 05405 February 28, 2010 REPORT DOCMENTATION

More information

Distributed Systems Programming (F21DS1) Formal Methods for Distributed Systems

Distributed Systems Programming (F21DS1) Formal Methods for Distributed Systems Distributed Systems Programming (F21DS1) Formal Methods for Distributed Systems Andrew Ireland Department of Computer Science School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh

More information

New Idea In Waterfall Model For Real Time Software Development

New Idea In Waterfall Model For Real Time Software Development New Idea In Waterfall Model For Real Time Software Development Unnati A. Patel a, Niky K. Jain b a Assistant Professor, M.Sc (IT) Department, ISTAR, Vallabh Vidya Nagar, Gujarat b Assistant Professor,

More information

Pervasive Services Engineering for SOAs

Pervasive Services Engineering for SOAs Pervasive Services Engineering for SOAs Dhaminda Abeywickrama (supervised by Sita Ramakrishnan) Clayton School of Information Technology, Monash University, Australia dhaminda.abeywickrama@infotech.monash.edu.au

More information

EDS FAULT LEVELS

EDS FAULT LEVELS Document Number: EDS 08-1110 Network(s): Summary: EPN, LPN, SPN ENGINEERING DESIGN STANDARD EDS 08-1110 FAULT LEVELS This standard provides guidance on the calculation, application and availability of

More information

You can now configure the information you want to display on the four lines available from the following parameters.

You can now configure the information you want to display on the four lines available from the following parameters. Title: 4-line display features Pag. 1 di 5 You can now configure the information you want to display on the four lines available from the following parameters. - Measured value: current and voltage value.

More information

Developing and Distributing a CubeSat Model-Based Systems Engineering (MBSE) Reference Model

Developing and Distributing a CubeSat Model-Based Systems Engineering (MBSE) Reference Model Developing and Distributing a CubeSat Model-Based Systems Engineering (MBSE) Reference Model Dave Kaslow International Council on Systems Engineering (INCOSE) Space Systems Working Group (SSWG) INCOSE

More information

GIGABIT ETHERNET CONSORTIUM

GIGABIT ETHERNET CONSORTIUM GIGABIT ETHERNET CONSORTIUM Clause 40 1000BASE-T Energy Efficient Ethernet Test Suite Version 1.0 Technical Document Last Updated: December 10, 2010 3:43 PM Gigabit Ethernet Consortium 121 Technology Drive,

More information

A FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING

A FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING A FRAMEWORK FOR PERFORMING V&V WITHIN REUSE-BASED SOFTWARE ENGINEERING Edward A. Addy eaddy@wvu.edu NASA/WVU Software Research Laboratory ABSTRACT Verification and validation (V&V) is performed during

More information

Formalising Concurrent UML State Machines Using Coloured Petri Nets

Formalising Concurrent UML State Machines Using Coloured Petri Nets KSE 2014 October 10th, 2014 Hanoi Formalising Concurrent UML State Machines Using Coloured Petri Nets Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy Université Paris 13, Sorbonne Paris Cité,

More information

FM p.i-xxii 4/2/04 11:39 AM Page v. Preface

FM p.i-xxii 4/2/04 11:39 AM Page v. Preface FM p.i-xxii 4/2/04 11:39 AM Page v The first edition of this textbook on software engineering was published more than twenty years ago. That edition was written using a dumb terminal attached to an early

More information

Project Superfinish. Full-Production Superfinishing Machine ELECOMP Capstone Design Project

Project Superfinish. Full-Production Superfinishing Machine ELECOMP Capstone Design Project Project Superfinish Full-Production Superfinishing Machine ELECOMP Capstone Design Project 2018-2019 Sponsoring Company Supfina Machine Company, Inc. 181 Circuit Drive, North Kingstown RI 02852 Phone:

More information

UMLEmb: UML for Embedded Systems. II. Modeling in SysML. Eurecom

UMLEmb: UML for Embedded Systems. II. Modeling in SysML. Eurecom UMLEmb: UML for Embedded Systems II. Modeling in SysML Ludovic Apvrille ludovic.apvrille@telecom-paristech.fr Eurecom, office 470 http://soc.eurecom.fr/umlemb/ @UMLEmb Eurecom Goals Learning objective

More information

ISO INTERNATIONAL STANDARD

ISO INTERNATIONAL STANDARD INTERNATIONAL STANDARD ISO 10303-519 First edition 2000-03-01 Industrial automation systems and integration Product data representation and exchange Part 519: Application interpreted construct: Geometric

More information

Introduction to Engineering Design

Introduction to Engineering Design Introduction to Engineering Design Final Examination Parts A, B & C ANSWER KEY Spring 2008 For Teacher Use ONLY Part A Scoring Conversion Chart Raw Score Conversion Raw Score Conversion Raw Score Conversion

More information

ADDENDUM NO. 2 PROJECT: COURTLAND PUMP STATION CONTRACT: IFB NO COM.00030

ADDENDUM NO. 2 PROJECT: COURTLAND PUMP STATION CONTRACT: IFB NO COM.00030 ADDENDUM NO. 2 PROJECT: COURTLAND PUMP STATION CONTRACT: IFB NO. 2018-008-COM.00030 To: Prospective Bidders of Record Date: December 17, 2018 The following changes, additions, revisions, and/or deletions

More information

ROM/UDF CPU I/O I/O I/O RAM

ROM/UDF CPU I/O I/O I/O RAM DATA BUSSES INTRODUCTION The avionics systems on aircraft frequently contain general purpose computer components which perform certain processing functions, then relay this information to other systems.

More information

AN INTERROGATIVE REVIEW OF REQUIREMENT ENGINEERING FRAMEWORKS

AN INTERROGATIVE REVIEW OF REQUIREMENT ENGINEERING FRAMEWORKS AN INTERROGATIVE REVIEW OF REQUIREMENT ENGINEERING FRAMEWORKS MUHAMMAD HUSNAIN, MUHAMMAD WASEEM, S. A. K. GHAYYUR Department of Computer Science, International Islamic University Islamabad, Pakistan E-mail:

More information

INTERNATIONAL STANDARD

INTERNATIONAL STANDARD INTERNATIONAL STANDARD IEC 62055-51 First edition 2007-05 Electricity metering Payment systems Part 51: Standard transfer specification (STS) Physical layer protocol for one-way numeric and magnetic card

More information

Stairway to Heaven: An Architecture-Level Characterization of Cloud Migration Strategies

Stairway to Heaven: An Architecture-Level Characterization of Cloud Migration Strategies Stairway to Heaven: An Architecture-Level Characterization of Cloud Migration Strategies Nabor C. Mendonça Programa de Pós-Graduação em Informática Aplicada (PPGIA) Universidade de Fortaleza (UNIFOR) Fortaleza,

More information

Distributed Series Reactor An overview of the conductor impacts of the DSR

Distributed Series Reactor An overview of the conductor impacts of the DSR 1 Distributed Series Reactor An overview of the conductor impacts of the DSR Joseph Goldenburg, P.E. Mechanical Section Lead and Hardware Manager at NEETRAC 2 DSR Technology Overview History Table of Contents

More information

7KH 0DQLIHVWR .HWLO6W OHQ -XO\

7KH 0DQLIHVWR .HWLO6W OHQ -XO\ 7KH 6$5'$6 0DQLIHVWR.HWLO6W OHQ -XO\ ([HFXWLYHVXPPDU\ The SARDAS project is developing novel tool supported methodology for robust design, assessment and specification to ensure availability. SARDAS approaches

More information

Software Maintenance Cycles with the RUP

Software Maintenance Cycles with the RUP Software Maintenance Cycles with the RUP by Philippe Kruchten Rational Fellow Rational Software Canada The Rational Unified Process (RUP ) has no concept of a "maintenance phase." Some people claim that

More information

POWER CORPORATION. Power Quality. Specifications and Guidelines for Customers. Phone: Fax:

POWER CORPORATION. Power Quality. Specifications and Guidelines for Customers. Phone: Fax: POWER CORPORATION Power Quality Specifications and Guidelines for Customers Phone: 403-514-3700 Fax: 403-514-3719 1 GENERAL OVERVIEW........................................ 1.1 WHAT DOES THIS SPECIFICATION

More information

Design and Technology Subject Outline Stage 1 and Stage 2

Design and Technology Subject Outline Stage 1 and Stage 2 Design and Technology 2019 Subject Outline Stage 1 and Stage 2 Published by the SACE Board of South Australia, 60 Greenhill Road, Wayville, South Australia 5034 Copyright SACE Board of South Australia

More information

esa Space Station Electromagnetic Emission and Susceptibility Requirements International Space Station Revision C May 31, 1996 SSP Revision C

esa Space Station Electromagnetic Emission and Susceptibility Requirements International Space Station Revision C May 31, 1996 SSP Revision C Space Station Electromagnetic Emission and Susceptibility Requirements International Space Station Revision C May 31, 1996 esa european space agency National Aeronautics and Space Administration Space

More information

SOFT 437. Software Performance Analysis. What is UML? UML Tutorial

SOFT 437. Software Performance Analysis. What is UML? UML Tutorial SOFT 437 Software Performance Analysis UML Tutorial What is UML? Unified Modeling Language (UML) is a standard language for specifying, visualizing, constructing, and documenting the artifacts for software

More information

SURVEILLANCE DATA EXCHANGE. Part 18 : Category 019. Multilateration System Status Messages

SURVEILLANCE DATA EXCHANGE. Part 18 : Category 019. Multilateration System Status Messages EUROPEAN ORGANISATION FOR THE SAFETY OF AIR NAVIGATION E U R O C O N T R O L EUROCONTROL STANDARD DOCUMENT FOR SURVEILLANCE DATA EXCHANGE Part 18 : Category 019 Multilateration System Status Messages Edition

More information

16 Channel Semi Fiscal Distribution Board Smart Meter

16 Channel Semi Fiscal Distribution Board Smart Meter BBSP-SM16D 16 Channel Semi Fiscal Distribution Board Smart Meter 16 Channel Semi Fiscal Distribution Board Smart Meter BBSPBBSP-SM16D User guide Version 0.1 For further details, please contact: Enistic

More information

Arcade Game Maker Product Line Production Plan

Arcade Game Maker Product Line Production Plan Arcade Game Maker Product Line Production Plan ArcadeGame Team July 2003 Table of Contents 1 Overview 1 1.1 Identification 1 1.2 Document Map 1 1.3 Concepts 2 1.4 Readership 2 2 Strategic view of product

More information

Roadmap For Power Quality Standards Development

Roadmap For Power Quality Standards Development Roadmap For Power Quality Standards Development IEEE Power Quality Standards Coordinating Committee Authors: David B. Vannoy, P.E., Chair Mark F. McGranghan, Vice Chair S. Mark Halpin, Vice Chair D. Daniel

More information

Lecture 13: Requirements Analysis

Lecture 13: Requirements Analysis Lecture 13: Requirements Analysis 2008 Steve Easterbrook. This presentation is available free for non-commercial use with attribution under a creative commons license. 1 Mars Polar Lander Launched 3 Jan

More information

ISO INTERNATIONAL STANDARD

ISO INTERNATIONAL STANDARD INTERNATIONAL STANDARD ISO 15031-2 First edition 2010-09-01 Road vehicles Communication between vehicle and external equipment for emissions-related diagnostics Part 2: Guidance on terms, definitions,

More information

AUTOMOTIVE ETHERNET CONSORTIUM

AUTOMOTIVE ETHERNET CONSORTIUM AUTOMOTIVE ETHERNET CONSORTIUM Clause 96 100BASE-T1 Physical Medium Attachment Test Suite Version 1.0 Technical Document Last Updated: March 9, 2016 Automotive Ethernet Consortium 21 Madbury Rd, Suite

More information

SR&ED for the Software Sector Northwestern Ontario Innovation Centre

SR&ED for the Software Sector Northwestern Ontario Innovation Centre SR&ED for the Software Sector Northwestern Ontario Innovation Centre Quantifying and qualifying R&D for a tax credit submission Justin Frape, Senior Manager BDO Canada LLP January 16 th, 2013 AGENDA Today

More information

Software Requirements Specification

Software Requirements Specification ÇANKAYA UNIVERSITY Software Requirements Specification Simulacrum: Simulated Virtual Reality for Emergency Medical Intervention in Battle Field Conditions Sedanur DOĞAN-201211020, Nesil MEŞURHAN-201211037,

More information

Integrity of safety-related systems in the gas industry

Integrity of safety-related systems in the gas industry IGEM/SR/15 Edition 5 - with amendments December 2015 Communication 1784 Integrity of safety-related systems in the gas industry This publication is produced for the sole use of the licensee. Use by any

More information

Introduction to Systems Engineering

Introduction to Systems Engineering p. 1/2 ENES 489P Hands-On Systems Engineering Projects Introduction to Systems Engineering Mark Austin E-mail: austin@isr.umd.edu Institute for Systems Research, University of Maryland, College Park Career

More information

2/6/2006 Team #7: Pez Project: Empty Clip Members: Alan Witkowski, Steve Huff, Thos Swallow, Travis Cooper Document: SRS

2/6/2006 Team #7: Pez Project: Empty Clip Members: Alan Witkowski, Steve Huff, Thos Swallow, Travis Cooper Document: SRS 2/6/2006 Team #7: Pez Project: Empty Clip Members: Alan Witkowski, Steve Huff, Thos Swallow, Travis Cooper Document: SRS 1. Introduction Purpose of this section: General background and reference information

More information

MEF Specification MEF 62. Managed Access E-Line Service Implementation Agreement. May 2018

MEF Specification MEF 62. Managed Access E-Line Service Implementation Agreement. May 2018 MEF Specification Managed Access E-Line Service Implementation Agreement May 2018 Disclaimer The information in this publication is freely available for reproduction and use by any recipient and is believed

More information

SPECIFICATIONS SUBJECT TO CHANGE WITHOUT NOTICE

SPECIFICATIONS SUBJECT TO CHANGE WITHOUT NOTICE SPECIFICATIONS SUBJECT TO CHANGE WITHOUT NOTICE Notice While reasonable efforts have been made to assure the accuracy of this document, Telit assumes no liability resulting from any inaccuracies or omissions

More information

WNR Approach: An Extension to Requirements Engineering Lifecycle

WNR Approach: An Extension to Requirements Engineering Lifecycle 2th ranian Conference on Electrical Engineering, (CEE212), May 1517, Tehran, ran WNR Approach: An Extension to Requirements Engineering Lifecycle Ahmad Abdollahzadeh Barforoush, Abbas Rasoolzadegan, Reza

More information

JOURNAL OF OBJECT TECHNOLOGY

JOURNAL OF OBJECT TECHNOLOGY JOURNAL OF OBJECT TECHNOLOGY Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering JOT, 2003 Vol. 2, No. 4, July-August 2003 Specifying Good Requirements Donald Firesmith, Software

More information

Modern Digital System Design Using VHDL: A Practical Introduction

Modern Digital System Design Using VHDL: A Practical Introduction Modern Digital System Design Using VHDL: A Practical Introduction Department of Computer Engineering King Fahd University of Petroleum and Minerals Dhahran 31261, Saudi Arabia 0-1 Modern Digital System

More information

EE Lecture 15 (recorded Feb 9, 2011) Fri Feb 15, 2013

EE Lecture 15 (recorded Feb 9, 2011) Fri Feb 15, 2013 EE 5223 - Lecture 15 (recorded Feb 9, 2011) Fri Feb 15, 2013 Ongoing List of Topics: URL: http://www.ece.mtu.edu/faculty/bamork/ee5223/index.htm Term Project - structuring, details Exercises posted Today:

More information

CHAPTER 1: INTRODUCTION TO SOFTWARE ENGINEERING DESIGN

CHAPTER 1: INTRODUCTION TO SOFTWARE ENGINEERING DESIGN CHAPTER 1: INTRODUCTION TO SOFTWARE ENGINEERING DESIGN SESSION II: OVERVIEW OF SOFTWARE ENGINEERING DESIGN Software Engineering Design: Theory and Practice by Carlos E. Otero Slides copyright 2012 by Carlos

More information

Proposal of Game Design Document from Software Engineering Requirements Perspective

Proposal of Game Design Document from Software Engineering Requirements Perspective Proposal of Game Design Document from Software Engineering Requirements Perspective Mario Gonzalez Salazar, Hugo A. Mitre, Cuauhtémoc Lemus Olalde Computer Science Department Research Center in Mathematics

More information

Chapter 7 Requirements Engineering

Chapter 7 Requirements Engineering Chapter 7 Requirements Engineering Moonzoo Kim CS Division of EECS Dept. KAIST moonzoo@cs.kaist.ac.kr http://pswlab.kaist.ac.kr/courses/cs550-07 Spring 2007 1 Requirements Engineering-I Inception ask a

More information

UHF variable capacitance diode. Voltage Controlled Oscillators (VCO) Electronic tuning in UHF television tuners

UHF variable capacitance diode. Voltage Controlled Oscillators (VCO) Electronic tuning in UHF television tuners Rev. 01 8 June 2009 Product data sheet 1. Product profile 1.1 General description The is a planar technology variable capacitance diode in a SOD523 ultra small leadless plastic SMD package. The excellent

More information

Requirements Engineering I

Requirements Engineering I Requirements Engineering I Martin Glinz Department of Informatics, University of Zurich www.ifi.uzh.ch/~glinz Department of Informatics! Requirements Engineering Research Group" 2013, 2016 Martin Glinz.

More information

Greenlining and Bluelining of Ergon Energy Substation Drawings

Greenlining and Bluelining of Ergon Energy Substation Drawings Greenlining and Bluelining of Ergon Energy Table of Contents Purpose and Scope... 1 Responsibilities... 1 Definitions, Abbreviations and Acronyms... 1 References... 1 General... 1 Requirements... 3 Testing

More information