Real Time Developer Studio. Emmanuel Gaudin
|
|
- Lee Johnston
- 8 years ago
- Views:
Transcription
1 Real Time Developer Studio Emmanuel Gaudin
2 PragmaDev French SME, Beneficiary since Dedicated to the development of a modelling tool for the development of Event driven software.
3 Partners
4 References Universities : ENST, Polytechnica Bucarest, Telecom Beijing Distributors: United States, Asia, Europe
5 Long term investment Source code access in case of failure: Economical Technical Strategic Possible audit of the code Possible third party take over Continuous integration
6 Philosophy Develop a modelling tool based on the users needs.
7 Target segment Event driven systems Embedded & Real time Decomposed in tasks running concurrently Communicating Synchronizing Application Module 1 Module 2 Module 3 Message queue driver OS-RTOS-Scheduler hardware driver Semaphore
8 Issues The software content is doubling about every two years. The sheer volume is making it increasingly difficult for QA and test teams to keep up with traditional tools and processes. Wind River Market Survey of Device Software Testing Trends and Quality Concerns in the Embedded Industry - June Never forget the 1:10:100 rule Software development costs only comprise a portion of the total cost of software ownership. However, the development process itself has a significant impact on total cost of ownership. Total Cost of Ownership: Development is (only) Job One by Daniel D. Galorath - June Source: James Martin study
9 What modelling can solve Focus first on the What (Req) instead of focusing on the How (code), Modelling is about Communication and Documentation, Legibility of large systems gets critical. Would you build a house without drawing detailed plans? Get control over productivity, Improve quality.
10 Requirements for a good modeling language The abstract model must be platform independant, as its name states. The abstract model must be translatable to an implementation platform. For that purpose, the abstract model is based on a virtual machine offering: Some basic services A strong enough semantic.
11 Existing modelling languages SDL UML Specification and Description Language is an ITU-T standard. Event oriented, Used by ETSI to standardize telecommunication protocols, Formal (complete and non-ambiguous). Unified Modeling Language is an OMG standard. Can be used to represent any type of systems, Informal. SysML System Modelling Language AADL Architecture Analysis Description Language MARTE profile Modeling and Analysis of Real-Time and Embedded systems Z.109 UML profile based on SDL Lustre / Esterel Synchronous programming languages for the development of complex reactive systems MATLAB MAtrix LABoratory Autosar AUTomotive Open System Architecture SART Structured Analysis for Real Time (obsolete)
12 Modelling languages positioning Requirements Architecture Analysis URN AADL SysML UML SDL MARTE Matlab Static verification Specification Design Generic Generic HW/SW HW/SW Async SW Sync SW Dynamic verification is best at identifying defects because requirements are usually dynamics Dynamic verification
13 No real time specificity in UML UML 1.x is too generic to describe the dynamics of the model, UML 2.x introduced domain specific profiles, Lots of tools defined proprietary profiles, Users spend more defining their profile thatn their system, Z.109 is a standardized profile based on SDL.
14 SDL: the perfect picture SDL graphical abstraction (architecture, communication, behavior, services) fits the needs. SDL being formal, it is possible to simulate the model. SDL being formal, partial or full code generation is possible. SDL being object oriented, software components are reusable. System are globally asynchronous (GALS) so SDL can be used at system level. SDL has the characteristics to describe a good PIM. SDL is recognized by certification authorities (European Aviation Safety Agency Certification Memorandum, ETSI, ESA)
15 SDL: the figures Years of experience allows to quantify gains of SDL usage. C code: 35 to 50 mistakes per 1000 lines SDL code: 8 mistakes per 1000 lines Development time is globally reduced by 35% Reduced up to 50% in the left branch of the V cycle Less gain on the right side of the V because of the gap with technical reality
16 SDL: design problems All existing software modules (RTOS, drivers, legacy code) provide C APIs, not SDL, Some classical real time concepts are not present in SDL such as pointers and semaphores, SDL syntax is not suited for design. Integration with legacy code is difficult, Integration with COTS components is tricky (driver or RTOS), Developers are frustrated, Generated code is not legible,
17 An intermediate solution: SDL-RT Keep UML diagrams at high level during analysis and requirements Keep the SDL graphical abstraction Analysis UML (architecture, communication, behavior). Introduce C data types and syntax Specification SDL SDL-RT instead of SDL s. Remove SDL concepts having no practical implementation. Design C C++ Extend SDL to deal with uncovered real time concepts (interrupts, semaphores). Real time
18 SDL-RT SDL-RT is: Generalization of SDL to all applications running on top of a RTOS, Available from for free, Legible, Standardized by ITU-T in December 2012 as part of SDL (Z.104), A UML real time profile.
19 Specification and Description Language, l ITU-T standard intended to write the detailed specifications of the protocols in order to make sure they will interoperate. Major updater every 4 years since Major releases: SDL 1988: First mature version SDL 1992: Object orientation SDL 2000: UML alignment SDL 2010: C types support in Z.104 Anual conference SDL Forum ( SAM workshop (satellite event of Models) 11 commercial tools, 10 public domain tools. Integrated technology in TASTE ESA framework.
20 Views: Library of components Relations between static classes (C++) and dynamic classes (SDL)
21 Views: Architecture and communication
22 SDL abstract data types or SDL-RT C/C++ data types. Views: Behavior and Data Process A
23 Views: Operating system services A semaphore take A timer is started When the timer goes off A semaphore give SDL-RT state
24 Physical deployment Views: Distributed systems
25 Model views Library of components System architecture Interface definitions Application deployment Real time concepts Key points in the design
26 Message Sequence Chart MSC: dynamic view Vertical lines represent a task, the environment or a semaphore, Arrows represent message exchanges, semaphore manipulations or timers. Can be used: As specification Execution traces
27 RTDS: supported languages Analysis UML Specification SDL Z.100 SDL-RT TTCN-3 Design C C++ Informal Fully formal Semi formal Testing
28 RTDS: supported languages Informal modelling for requirements: UML Edition C++ stubs generation Semi-formal modelling for design: SDL-RT Edition Syntaxic et semantics checking Code generation Graphical debugging Fully formal modelling for specification: SDL Z.100 Edition Syntaxic et semantics checking Simulation Verification Code generation Graphical debugging Test
29 Model simulator A graphical debugger for fully formal models and TTCN-3 test cases Set breakpoints and step in the model, Dynamic traces.
30 Code generation C++ skeleton for static classes C or C++ for dynamic classes Generated code is legible Generation profile wizard The code is: Integrated with: FreeRTOS, VxWorks, OSE, OSE Epsilon, CMX RTX, Nucleus, uitron, Posix, ThreadX, and Win32, Provided with an scheduler, Royalty free, Documented for customization.
31 Debugging architecture The Model debugger relies on a traditional C debugger or cross debugger to provide graphical debugging. Model C code generator Generated C code compiler External C/C++ Model editor socket Binary RTOS cible MSC tracer Text editor Model debugger Real Time Developer Studio tools Third party tools Source code Binary code socket / COM / pipe C debugger MinGW Tornado Tasking gdb XRAY Multi
32 Relies on the target semantic: processor and RTOS. Debug in the model: Breakpoints, stepping, in the SDL/RT diagrams or in the generated C files, Dynamic MSC traces, Connecting an external tool is possible through a socket. Model debugger
33 Switch between Model Generated C/C++ code Debug features
34 Execution traces: States, Events, Semaphores, Timers. Trace level configuration Display of system time Graphical traces MSC Diff allows to check: Conformity, Non-regression.
35 Model coverage Graphical model coverage analysis Merge feature
36 Prototyping interface Knows about the model inputs and outputs. Connects automatically to the simulator or the debugger.
37 Documentation generation Logical publications (state, transition, partition, diagram) Comments preceeding or following the publication Styles for paragraphs Styles for characters Export format RTF OpenDocument HTML SGML Exported elements Texts with publications Index entries Table of contents entries
38 Documentation generation A document The generated documentation A publication
39 Standard testing language Relies on basic services Messages Procedures Timers Parallel execution Based on TTCN-3 international standard: Data types definitions or ASN.1, Templates definitions, Test cases, Verdict, Execution control.
40 TTCN-3 support Textual language Simulator with Test manager C++ code generator TTCN-3 to MSC generation MSC to TTCN-3 generation TTCN-3 generation from a property on the model (Verimag) TTCN-3 generation based on model coverage (to come)
41 Continuous integration Specification Simulation Validation testing Design Simulation Execution Integration testing Implementation Execution Unit testing
42 Model checking Partnership with Verimag on IF technology. Exhaustive simulation, Observers, Test generation. RTDS feature Export to IF, Execute a script Generate an MSC feedback.
43 Implementation Model SDL translate to file IF Property Observer IF compiler executable executes State file Transition file Error file Test case Analysis TTCN MSC socket Python script Resulting scenario
44 Reference testing Requirements Use cases Specification Reference scenarios Properties Validation testing Design Simulation Execution Integration testing Implementation Execution Unit testing
45 Upcoming collaboration Common lab with French Nuclear Research Agency (CEA): Symbolic technology: Diversity. Generate a minimum number of test cases covering all transitions. SDL -> XLIA -> TTCN-3 Export FIACRE: CADP. TINA.
46 Property Sequence Chart PRESTO european project: Functional property verification. Non functional property verification. Free too: PragmaDev Tracer
47 ESA Taste framework integration ASN.1 AADL ASN.1 ASN.1 Matlab Encodeurs / Décodeurs RTDS Encodeurs / Décodeurs Scade Encodeurs / Décodeurs Ada Control law Event driven Control law Generic
48 /* _PRAGMADEV_START*/ /* _PRAGMADEV_TASK_START */ i = 0; j = 0; /* _PRAGMADEV_TASK_END */ /* _PRAGMADEV_NEXTSTATE Idle*/ /* _PRAGMADEV_STATE Idle*/ /* _PRAGMADEV_INPUT Error(); */ /* _PRAGMADEV_NEXTSTATE ErrorState*/ /* _PRAGMADEV_INPUT Valueof(coor); */ /* _PRAGMADEV_DECISION coor == 3 */ if ( coor == 3 ) /* _PRAGMADEV_BRANCH true */ /* _PRAGMADEV_TASK_START */ {x = 5;} /* _PRAGMADEV_TASK_END */ /* _PRAGMADEV_NEXTSTATE Idle*/ /* _PRAGMADEV_BRANCH false */ else /* _PRAGMADEV_TASK_START */ {x = 7;} /* _PRAGMADEV_TASK_END */ /* _PRAGMADEV_NEXTSTATE Idle*/ /* _PRAGMADEV_ENDDECISION */ /* _PRAGMADEV_ENDSTATE*/ /* _PRAGMADEV_STATE ErrorState*/ /* _PRAGMADEV_INPUT End(); */ /* _PRAGMADEV_STOP */ /* _PRAGMADEV_ENDSTATE*/ Model generation From comments in legacy code Includes architecture information
49 Project management Textual storage format, graphical diff tool, and an automatic merge tool provide a consistent integration with configuration management tools. Single diagrams can be exported as PNG, JPEG, PS, and HTML. Full documentation of the model can be generated. Traceability information and Reqtify integration. System requirements: Solaris, Windows, Linux. Floating licenses.
50 Conclusion Three levels of modelling: Informal, Semi-formal, Formal. Tools to: Document, Simulate, Validate, Test. Based on international standards. Integrated in Taste framework.
BENEFITS OF MODELING WITH A FORMAL LANGUAGE. Emmanuel Gaudin emmanuel.gaudin@pramadev.com
BENEFITS OF MODELING WITH A FORMAL LANGUAGE Emmanuel Gaudin emmanuel.gaudin@pramadev.com PragmaDev French software editor based in Paris Dedicated to the development of RTDS: a modeling and testing tool
More informationSCADE Suite in Space Applications
SCADE Suite in Space Applications at EADS David Lesens 09/10/2008 Overview Introduction Historical use of SCADE at EADS Astrium ST Why using SCADE? The Automatic Transfer Vehicle (ATV) M51 and Vega R&T
More informationState of the art Software Modeling. Tony Elliston. SIGADA 2004 Atlanta
State of the art Software Modeling Tony Elliston SIGADA 2004 Atlanta TNI Europe Limited Market our own software modelling tools: CP-Hood and Stood. Distributor for TNI Software range of products. TNI Europe
More informationWhich Enterprise Architect Edition Should I Purchase?
Which Enterprise Architect Edition Should I Purchase? Enterprise Architect is available in six editions -,, and Software, Corporate, Professional and Desktop. Functionality for each edition is as follows:.eap
More informationdominique <dot> toupin <at> ericsson <dot> com GYORGY <dot> RETHY <at> ericsson <dot> com
dominique toupin ericsson com GYORGY RETHY ericsson com About me Tool Manager at Ericsson, helping Ericsson sites to develop better software efficiently Telecommunication
More informationCertification of a Scade 6 compiler
Certification of a Scade 6 compiler F-X Fornari Esterel Technologies 1 Introduction Topic : What does mean developping a certified software? In particular, using embedded sofware development rules! What
More informationSCADE System 17.0. Technical Data Sheet. System Requirements Analysis. Technical Data Sheet SCADE System 17.0 1
SCADE System 17.0 SCADE System is the product line of the ANSYS Embedded software family of products and solutions that empowers users with a systems design environment for use on systems with high dependability
More informationTASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future
TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future Maxime Perrotin 1, Eric Conquet 1, Julien Delange 1, André Schiele 1, and Thanassis Tsiodras 2 1 European Space Agency, ESTEC,
More informationF-16 Modular Mission Computer Application Software
F-16 Modular Mission Computer Application Software Achieving Cross-Platform Compatibility with Increased Productivity and Quality using the OMG s Model Driven Architecture Lauren E. Clark Chief Engineer
More informationTASTE: An open-source tool-chain for embedded system and software development
TASTE: An open-source tool-chain for embedded system and software development Maxime Perrotin 1, Eric Conquet 1, Julien Delange 1, Thanassis Tsiodras 2 1 European Space Agency, ESTEC, Keplerlaan 1, 2201AG
More informationModel-driven development solutions To support your business objectives. IBM Rational Rhapsody edition comparison matrix
Model-driven development solutions To support your business objectives IBM Rhapsody edition comparison matrix IBM Rhapsody 7.5 edition: capabilities and comparisons The enclosed table compares the capabilities
More informationNotes and terms of conditions. Vendor shall note the following terms and conditions/ information before they submit their quote.
Specifications for ARINC 653 compliant RTOS & Development Environment Notes and terms of conditions Vendor shall note the following terms and conditions/ information before they submit their quote. 1.
More informationTesting automation of projects in telecommunication domain
Testing automation of projects in telecommunication domain Alexey Veselov, Vsevolod Kotlyarov Saint-Petersburg State Polytechnic University, Saint-Petersburg, Russia a.veselov@ics2.ecd.spbstu.ru, vpk@ics2.ecd.spbstu.ru
More informationDevelopment Process Automation Experiences in Japan
Development Process Automation Experiences in Japan Dr. Olaf Kath ikv ++ technologies ag Germany ikv++ technologies ag 2007 who we are core business optimization and automation of our customer s system
More informationUML-based Test Generation and Execution
UML-based Test Generation and Execution Jean Hartmann, Marlon Vieira, Herb Foster, Axel Ruder Siemens Corporate Research, Inc. 755 College Road East Princeton NJ 08540, USA jeanhartmann@siemens.com ABSTRACT
More informationfeature model-driven development Test-Driven Modeling for Model-Driven Development
feature model-driven development Test-Driven Modeling for Model-Driven Development Yuefeng Zhang, Motorola Extreme Programming is a code-centric, lightweight software development process. 1 3 One of XP
More informationEmbedded Software development Process and Tools:
Embedded Software development Process and Tools: Lesson-2 Integrated Development Environment (IDE) 1 1. IDE 2 Consists of Simulators editors, compilers, assemblers, etc., IDE 3 emulators logic analyzers
More informationLinux. Reverse Debugging. Target Communication Framework. Nexus. Intel Trace Hub GDB. PIL Simulation CONTENTS
Android NEWS 2016 AUTOSAR Linux Windows 10 Reverse ging Target Communication Framework ARM CoreSight Requirements Analysis Nexus Timing Tools Intel Trace Hub GDB Unit Testing PIL Simulation Infineon MCDS
More informationWhat is a life cycle model?
What is a life cycle model? Framework under which a software product is going to be developed. Defines the phases that the product under development will go through. Identifies activities involved in each
More informationIntroduction to Automated Testing
Introduction to Automated Testing What is Software testing? Examination of a software unit, several integrated software units or an entire software package by running it. execution based on test cases
More informationWhat is Enterprise Architect? Enterprise Architect is a visual platform for designing and constructing software systems, for business process
1 2 3 What is Enterprise Architect? Enterprise Architect is a visual platform for designing and constructing software systems, for business process modeling, and for more generalized modeling purposes.
More informationUSE OF PYTHON AS A SATELLITE OPERATIONS AND TESTING AUTOMATION LANGUAGE
USE OF PYTHON AS A SATELLITE OPERATIONS AND TESTING AUTOMATION LANGUAGE Gonzalo Garcia VP of Operations, USA Property of GMV All rights reserved INTRODUCTION Property of GMV All rights reserved INTRODUCTION
More informationModel Driven Testing AGEDIS Architecture Interfaces and Tools
Model Driven Testing AGEDIS Architecture Interfaces and Tools Alan Hartman Kenneth Nagin IBM Haifa Research Laboratory Haifa University Campus Haifa 31905 ISRAEL {hartman, nagin}@il.ibm.com Page 1 of 11
More informationWebSphere Business Modeler
Discovering the Value of SOA WebSphere Process Integration WebSphere Business Modeler Workshop SOA on your terms and our expertise Soudabeh Javadi Consulting Technical Sales Support WebSphere Process Integration
More informationVirtual Platforms Addressing challenges in telecom product development
white paper Virtual Platforms Addressing challenges in telecom product development This page is intentionally left blank. EXECUTIVE SUMMARY Telecom Equipment Manufacturers (TEMs) are currently facing numerous
More informationARINC 653. An Avionics Standard for Safe, Partitioned Systems
ARINC 653 An Avionics Standard for Safe, Partitioned Systems 1 Courtesy of Wind River Inc. 2008 IEEE-CS Seminar June 4 th, 2008 Agenda Aerospace Trends IMA vs. Federated ARINC 653 Main concepts Safety
More informationVAIL-Plant Asset Integrity Management System. Software Development Process
VAIL-Plant Asset Integrity Management System Software Development Process Document Number: VAIL/SDP/2008/008 Engineering For a Safer World P u b l i c Approved by : Ijaz Ul Karim Rao Revision: 0 Page:2-of-15
More informationDesigning a Home Alarm using the UML. And implementing it using C++ and VxWorks
Designing a Home Alarm using the UML And implementing it using C++ and VxWorks M.W.Richardson I-Logix UK Ltd. markr@ilogix.com This article describes how a simple home alarm can be designed using the UML
More informationU.S. Navy Automated Software Testing
U.S. Navy Automated Software Testing Application of Standards to the Automated Test and Re-Test (ATRT) Effort Object Management Group (OMG) Technical Meeting June 2007 Approved for public release; distribution
More informationThe Kiel Reactive Processor
The Kiel Reactive Processor Reactive Processing beyond the KEP Claus Traulsen Christian-Albrechts Universität zu Kiel Synchron 2007 29. November 2007 Claus Traulsen The Kiel Reactive Processor Slide 1
More informationModel Based Software Development for DDG 1000 Advanced Gun System
BAE Systems Land & Armaments Model Based Software Development for DDG 1000 Advanced Gun System Dirk Jungquist BAE Systems Land & Armaments 2012 Distribution Statement A: Approved for public release; distribution
More informationSOFTWARE DEVELOPMENT USING SPECIFICATION AND DESCRIPTION LANGUAGE REAL TIME
SOFTWARE DEVELOPMENT USING SPECIFICATION AND DESCRIPTION LANGUAGE REAL TIME Sharath Gopalappa Dr.Dar-Biau Liu Graduate Student Professor CECS Department CECS Department California State University, Long
More informationSoftware Engineering for LabVIEW Applications. Elijah Kerry LabVIEW Product Manager
Software Engineering for LabVIEW Applications Elijah Kerry LabVIEW Product Manager 1 Ensuring Software Quality and Reliability Goals 1. Deliver a working product 2. Prove it works right 3. Mitigate risk
More informationApplication Architectures
Software Engineering Application Architectures Based on Software Engineering, 7 th Edition by Ian Sommerville Objectives To explain the organization of two fundamental models of business systems - batch
More informationNetwork Scanning: A New Feature for Digital Copiers
Network Scanning: A New Feature for Digital Copiers Abstract Introduction The method of implementing electronic document capture and distribution, known as network scanning, into the traditional copier/printer
More informationThe structured application of advanced logging techniques for SystemVerilog testbench debug and analysis. By Bindesh Patel and Amanda Hsiao.
Logging makes sense for testbench debug The structured application of advanced logging techniques for SystemVerilog testbench debug and analysis. By Bindesh Patel and Amanda Hsiao. SystemVerilog provides
More informationAQA GCSE in Computer Science Computer Science Microsoft IT Academy Mapping
AQA GCSE in Computer Science Computer Science Microsoft IT Academy Mapping 3.1.1 Constants, variables and data types Understand what is mean by terms data and information Be able to describe the difference
More informationFederated, Generic Configuration Management for Engineering Data
Federated, Generic Configuration Management for Engineering Data Dr. Rainer Romatka Boeing GPDIS_2013.ppt 1 Presentation Outline I Summary Introduction Configuration Management Overview CM System Requirements
More informationTechnical Data Sheet SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers
661 Solutions for ARINC 661 Compliant Systems SCADE R17 Solutions for ARINC 661 Compliant Systems Design Environment for Aircraft Manufacturers, CDS and UA Suppliers SCADE Solutions for ARINC 661 Compliant
More informationCDC UNIFIED PROCESS JOB AID
CDC UNIFIED PROCESS JOB AID Independent Verification & Validation Activities Document Purpose This Job Aid is a brief document listing the items to be noted, checked, remembered, and delivered when completing
More informationUML for the C programming language.
Functional-based modeling White paper June 2009 UML for the C programming language. Bruce Powel Douglass, PhD, IBM Page 2 Contents 2 Executive summary 3 FunctionalC UML profile 4 Functional development
More informationSOFT 437. Software Performance Analysis. Ch 5:Web Applications and Other Distributed Systems
SOFT 437 Software Performance Analysis Ch 5:Web Applications and Other Distributed Systems Outline Overview of Web applications, distributed object technologies, and the important considerations for SPE
More informationApplications to Computational Financial and GPU Computing. May 16th. Dr. Daniel Egloff +41 44 520 01 17 +41 79 430 03 61
F# Applications to Computational Financial and GPU Computing May 16th Dr. Daniel Egloff +41 44 520 01 17 +41 79 430 03 61 Today! Why care about F#? Just another fashion?! Three success stories! How Alea.cuBase
More informationGetting Embedded C Applications to Market Faster using the Model-Driven Development Technologies of Modeling, Simulation and Code Generation
UML for C Developers Getting Embedded C Applications to Market Faster using the Model-Driven Development Technologies of Modeling, Simulation and Code Generation Jerome L. Krasner, Ph.D. April 2005 EMBEDDED
More informationEmbedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer
Generate Results. Real Models. Real Code. Real Fast. Embedded/Real-Time Software Development with PathMATE and IBM Rational Systems Developer Andreas Henriksson, Ericsson andreas.henriksson@ericsson.com
More informationIntegrating Legacy Code / Models with Model Based Development Using Rhapsody
Integrating Legacy Code / Models with Model Based Development Using Rhapsody M.W.Richardson 28/11/06 1 Telelogic AB Model Driven Development Very few Green Field projects are started, nearly always there
More informationMastering increasing product complexity with Collaborative Systems Engineering and PLM
Mastering increasing product complexity with Collaborative Systems Engineering and PLM Thierry Ambroisine Dassault Systèmes 10 rue Marcel Dassault, 78140 Vélizy Villacoublay, France thierry.ambroisine@3ds.com
More informationSoftware Engineering. Software Processes. Based on Software Engineering, 7 th Edition by Ian Sommerville
Software Engineering Software Processes Based on Software Engineering, 7 th Edition by Ian Sommerville Objectives To introduce software process models To describe three generic process models and when
More informationx86 ISA Modifications to support Virtual Machines
x86 ISA Modifications to support Virtual Machines Douglas Beal Ashish Kumar Gupta CSE 548 Project Outline of the talk Review of Virtual Machines What complicates Virtualization Technique for Virtualization
More informationChapter 4 Software Lifecycle and Performance Analysis
Chapter 4 Software Lifecycle and Performance Analysis This chapter is aimed at illustrating performance modeling and analysis issues within the software lifecycle. After having introduced software and
More informationDOWNLOAD COURSE PRESENTATIONS. Scan to download course presentations
DOWNLOAD COURSE PRESENTATIONS 2 Scan to download course presentations ZYNQ OS SUPPORT 3 AGENDA 4 > OS/Ecosystem Overview > Xilinx Petalinux/OSL > AMP Reference Design Information > Linux Partial Reconfiguration
More informationExample Software Development Process.
Example Software Development Process. The example software development process is shown in Figure A. The boxes represent the software development process kernels. The Software Unit Testing, Software Component
More informationChapter 6, The Operating System Machine Level
Chapter 6, The Operating System Machine Level 6.1 Virtual Memory 6.2 Virtual I/O Instructions 6.3 Virtual Instructions For Parallel Processing 6.4 Example Operating Systems 6.5 Summary Virtual Memory General
More informationFreeForm Designer. Phone: +972-9-8309999 Fax: +972-9-8309998 POB 8792, Natanya, 42505 Israel www.autofont.com. Document2
FreeForm Designer FreeForm Designer enables designing smart forms based on industry-standard MS Word editing features. FreeForm Designer does not require any knowledge of or training in programming languages
More informationSoftware Engineering Best Practices. Christian Hartshorne Field Engineer Daniel Thomas Internal Sales Engineer
Software Engineering Best Practices Christian Hartshorne Field Engineer Daniel Thomas Internal Sales Engineer 2 3 4 Examples of Software Engineering Debt (just some of the most common LabVIEW development
More informationCE 504 Computational Hydrology Computational Environments and Tools Fritz R. Fiedler
CE 504 Computational Hydrology Computational Environments and Tools Fritz R. Fiedler 1) Operating systems a) Windows b) Unix and Linux c) Macintosh 2) Data manipulation tools a) Text Editors b) Spreadsheets
More informationOSA-RTS 2 2015. 2 0 2 1 0 5 1 5 SPHE H RE R A A
SPHEREA Technology National Instruments Automated Test Summit 2 July 2015. Presentation: Tools Overview OSA-RTS Module Presenter: Chris Gorringe. SPHEREA: A GLOBAL COMPANY SPECIALISING IN TEST SYSTEMS
More informationSignalDraw: GUI Tool For Generating Pulse Sequences
SignalDraw: GUI Tool For Generating Pulse Sequences Konstantin Berlin Department of Computer Science University of Maryland College Park, MD 20742 kberlin@cs.umd.edu December 9, 2005 Abstract Generating
More informationPIE. Internal Structure
PIE Internal Structure PIE Composition PIE (Processware Integration Environment) is a set of programs for integration of heterogeneous applications. The final set depends on the purposes of a solution
More information2010-2011 Assessment for Master s Degree Program Fall 2010 - Spring 2011 Computer Science Dept. Texas A&M University - Commerce
2010-2011 Assessment for Master s Degree Program Fall 2010 - Spring 2011 Computer Science Dept. Texas A&M University - Commerce Program Objective #1 (PO1):Students will be able to demonstrate a broad knowledge
More informationModel based testing tools. Olli Pekka Puolitaival
Model based testing tools Olli Pekka Puolitaival Index 1. Software testing evolution 2. model based testing (MBT): main idea 3. MBT: step by step 4. MBT: tools 5. Questions Software testing evolution model
More informationAssessment Plan for CS and CIS Degree Programs Computer Science Dept. Texas A&M University - Commerce
Assessment Plan for CS and CIS Degree Programs Computer Science Dept. Texas A&M University - Commerce Program Objective #1 (PO1):Students will be able to demonstrate a broad knowledge of Computer Science
More informationSoftware in safety critical systems
Software in safety critical systems Software safety requirements Software safety integrity Budapest University of Technology and Economics Department of Measurement and Information Systems Definitions
More informationUML SUPPORTED SOFTWARE DESIGN
UML SUPPORTED SOFTWARE DESIGN Darko Gvozdanović, Saša Dešić, Darko Huljenić Ericsson Nikola Tesla d.d., Krapinska 45, HR-0000 Zagreb, Croatia, tel.: +385 365 3889, faks: +385 365 3548, e-mail: darko.gvozdanovic@etk.ericsson.se
More informationA Methodology for the Development of New Telecommunications Services
A Methodology for the Development of New Telecommunications Services DIONISIS X. ADAMOPOULOS Centre for Communication Systems Research School of Elec. Eng., IT and Mathematics University of Surrey Guildford
More informationTEST AUTOMATION FRAMEWORK
TEST AUTOMATION FRAMEWORK Twister Topics Quick introduction Use cases High Level Description Benefits Next steps Twister How to get Twister is an open source test automation framework. The code, user guide
More informationSoftware Tracing of Embedded Linux Systems using LTTng and Tracealyzer. Dr. Johan Kraft, Percepio AB
Software Tracing of Embedded Linux Systems using LTTng and Tracealyzer Dr. Johan Kraft, Percepio AB Debugging embedded software can be a challenging, time-consuming and unpredictable factor in development
More informationDigitale Signalverarbeitung mit FPGA (DSF) Soft Core Prozessor NIOS II Stand Mai 2007. Jens Onno Krah
(DSF) Soft Core Prozessor NIOS II Stand Mai 2007 Jens Onno Krah Cologne University of Applied Sciences www.fh-koeln.de jens_onno.krah@fh-koeln.de NIOS II 1 1 What is Nios II? Altera s Second Generation
More informationHPC Wales Skills Academy Course Catalogue 2015
HPC Wales Skills Academy Course Catalogue 2015 Overview The HPC Wales Skills Academy provides a variety of courses and workshops aimed at building skills in High Performance Computing (HPC). Our courses
More informationSoftware Engineering Question Bank
Software Engineering Question Bank 1) What is Software Development Life Cycle? (SDLC) System Development Life Cycle (SDLC) is the overall process of developing information systems through a multi-step
More informationRTAI. Antonio Barbalace antonio.barbalace@unipd.it. (modified by M.Moro 2011) RTAI
Antonio Barbalace antonio.barbalace@unipd.it (modified by M.Moro 2011) Real Time Application Interface by Dipartimento di Ingegneria Aereospaziale dell Università di Milano (DIAPM) It is not a complete
More informationAn Easier Way for Cross-Platform Data Acquisition Application Development
An Easier Way for Cross-Platform Data Acquisition Application Development For industrial automation and measurement system developers, software technology continues making rapid progress. Software engineers
More informationDr. Jana Koehler IBM Zurich Research Laboratory
Precise Modeling of Business Processes with the Business Process Modeling Notation BPMN 2.0 Dr. Jana Koehler IBM Zurich Research Laboratory ZRL BIT at a Glance Computer Science at ZRL: Security/Cryptography
More informationSOFTWARE TESTING TRAINING COURSES CONTENTS
SOFTWARE TESTING TRAINING COURSES CONTENTS 1 Unit I Description Objectves Duration Contents Software Testing Fundamentals and Best Practices This training course will give basic understanding on software
More informationModel Based System Engineering (MBSE) For Accelerating Software Development Cycle
Model Based System Engineering (MBSE) For Accelerating Software Development Cycle Manish Patil Sujith Annamaneni September 2015 1 Contents 1. Abstract... 3 2. MBSE Overview... 4 3. MBSE Development Cycle...
More informationAnnouncements. SE 1: Software Requirements Specification and Analysis. Review: Use Case Descriptions
Announcements SE 1: Software Requirements Specification and Analysis Lecture 4: Basic Notations Nancy Day, Davor Svetinović http://www.student.cs.uwaterloo.ca/ cs445/winter2006 uw.cs.cs445 Send your group
More informationOpenClovis Product Presentation
OpenClovis Product Presentation 2014 Corporate Background! Founded in 2002! Open Source business model! Profitable since 2008! $40M invested on products! Product Release 6.0 is mature and shipping! SAF
More informationRequirements Exchange: From Specification Documents to Models
Requirements Exchange: From Specification Documents to Models Morayo ADEDJOUMA, Hubert DUBOIS, François TERRIER Ansgar RADERMACHER UML&AADL 2011-27 April 2011, Las Vegas Agenda Big picture Challenge Technologies
More informationSAMPLE RESUME FORMAT
OVERVIEW: Five years of strong experience in software Analysis, Design and Development and Testing using C, C++, COBOL, Pro*C, VC++ on Windows and Unix, HP3000, HP9000 environment. Good at OOAD and used
More informationVisual Programming of Logic, Motion, and Robotics
ADVANCED Motion Controls October 2014 Visual Programming of Logic, Motion, and Robotics Sándor Barta Overview The art of programming consists of mentally translating a workflow into a sequential programming
More informationApplying 4+1 View Architecture with UML 2. White Paper
Applying 4+1 View Architecture with UML 2 White Paper Copyright 2007 FCGSS, all rights reserved. www.fcgss.com Introduction Unified Modeling Language (UML) has been available since 1997, and UML 2 was
More informationAutomatic Test Data Generation for TTCN-3 using CTE
Automatic Test Data Generation for TTCN-3 using CTE Zhen Ru Dai, Peter H. Deussen, Maik Busch, Laurette Pianta Lacmene, Titus Ngwangwen FraunhoferInstitute for Open Communication Systems (FOKUS) Kaiserin-Augusta-Allee
More informationTelecommunications Management Network (TMN)
Telecommunications Management Network (TMN) Definition The telecommunications management network (TMN) provides a framework for achieving interconnectivity and communication across heterogeneous operating
More informationIBM Operational Decision Management v8
What s new in WebSphere Operational Decision Management? Matt Roberts Decision Management Specialist July 12 th, 2012 IBM Operational Decision Management v8 Manage business policies at scale Operationalize
More informationHow To Design An Information System
Information system for production and mounting of plastic windows MARCEL, MELIŠ Slovak University of Technology - Faculty of Material Sciences and Technology in Trnava, Paulínska 16 street, Trnava, 917
More informationSelbo 2 an Environment for Creating Electronic Content in Software Engineering
BULGARIAN ACADEMY OF SCIENCES CYBERNETICS AND INFORMATION TECHNOLOGIES Volume 9, No 3 Sofia 2009 Selbo 2 an Environment for Creating Electronic Content in Software Engineering Damyan Mitev 1, Stanimir
More informationGEDAE TM - A Graphical Programming and Autocode Generation Tool for Signal Processor Applications
GEDAE TM - A Graphical Programming and Autocode Generation Tool for Signal Processor Applications Harris Z. Zebrowitz Lockheed Martin Advanced Technology Laboratories 1 Federal Street Camden, NJ 08102
More informationSoftware Specification and Testing
Software Specification and Testing Using UML and OCL Jonathan Milley Faculty of Engineering and Applied Science MUN St. John s, Newfoundland Email: jmilley@engr.mun.ca Dr. Dennis K. Peters Faculty of Engineering
More informationTESSY Automated dynamic module/unit and. CTE Classification Tree Editor. integration testing of embedded applications. for test case specifications
TESSY Automated dynamic module/unit and integration testing of embedded applications CTE Classification Tree Editor for test case specifications Automated module/unit testing and debugging at its best
More informationSoftware Testing A Time for Standard Models
Software Testing A Time for Standard Models Introduction Software technology has always been in need of testing. This is due to a number of particular aspects, including the fact that (a) the number of
More informationTesting Tools using Visual Studio. Randy Pagels Sr. Developer Technology Specialist Microsoft Corporation
Testing Tools using Visual Studio Randy Pagels Sr. Developer Technology Specialist Microsoft Corporation Plan REQUIREMENTS BACKLOG Monitor + Learn Development Collaboration Production Develop + Test Release
More informationEffective Team Development Using Microsoft Visual Studio Team System
Effective Team Development Using Microsoft Visual Studio Team System Course 6214A: Three days; Instructor-Led Introduction This three-day instructor-led course provides students with the knowledge and
More informationSchool of Computer Science
School of Computer Science Computer Science - Honours Level - 2014/15 October 2014 General degree students wishing to enter 3000- level modules and non- graduating students wishing to enter 3000- level
More informationLinux A multi-purpose executive support for civil avionics applications?
August 2004 Serge GOIFFON Pierre GAUFILLET AIRBUS France Linux A multi-purpose executive support for civil avionics applications? Civil avionics software context Main characteristics Required dependability
More informationBachelor of Games and Virtual Worlds (Programming) Subject and Course Summaries
First Semester Development 1A On completion of this subject students will be able to apply basic programming and problem solving skills in a 3 rd generation object-oriented programming language (such as
More informationProject Management Planning
Develop Project Tasks One of the most important parts of a project planning process is the definition of activities that will be undertaken as part of the project. Activity sequencing involves dividing
More informationBest Practices for Verification, Validation, and Test in Model- Based Design
2008-01-1469 Best Practices for Verification, Validation, and in Model- Based Design Copyright 2008 The MathWorks, Inc. Brett Murphy, Amory Wakefield, and Jon Friedman The MathWorks, Inc. ABSTRACT Model-Based
More information1/20/2016 INTRODUCTION
INTRODUCTION 1 Programming languages have common concepts that are seen in all languages This course will discuss and illustrate these common concepts: Syntax Names Types Semantics Memory Management We
More informationECU State Manager Module Development and Design for Automotive Platform Software Based on AUTOSAR 4.0
ECU State Manager Module Development and Design for Automotive Platform Software Based on AUTOSAR 4.0 Dhanamjayan P.R. 1, Kuruvilla Jose 2, Manjusree S. 3 1 PG Scholar, Embedded Systems, 2 Specialist,
More informationDIABLO VALLEY COLLEGE CATALOG 2014-2015
COMPUTER SCIENCE COMSC The computer science department offers courses in three general areas, each targeted to serve students with specific needs: 1. General education students seeking a computer literacy
More information