• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
PathMATE
 

PathMATE

on

  • 6,103 views

Evaluation of PathMATE software by ATL Intern Eddie Jesinsky

Evaluation of PathMATE software by ATL Intern Eddie Jesinsky

Statistics

Views

Total Views
6,103
Views on SlideShare
6,095
Embed Views
8

Actions

Likes
0
Downloads
9
Comments
0

2 Embeds 8

http://atl.wvu.edu 5
http://www.slideshare.net 3

Accessibility

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    PathMATE PathMATE Presentation Transcript

    • An Introduction To Evaluator: Vijaya Kotikalapudi Eddie Jesinsky NASA/WVU ATL Intern [email_address] PathMATE Model Automation and Transformation Environment IV&V ATL
    • Overview
      • Applied Technology Lab
      • Pathfinder Solutions
      • What is it?
      • Benefits
      • Features
      • Maturity
      • Support
      • Requirements & Cost
      • Tutorial
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Applied Technology Lab
      • Established: 2007
      • Partnership between WVU and NASA's Independent Verification and Validation (IV&V) facility in Fairmont, WV.
      • Goal: To research software engineering techniques that improve and enhance the way NASA produces safe and reliable system software.
      • Director: Dr. Tim Menzies
      • http://atl.wvu.edu
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Pathfinder Solutions
      • Pathfinder Solutions started in 1995 as a privately held partnership of experienced and successful MDA practitioners.
      • Pathfinder's Model Automation and Transformation Environment - PathMATE - was first released in 1996.
      • In 2005, PathMATE integrated with Rational Software Modeler, IBM Rational's next generation UML editor.
      • http://pathfindermda.com
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • What is it?
      • Transforms platform-independent models (PIMs) defined in UML to efficient, high-performance code.
      • Support for embedded C, C++, and Java code generation as well as others user-defined through Transformation Maps
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • What is it?
      • Transformation Engine
        • Rapidly transforms PIMs into high-performance embedded systems
      • Transformation Maps
        • Code templates which drive engine's transformation of PIMS into range of outputs and documentation
      • Spotlight
        • Verify and debug applications at the model level during design phase, enabling faster development, improved quality and reduced int. testing resources
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • What is it? PathMATE Model Automation and Transformation Environment IV&V ATL
    • Benefits
      • Higher Developer Productivity
        • Shifts development from being code-centric to architecture-centric.
        • Claims development productivity gains of up to 40% within first year
      • Implementation Consistency
        • Automation makes the production of tight, readable code a highly repeatable process
      • Architectural and Platform Flexibility
        • Engine allows you to change implementation language, platform, and architecture with the flip of the switch
      • Large-Scale Software Reuse
        • Define component functionality once- Can be regenerated for different deployment languages, platforms, and contexts
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Overview
      • Applied Technology Lab
      • Pathfinder Solutions
      • What is it?
      • Benefits
      • Features
      • Maturity
      • Support
      • Requirements & Cost
      • Tutorial
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Features
      • Easily control resource utilization and architecture of generated software
      • Integrates with major UML editors & offers open access to transformation logic: IBM's Rational Rose and Rational Software Modeler
      • Enables highly iterative model development transformation and testing
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Features - Detailed
      • Open Integration
        • Plugs into popular UML editors such as IBM/Rational Rose
        • Model versioning & archival via change management systems
        • Supports popular requirements management systems
        • Command-line interface for software build integration
      • Standards Based
        • Reference technology for OMG’s MDA Model-to-Code standard
        • Supports MDA Model Marking
        • XMI data import
        • Tracks emerging MDA “Executable UML” standard
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Features - Detailed
      • Rich UML Modeling Support
        • Architectural-level Domain packages and their interfaces
        • Classes, attributes, class operations
        • Associations and generalization including polymorphism support
        • Harel State Charts including state entry actions, state exit actions, transition actions, guards, composite states, and history
        • OMG Standard Action Semantics
        • Supports all UML diagram types: Class Diagrams, State Diagrams, Use Case Diagrams , Sequence Charts, Interfaces, Subsystems, Collaboration Diagrams, Deployment Diagrams
        • Model “diffing”
        • Flexible model storage for component-level management and reuse
        • Robust Repository
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Features - Detailed
      • Model Checking and Static Analysis
        • Built-in model syntax, completeness and consistency checks
        • Run-time performance, safety-critical, high-availability, and modeling consistency analysis
      • Transformation Performance
        • Generates > 50K lines of code/minute
        • Fastest edit-transform-debug cycle for iterative development and testing
      • Architectural Configurability
        • Reconfigure across thread & processor topologies for performance prototyping, varying product configurations, etc
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Features - Detailed
      • Document and Report Generation
        • Generates formatted Word documents
        • Injects diagrams into target reports
        • Generates HTML for web-based collaboration and reference lookup
        • XML output for open data interchange
        • Document template library provides a starting point for custom reports
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Maturity
      • Portable Scalable (Radar) Signal Processor
        • A cross-program common architecture (fractional) and infrastructure project to build a radar signal processing approach and components that far exceeded the run-time performance of existing hand-coded alternatives.
      • Nuclear Plant Control System – Embedded Central Controller
        • Project-specific model-checking was developed with PathMATE rules technology to automatically verify that all model constructs met a range of safety-critical checks.
      • More information at http://www.nasa.gov/centers/ivv/doc/207832main_PMTE-PathMateTransformationEngine-WebEval.doc
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Support
      • PathTECH online tech resource site
      • MDA Mentor Training & Consulting
      • Fully Executable Sample Systems
      • Whitepapers
        • http://pathfindermda.com/resources/whitepapers.php
      • Email: [email_address]
      • Phone: 888-662-PATH (888-662-7284)‏
      • Fax: 888-662-7284
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Requirements/Cost
      • Engine runs on Windows Development platforms.
      • Floating/Node Locked License: $2200.00
        • Includes yearly support subscription: toll-free telephone and e-mail support, critical bug patches
      • Product versions released during support subscription are $440.00 per license
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • Tutorial: Create a New Project PathMATE Model Automation and Transformation Environment IV&V ATL
    • Create a Quickstart System Model PathMATE Model Automation and Transformation Environment IV&V ATL
    • Rename it to “SimpleOven” PathMATE Model Automation and Transformation Environment IV&V ATL
    • Create a domain model for the systems application domain, MicrowaveCooking PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add Operation “ ReportDoorStatus” to the MicrowaveCooking Domain PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add parameters for the operation PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add action language to the operation PathMATE Model Automation and Transformation Environment IV&V ATL
    • Create a realized domain PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add a UML enumeration to a Domain's Public Types PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add UML operations “ActivateDevice” and “DeactivateDevice” PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add a parameter to an operation PathMATE Model Automation and Transformation Environment IV&V ATL
    • Complete the System Domain Chart: Specify Dependencies Between Domains PathMATE Model Automation and Transformation Environment IV&V ATL
    • Specify System Package Imports PathMATE Model Automation and Transformation Environment IV&V ATL
    • Complete the Class Diagram for the MicrowaveCooking Domain PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add attributes to the Oven class and set their values PathMATE Model Automation and Transformation Environment IV&V ATL
    • Associate classes PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add MicrowaveCooking Initialization Action PathMATE Model Automation and Transformation Environment IV&V ATL
    • Create and name the Door state machine diagram PathMATE Model Automation and Transformation Environment IV&V ATL
    • Create signals for the Door state machine PathMATE Model Automation and Transformation Environment IV&V ATL
    • Create and Name the Light state machine diagram PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add Entry Actions
      • Entry Actions
        • Establish a relationship between the Door state and the Light state. Door closed -> Light off, Door open -> Light on
      • The following code snippet is added to the action language as an entry action for the door's closed state
      PathMATE Model Automation and Transformation Environment Ref<Light> interior_light = FIND this->A1->A2; GENERATE Light:TurnOff() TO (interior_light); IV&V ATL
    • Ex: Add Entry Action for Door Closed PathMATE Model Automation and Transformation Environment IV&V ATL
    • Add Entry Actions
      • Similarly, for the open state of the door, the following action code is added
      PathMATE Model Automation and Transformation Environment Ref<Light> interior_light = FIND this->A1->A2; GENERATE Light:TurnOn() TO (interior_light);
      • Likewise, for the Light state machine, in the action language view of the Light state machine's Off State of the diagram, the following code is pasted:
      ExternalDeviceControl:DeactivateDevice(SYS_DEVICE_LIGHT);
      • For the On State of the Light state machine diagram:
      ExternalDeviceControl:ActivateDevice(SYS_DEVICE_LIGHT);
      • This completes the PathMATE-ready MDA model, which is now ready for being transformed into an executable system.
      IV&V ATL
    • Transformation
      • SimpleOven exists as a sample model in the PathMATE examples library – part of the PathMATE profile data in the Rational Software Modeler.
      • The instantiation of SimpleOven as a reference project is done in order to copy the realized ExternalDeviceControl implementation and properties that guide the automatic generation of a Visual C++ project
      PathMATE Model Automation and Transformation Environment IV&V ATL
    • To Instantiate a Reference Project for SimpleOven PathMATE Model Automation and Transformation Environment IV&V ATL
    • Create a new Project ReferenceSimpleOven PathMATE Model Automation and Transformation Environment IV&V ATL
    • In the ReferenceSimpleOven project, select the .cpp and copy/paste it in the QuickStart project PathMATE Model Automation and Transformation Environment IV&V ATL
    • Create a new PathMATE model PathMATE Model Automation and Transformation Environment IV&V ATL
    • Select the QuickStart System Model.emx PathMATE Model Automation and Transformation Environment IV&V ATL
    • In the Deployment dropdown, select “All Reports” and click Transform PathMATE Model Automation and Transformation Environment IV&V ATL
    • Transforming... PathMATE Model Automation and Transformation Environment IV&V ATL
    • Reports generated PathMATE Model Automation and Transformation Environment IV&V ATL
    • Generate C++ code and Visual Studio Project files: Open QuickStart System Model.pathmate in the Editor pane and in the Deployment select Single Process C++ PathMATE Model Automation and Transformation Environment IV&V ATL
    • In the Transformation Maps window ensure the PathMATE C++ and Build file generation Maps appear in order PathMATE Model Automation and Transformation Environment IV&V ATL
    • Transforming... PathMATE Model Automation and Transformation Environment IV&V ATL
    • Building SimpleOven.exe: Right-click SimpleOven.vcproj in the Project Explorer and select Open With > System Editor Build the SimpleOven system in Visual Studio 7 PathMATE Model Automation and Transformation Environment IV&V ATL
    • Run SimpleOven with Spotlight to visualize system execution at the model level: Launch from within Visual Studio- usually Debug > Start Debugging or the F5 key PathMATE Model Automation and Transformation Environment IV&V ATL
    • Once Spotlight starts, click the Connect button at the left end of the Spotlight toolbar to connect to the target application PathMATE Model Automation and Transformation Environment IV&V ATL
    • Press the Go button to start SimpleOven execution. PathMATE Model Automation and Transformation Environment IV&V ATL
    • The system is now running. PathMATE Model Automation and Transformation Environment IV&V ATL
    • In the Rational Software Modeler, in the Light state machine diagram the current state is highlighted. As expected, this is the On state because of the DoorIsOpen Signal generated in the MicrowaveCooking Domain PathMATE Model Automation and Transformation Environment IV&V ATL
    • PathMATE Model Automation and Transformation Environment QUESTIONS? Thank You Eddie Jesinsky, Aaron Higgins – Interns Dr. Tim Menzies, Ph.D. - Director Pier Luigi Long – NASA IV&V IV&V ATL