%0 Journal Article %J ACM Transactions on Embedded Computing Systems (TECS) %D 2017 %T Task Transition Scheduling for Data-Adaptable Systems %A Nathan Sandoval %A Casey Mackin %A Sean Whitsitt %A Gopinath, Vijay Shankar %A Sachidanand Mahadevan %A Milakovich, Andrew %A Merry, Kyle %A Jonathan Sprinkle %A Roman Lysecky %K Data adaptability %K hardware/software codesign %K model-based design %K runtime transition scheduling %X

Data-adaptable embedded systems operate on a variety of data streams, which requires a large degree of configurability and adaptability to support runtime changes in data stream inputs. Data-adaptable reconfigurable embedded systems, when decomposed into a series of tasks, enable a flexible runtime implementation in which a system can transition the execution of certain tasks between hardware and software while simultaneously continuing to process data during the transition. Efficient runtime scheduling of task transitions is needed to optimize system throughput and latency of the reconfiguration and transition periods. In this article, we provide an overview of a runtime framework enabling the efficient transition of tasks between software and hardware in response to changes in system inputs. We further present and analyze several runtime transition scheduling algorithms and highlight the latency and throughput tradeoffs for two data-adaptable systems. To evaluate the task transition selection algorithms, a case study was performed on an adaptable JPEG2000 implementation as well as three other synchronous dataflow systems characterized by transition latency and communication load.

%B ACM Transactions on Embedded Computing Systems (TECS) %V 16 %P 105:1–105:28 %G eng %U http://doi.acm.org/10.1145/3047498 %R 10.1145/3047498 %0 Conference Paper %B NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems %D 2014 %T Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations %A Sean Whitsitt %K Controls %K Dynamic Constraints %K Model Transformations %B NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems %I NSF %C Washington, DC %8 03/2014 %G eng %0 Conference Paper %B The 14th Workshop on Domain-Specific Modeling %D 2014 %T Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems %A Sean Whitsitt %A Jonathan Sprinkle %A Roman Lysecky %X

Cyber physical systems by definition involve design constraints addressing the computation and communication necessary to control physical systems. These systems have been modeled using domain specific modeling languages, but some limitations exist in the continued application of such a modeling approach to more complex, or safety-critical, systems. Specifically, it is well known how to formulate constraints in a domain-specific modeling language in order to prevent users from building invalid structures, but existing constraint-based techniques do not take into consideration design requirements that may require analysis in the physical domain (i.e. dynamic constraints). Those analysis results, when interpreted by a domain expert, can inform changes to the model: unfortunately, this process does not scale. This paper presents an approach to integrating dynamic constraints that cannot be enforced using structural model constraints. The technique uses expert blocks to analyze systems and generates model transformations specific to the system using the results of those analyses to fix constraint violations. The paper describes a Dynamic Constraint Feedback (DCF) methodology for integrating this technique into existing systems from a generic perspective. Specific examples in this paper are derived from the domain of data adaptable reconfigurable embedded systems (DARES).

%B The 14th Workshop on Domain-Specific Modeling %P 35-40 %8 2014 %G eng %U http://dx.doi.org/10.1145/2688447.2688454 %R 10.1145/2688447.2688454 %0 Conference Paper %B American Control Conference %D 2014 %T A Hybrid Controller for Autonomous Vehicle Lane Changing with Epsilon Dragging %A Sean Whitsitt %A Jonathan Sprinkle %X

Trajectory control for a ground vehicle typically utilizes the error from the desired path or trajectory (i.e., crosstrack error) to produce velocity and steering commands. If an obstacle is in the path, previous techniques have synthesized a new trajectory that avoids the obstacles, and the vehicle directly follows this new path. This approach has drawbacks at high velocity, because the synthesized trajectory must satisfy the stability criteria of the vehicle. This paper introduces a technique which we call epsilon dragging The approach modifies the existing trajectory by some value ε in order to avoid an obstacle at high speeds, while preserving the original trajectory as the desired path. Epsilon dragging is performed by inducing an additional error to the crosstrack error of the vehicle; this induced error can be bounded in order to stay within the velocity/turnrate profile that governs safe behavior at high speeds. The paper provides a method to construct epsilon such that a vehicle can avoid an obstacle at high speeds without the need to verify the trajectory’s curvature before it is synthesized. The technique is demonstrated in completing a lane-change maneuver at different velocities, and verifying that the velocity/turnrate profiles are not exceeded.

%B American Control Conference %I IEEE %C Portland, Oregon %P 5307-5312 %8 06/2014 %G eng %U http://dx.doi.org/10.1109/ACC.2014.6859450 %R 10.1109/ACC.2014.6859450 %0 Thesis %D 2014 %T A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations %A Sean Whitsitt %I University of Arizona %C Tucson, AZ %V PhD %8 12/2014 %G eng %9 mastersPhD Dissertation %0 Conference Paper %B Asilomar Conference on Signals, Systems and Computers %D 2013 %T Efficient Reconfiguration Methods to Enable Rapid Deployment of Runtime Reconfigurable Systems %A Roman Lysecky %A Nathan Sandoval %A Sean Whitsitt %A Casey Mackin %A Jonathan Sprinkle %B Asilomar Conference on Signals, Systems and Computers %I IEEE %C Pacific Grove, CA %8 11/2013 %G eng %U http://dx.doi.org/10.1109/ACSSC.2013.6810401 %R 10.1109/ACSSC.2013.6810401 %0 Conference Paper %B Proceedings of the 2013 ACM workshop on Domain-specific modeling (DSM ’13) %D 2013 %T Generating a ROS/JAUS Bridge for an Autonomous Ground Vehicle %A Patrick Morley %A Alex Warren %A Ethan Rabb %A Matthew Bunting %A Sean Whitsitt %A Jonathan Sprinkle %K autonomous vehicles %K Code Generation %X

Robotic systems have truly benefitted from standardized middleware that can componentize the development of new capabilities for a robot. The popularity of these robotic middleware systems has resulted in sizable libraries of components that are now available to roboticists. However, many robotic systems (such as autonomous vehicles) must adhere to externally defined standards that are not blessed with such a large repository of components. Due to the real-time and safety concerns that accompany the domain of unmanned systems, it is not trivial to interface these middleware systems, and previous attempts to do so have succeeded at the cost of ad hoc design and implementation. This paper describes a domain-specific approach to the synthesis of a bridge between the popular Robotic Operating System (ROS) and the Joint Architecture for Unmanned Systems (JAUS). The domain-specific nature of the approach permits the bridge to be limited in scope by the application’s specific messages (and their attribute mappings between JAUS/ROS), resulting in smaller code size and overhead than would be incurred by a generic solution. Our approach is validated by tests performed on an unmanned vehicle with and without the JAUS/ROS bridge.

%B Proceedings of the 2013 ACM workshop on Domain-specific modeling (DSM ’13) %I ACM %C Indianapolis, IN %P 13-18 %G eng %U http://dx.doi.org/10.1145/2541928.2541931 %R 10.1145/2541928.2541931 %0 Conference Paper %B 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems %D 2013 %T Model Based Development with the Skeleton Design Method %A Sean Whitsitt %A Jonathan Sprinkle %A Roman Lysecky %B 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems %P 12-19 %G eng %U http://dx.doi.org/10.1109/ECBS.2013.16 %R 10.1109/ECBS.2013.16 %0 Journal Article %J AIAA Journal of Aerospace Information Systems %D 2013 %T Modeling Autonomous Systems %A Sean Whitsitt %A Jonathan Sprinkle %B AIAA Journal of Aerospace Information Systems %V 10 %P 396-413 %G eng %U http://dx.doi.org/10.2514/1.I010039 %R 10.2514/1.I010039 %0 Conference Paper %B International Conference on Field-Programmable Technology (ICFPT) %D 2013 %T Runtime Hardware/Software Task Transition Scheduling for Runtime-Adaptable Embedded Systems %A Nathan Sandoval %A Casey Mackin %A Sean Whitsitt %A Roman Lysecky %A Jonathan Sprinkle %B International Conference on Field-Programmable Technology (ICFPT) %P 342-345 %G eng %U http://dx.doi.org/10.1109/FPT.2013.6718382 %R 10.1109/FPT.2013.6718382 %0 Conference Paper %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %D 2013 %T System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems %A Nathan Sandoval %A Casey Mackin %A Sean Whitsitt %A Roman Lysecky %A Jonathan Sprinkle %K combinatorial explosion %K Data adaptability %K data adaptable design methodology %K data adaptable embedded systems %K data configurations %K data handling %K Data models %K data profile correlation %K design time optimization %K dynamic software-hardware task migration %K embedded systems %K Field programmable gate arrays %K FIFO queues %K Firing %K Hardware %K hardware accelerators %K hardware-software codesign %K hardware-software communication wrapper %K hardware/software codesign %K hardware/software communication middleware %K heuristic programming %K heuristic search methodology %K middleware %K model-based design %K Pareto optimal configurations %K Pareto optimisation %K Runtime %K runtime communication middleware %K search problems %K simulation-based methodology %K system throughput optimization %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %P 59-68 %8 April %G eng %R 10.1109/ECBS.2013.25 %0 Conference Paper %B Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems %D 2012 %T On the Extraction and Analysis of a Social Network with Partial Organizational Observation %A Sean Whitsitt %A Abishek Gopalan %A Sangman Cho %A Jonathan Sprinkle %A Srinivasan Ramasubramanian %A Liana Suantak %A Jerzy Rozenblit %X

The behavior of an organization may be inferred based on the behavior of its members, their contacts, and their connectivity. One approach to organizational analysis is the construction and interpretation of a social network graph, where entities of an organization (persons, vehicles, locations, events, etc.) are nodes, and edges represent varying kinds of connectivity between entities. This paper describes a transformation based approach to the extraction of a social network graph, where the original data comprising (partial) observation of the organization are embedded on a graph with a different ontology, and with many entities and edges that are unrelated to the organization of interest. Social network extraction allows the inference of implied relationships, and the selection of relationships relevant for intended analysis techniques. The analysis of the resulting social network graph is based on organizational and individual analysis, in order to permit an advanced user to draw conclusions regarding the behavior of the organization, based on established social network graph metrics. The results of the paper include a discussion of the complexity of analysis, and how the observation data graph is pruned in order to scale the application of analysis algorithms.

%B Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems %P 249-256 %G eng %U http://dx.doi.org/10.1109/ECBS.2012.33 %R 10.1109/ECBS.2012.33 %0 Conference Paper %B ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems Doctoral Symposium %D 2012 %T Modeling and Code Generation with Autonomous Vehicles %A Sean Whitsitt %B ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems Doctoral Symposium %C Innsbruck Austria %G eng %0 Conference Paper %B International Workshop on Multi-Paradigm Modeling (MPM) %D 2012 %T An Overseer Control Methodology for Data Adaptable Embedded Systems %A Sean Whitsitt %A Jonathan Sprinkle %A Roman Lysecky %B International Workshop on Multi-Paradigm Modeling (MPM) %P 1-6 %8 08/2012 %G eng %U http://dx.doi.org/10.1145/2508443.2508448 %R 10.1145/2508443.2508448 %0 Conference Paper %B 51st IEEE Conference on Decision and Control %D 2012 %T A Passenger Comfort Controller for an Autonomous Ground Vehicle %A Sean Whitsitt %A Jonathan Sprinkle %B 51st IEEE Conference on Decision and Control %P 3380-3385 %G eng %U http://dx.doi.org/10.1109/CDC.2012.6426049 %R 10.1109/CDC.2012.6426049 %0 Conference Paper %B Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11 %D 2011 %T Constrained data acquisition for mobile citizen science applications %A Sean Whitsitt %A Armando Barreto %A Maribel Hudson %A Hussain Al-Helal %A Diyang Chu %A Kamel Didan %A Jonathan Sprinkle %K citizen scientist %K domain-specific modeling %K iphone %K mobile phone programming %X

The popularity and ubiquity of personal mobile computing devices–-coupled with their powerful sensing capabilities–-allow their application in the structured collection of data for societal benefit and science applications. Citizen scientists are willing users and active contributors to scientific research and applications, but if they gather data in an unconstrained or ad hoc manner, their efforts may be of little scientific value. In this paper, we present a user interface for a mobile device which is properly constrained to permit the gathering of valid scientific data. This helps to achieve the goal that any individual with a basic familiarity of the device (but not of the science) should be able to obtain useful data with little learning required. As a use case for this concept, we present a mobile application that allows users to collect location-stamped images to supplement satellite data for climate change research.

%B Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11 %S SPLASH ’11 Workshops %I ACM %C New York, NY, USA %P 267–272 %@ 978-1-4503-1183-0 %G eng %U http://dx.doi.org/10.1145/2095050.2095095 %R 10.1145/2095050.2095095 %0 Conference Paper %B Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems %D 2011 %T Message Modeling for the Joint Architecture for Unmanned Systems (JAUS) %A Sean Whitsitt %A Jonathan Sprinkle %X The Joint Architecture for Unmanned Systems (JAUS) is a standard for sensing, control, and computational communication of components for unmanned systems. This paper presents a modeling environment capable of producing a domain-specific prototype of the software necessary for inter-computer communications. A metamodel is used to provide the domain-specific modeling language to model both the messages used in JAUS, and the shell interfaces for components that transmit and receive those messages. The produced artifacts are C and C++ code that can be used in unmanned systems and simulations of such systems, including tests that validate the structure and behavior of the generated code. The generated code is compatible with standard JAUS implementations, and is validated using the OpenJAUS open source API and framework. Future work describes the second spiral of features and behaviors (currently in the design phase). The case study and test environment for the software generated by this project is an autonomous ground vehicle, modeled on a Ford Escape Hybrid that is used in laboratory experiments. %B Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems %P 251–259 %8 April %G eng %U http://dx.doi.org/10.1109/ECBS.2011.17 %R 10.1109/ECBS.2011.17 %0 Thesis %D 2011 %T Modeling the Messaging and Component Interfaces of Autonomous Systems %A Sean Whitsitt %I University of Arizona %8 August %G eng %U http://bracton.ece.arizona.edu/svn/jmsgroup/trunk/public/whitsitt-thesis.pdf %9 mastersmasters %0 Conference Paper %B Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE) %D 2010 %T Citizen Science in Support of Vegetation Index and Phenology Research %A Sean Whitsitt %A Armando Barreto %A Sundaresh Ram %A Hussain Al-Helal %A Maribel Hudson %A Diyang Chu %A Jonathan Sprinkle %A Kamel Didan %X

Vegetation indices (VIs) are simple transformations of images into proxy measures of greenness and vegetation health and change over time. They are also used to derive information about the land surface phenology status, providing extensive spatial coverage and direct support for global ecosystem models. These measurements however contain large uncertainties and errors. A new suite of mobile devices, equipped with geo-location, image capture, and transmission capabilities could aid with vegetation phenology observations and documentation. The iPhone, with its wide distribution and array of sensors, can contribute significantly to the field of citizen science. In this project we are developing an end-to-end system for the collection, processing, and visualization of land surface vegetation phenology. The system consists of a client-server application and a Google Earth based visualization model. The client side (an iPhone app) intuitively guides the observer to capture up to three images per location: a close-up image of leaves, flowers, or fruits, an individual plant image, and a panoramic landscape image. The iPhone automatically embeds location, orientation, date/time, and other metadata with the images and allows the observer to add text comments. The images are then transmitted to the server, where they are validated, post-processed, archived, and made available to the interactive visualization system. The images are separated into primary colors and processed into a greenness index comparable to the classical VI. These measurements are then plotted against satellite based VI time series to aid in their validation and the characterization of the location phenology. With this effort we hope to recruit global observers into contributing to the field of land surface vegetation change detection and characterization.

%B Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE) %8 October %G eng