By Manuel C. Salas Advisor: Dr. Bernard P. Zeigler University of Arizona 2008

Motivation Objectives Background Contributions AutoDEVS AutoDEVS to Autonomous Road Survey (DEMO) Conclusions Future Work

Improve systems development to reduce human effort, time constraints, and production costs. Unify every step of development and integration from business modeling to application deployment. Overcome the "incoherence problem" between different stages of the development process. Introduce automation in the development of systems to increase productivity and hide complexity.

To provide a methodology to increase productivity by automating the life cycle process of a system. To exploit model continuity to reduce incoherence between development phases. To help developers identify and focus on the most critical parts of the system. To provide a methodology that allows developers to create high performance distributed real-time systems that are extensible flexible, interoperable, reusable, and reliable.

Many Organizations make use of the Systems Development Life Cycle (SDLC) methodologies.

Alternatives to the SDLC methodologies.

M & S Development Tools: Rational Rose Real-Time Pros: - Unifies the project team by providing a set of integrated tools. - Automatic code generation to reduce development risk. - UML model debugger Cons: - Focuses on design not on requirements. - Doesn’t support concurrency in Statechart Diagrams. - Doesn’t support Activity Diagrams, i.e. simulation, verification, test case gen.

Introduce AutoDEVS as a methodology to automate the development of complex, distributed, real-systems. Demonstrate that this methodology overcomes the “incoherence problem” between different stages of design thru “model continuity”. Develop a distributed simulation-based system for an autonomous robotic survey to show the powers of AutoDEVS. Provide a solution to automate the constant road supervision needed to improve productivity and reduce human efforts in a mine.

AutoDEVS is based on the Discrete Event Specification System (DEVS) and SES formalism. Provides a Methodology to: Automate the development of DEVSJAVA models to increase productivity and focus on the real aspects of the system. Exploit model continuity to reduce “incoherence” between development phases by following the “Modeling-Simulation- Execution approach. Go from a “spreadsheet” containing requirements specifications to a real-time executing system. Allow alternative models to be selected, generated and evaluated.

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects IDRequirementText 1 Generators shall be GpsDataGenerator, SurfaceDataGenerator, and WirelessDataGenerator. 2 All the Generators components shall be started by the Generators. 3 All the Generators components shall be stopped by the Generators. 4 The Generator shall send data every 1 second.

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects SESMicroRepresentation 1. From the GenComponent perspective, Generators are made of more than one Generator! 2. A Generator can be GpsData, SurfaceData, or WirelessData in class! 3. From the Component perspective, Generator sends GenData to Generators!

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (structure) Generate DEVS Models (behavior) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects FDDEVSRepresentation 1. Generator: to start passivate in passive! 2. Generator: when in phase passive and receive Start then go to active! 3. Generator: when in active and receive Stop then go to passive! 4. Generator: hold in active for time 1 then output GenData and go to active!

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects

Define Requirements Extract Structural Aspects Capture Spreadsheet Data Generate FD-DEVS Models (behavior) Generate DEVS Models (structure) Update PES Transform PES to DEVSJAVA Create Test Models Verify Created Models Simulate Extract Behavioral Aspects

AutoDEVS provides a methodology to automate systems development. AutoDEVS methodology provides a natural and effective way to model distributed real-time systems’ structure, behavior and timeliness. AutoDEVS methodology raises the importance of simulation to analyze and predict results before deployment. AutoDEVS allows developers to focus more on the core of the system.

AutoDEVS combines DEVS and SES formalisms to allow the creation of structured information hierarchically and efficiently. AutonomousRoadSurvey has been developed to show how AutoDEVS overcomes “incoherence problem”. AutoDEVS and ARS motivate the industry to exploit automated systems to improve productivity and reduce human efforts. ARS provides a solution to automate the supervision of roads within a mine.

AutoDEVS: - Integrate with FD-DEVS, SESBuilder and DEVS/SOA. - Provide more automation for the model’s behavioral aspects. - Allow updates without compromising current models. ARS: - Improve algorithms to find roads. - Extend Runner survey information, i.e. “blind areas”, quality of surface, materials found. - Minimize downtime of operation by introducing more Runners to the system. - Automate the execution of Runners to periodically update the Central System and Supervisors.