@article {459, title = {Are commercially implemented adaptive cruise control systems string stable?}, journal = {IEEE Transactions on Intelligent Transportation Systems}, year = {2020}, month = {06/2020}, pages = {12 pages}, abstract = {

In this article, we assess the string stability of seven 2018 model year adaptive cruise control (ACC) equipped vehicles that are widely available in the US market. A total of seven distinct vehicle models from two different vehicle makes are analyzed using data collected from more than 1,200 miles of driving in designed car-following experiments with ACC engaged by the following vehicle. The data is used to identify the parameters of a linear second order delay differential equation model that approximates the behavior of the proprietary ACC systems. The string stability of the data fitted model associated with each vehicle is assessed, and the main finding is that all seven vehicle models have string unstable ACC systems. For one commonly available vehicle that offers ACC as a standard feature on all trim levels, we validate the string stability finding with a multi-vehicle platoon experiment in which all vehicles are the same year, make, and model. In the multi-vehicle platoon test, an initial disturbance of 6 mph is amplified by 19 mph to a 25 mph disturbance, at which point the last vehicle in the platoon is observed to disengage the ACC and return control to the human driver. The data collected the driving experiments is made available, representing the largest available driving dataset on ACC equipped vehicles.

}, keywords = {Adaptive Cruise Control, String Stability}, doi = {10.1109/TITS.2020.3000682}, url = {http://dx.doi.org/10.1109/TITS.2020.3000682}, author = {George Gunter and Derek Gloudemans and Raphael E Stern and Sean McQuade and Rahul Bhadani and Matt Bunting and Maria Laura Dell Monache and Benjamin Seibold and Jonathan Sprinkle and Benedetto Piccoli and Daniel B. Work} } @conference {481, title = {Programming the Kennedy Receiver for Capacity Maximization versus Minimizing One-shot Error Probability}, booktitle = {Frontiers in Optics 2020}, year = {2020}, month = {09/2020}, publisher = {The Optical Society of America}, organization = {The Optical Society of America}, address = {Online}, abstract = {

We find the capacity attained by the Kennedy receiver for coherent-state BPSK when the symbol prior $p$ and pre-detection displacement $\beta$ are optimized. The optimal $\beta$ is different than what minimizes error probability for single-shot BPSK state discrimination.

}, keywords = {Photonics, Photonics Information Theory, Quantum Optics}, isbn = {978-1-943580-80-4}, url = {https://www.osapublishing.org/abstract.cfm?uri=FiO-2020-JM6B.29}, author = {Rahul Bhadani and Ivan B. Djordjevic and Jonathan Sprinkle and Saikat Guha}, editor = {Michael Grace} } @conference {460, title = {WiP Abstract: String stability of commercial adaptive cruise control vehicles}, booktitle = {International Conference on Cyber-Physical Systems}, year = {2019}, abstract = {In this work, we conduct a series of car-following experiments with seven different ACC vehicles and use the collected data to model the car-following behavior of each vehicle. Using a linear stability analysis, the string stability of each tested vehicle is analyzed. Addition- ally, platoon experiments with platoons of up to eight identical vehicles are conducted to validate the stability findings. Previously, only one commercial ACC system has been evaluated for string stability. }, keywords = {Adaptive Cruise Control, String Stability}, doi = {10.1145/3302509.3313325}, url = {https://dl.acm.org/citation.cfm?id=3313325}, author = {George Gunter and Y. Yang and Raphael E Stern and Daniel B. Work and Maria Laura Dell Monache and Rahul Bhadani and Matt Bunting and Roman Lysecky and Jonathan Sprinkle and Benjamin Seibold and Benedetto Piccoli} } @article {Sandoval:2017:TTS:3092956.3047498, title = {Task Transition Scheduling for Data-Adaptable Systems}, journal = {ACM Transactions on Embedded Computing Systems (TECS)}, volume = {16}, year = {2017}, pages = {105:1{\textendash}105:28}, abstract = {

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.

}, keywords = {Data adaptability, hardware/software codesign, model-based design, runtime transition scheduling}, issn = {1539-9087}, doi = {10.1145/3047498}, url = {http://doi.acm.org/10.1145/3047498}, author = {Nathan Sandoval and Casey Mackin and Sean Whitsitt and Gopinath, Vijay Shankar and Sachidanand Mahadevan and Milakovich, Andrew and Merry, Kyle and Jonathan Sprinkle and Roman Lysecky} } @proceedings {sprinkle271, title = {Power Efficient Vehicular Ad Hoc Networks}, year = {2016}, month = {03/2016}, pages = {26-31}, address = {Reston, VA}, abstract = {Inter-vehicular communication is a growing plat- form for improving roadway safety. The highly mobile nature of Vehicle to Vehicle communications causes rapid changes in network topologies and propagation conditions. Since the advent of Vehicular Ad-Hoc Networks (VANETs), over fifty routing protocols with attendant topologies have been proposed. Despite these protocols{\textquoteright} merits, many of them are not optimized for power management and frequency reuse. Our approach utilizes the one dimensional dynamic of divided highways to simplify the routing problem and reduce energy consumption. Since each car is aware of only two types of connections, up-road and down-road, we can form low power, line of sight links between adjacent vehicles. We also utilize a fuzzy logic algorithm that predicts the location of up-road cars to reduce interference from request for link signals. Once these links have been established, up-road vehicles send data down-road for a length of time based on the relative speed of the two vehicles. After this time period has expired the down-road vehicle must request additional information, restarting the timer. Data sent through the network will include information on up-road vehicles, and when required, messages such as accident notifications, alerts, and traffic warnings. Through simulation, we show that our approach to VANETs maintains its update frequency despite bumper to bumper traffic and uses two to five orders of magnitude less power than an IEEE 802.11 network with clustering and 1 mW transmit power. Overall, the network performs well and is a viable improvement to the standard.}, author = {Sterling Holcomb and Audrey Knowlton and Juan Guerra and Hamed Asadi and Haris Volos and Jonathan Sprinkle and Tamal Bose} } @proceedings {Gray:2015:2846696, title = {{DSM 2015: Proceedings of the Workshop on Domain-Specific Modeling}}, year = {2015}, publisher = {ACM}, address = {New York, NY, USA}, isbn = {978-1-4503-3903-2}, author = {Jeffrey Gray and Jonathan Sprinkle and Juka-Pekka Tolvanen and Matti Rossi} } @conference {467, title = {Workshop Preview of the 15th Workshop on Domain Specific Modeling (DSM 2015)}, booktitle = {Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity}, year = {2015}, publisher = {ACM}, organization = {ACM}, address = {New York, NY, USA}, keywords = {Code Generation, domain-specific languages, metamodeling, modeling languages}, isbn = {978-1-4503-3722-9}, doi = {10.1145/2814189.2833204}, url = {http://doi.acm.org/10.1145/2814189.2833204}, author = {Jeffrey Gray and Jonathan Sprinkle and Juka-Pekka Tolvanen and Matti Rossi} } @conference {224, title = {The 12th Workshop on Domain-specific Modeling}, booktitle = {Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity}, year = {2012}, publisher = {ACM}, organization = {ACM}, address = {New York, NY, USA}, keywords = {Code Generation, domain-specific languages, metamodeling, modeling languages}, isbn = {978-1-4503-1563-0}, doi = {10.1145/2384716.2384784}, url = {http://doi.acm.org/10.1145/2384716.2384784}, author = {Juka-Pekka Tolvanen and Jonathan Sprinkle and Matti Rossi and Jeffrey Gray} } @conference { c:milakovic2012ecbs, title = {Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems}, booktitle = {Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on}, year = {2012}, pages = {15-23}, abstract = {

We present an overview of a data-adaptable reconfigurable embedded systems design methodology. The paper presents a novel paradigm for hardware/software code sign and reconfigurable computing driven by data-adaptability. The data-adaptable approach allows designers to directly model the data configurability of the target application, thereby enabling a solution that permits dynamic reconfiguration based on the data profile of the incoming data stream. This approach permits low-power, small form-factor hardware implementations of algorithms that might otherwise consume significant resources, or perhaps exceed the available space of the reconfigurable hardware.

}, keywords = {Data adaptability, hardware/software codesign, model-based design}, doi = {10.1109/ECBS.2012.16}, url = {http://dx.doi.org/10.1109/ECBS.2012.16}, author = {Milakovich, Andrew and Vijay Gopinath and Roman Lysecky and Jonathan Sprinkle} } @conference { c:whitsitt-ecbs-2012, title = {On the Extraction and Analysis of a Social Network with Partial Organizational Observation}, booktitle = {Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems}, year = {2012}, pages = {249-256}, abstract = {

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.

}, doi = {10.1109/ECBS.2012.33}, url = {http://dx.doi.org/10.1109/ECBS.2012.33}, author = {Sean Whitsitt and Abishek Gopalan and Sangman Cho and Jonathan Sprinkle and Srinivasan Ramasubramanian and Liana Suantak and Jerzy Rozenblit} } @article { j:smc-a-camera-controller, title = {Model-Based Configuration of a Heterogeneous Human-in-the-loop Command and Control Simulation Environment}, journal = {tbd}, volume = {tbd}, number = {tbd}, year = {2012}, pages = {(in preparation)}, author = {Diyang Chu and Jacob Gulotta and Jonathan Sprinkle and Himanshu Neema and Harmon Nine and Nicholas Kottenstette and Graham Hemingway and Janos Sztipanovits} } @proceedings {225, title = {Proceedings of the 12th Workshop on Domain-specific Modeling}, year = {2012}, month = {10/2012}, publisher = {ACM}, address = {New York, NY, USA}, author = {Juka-Pekka Tolvanen and Jonathan Sprinkle and Matti Rossi and Jeffrey Gray} } @conference {222, title = {The 11th Workshop on Domain-specific Modeling}, booktitle = {Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion}, year = {2011}, publisher = {ACM}, organization = {ACM}, address = {New York, NY, USA}, keywords = {Code Generation, domain-specific languages, metamodeling, modeling languages}, isbn = {978-1-4503-0942-4}, doi = {10.1145/2048147.2048227}, url = {http://doi.acm.org/10.1145/2048147.2048227}, author = {Juka-Pekka Tolvanen and Jonathan Sprinkle and Matti Rossi and Jeffrey Gray} } @conference {466, title = {The 11th Workshop on Domain-specific Modeling}, booktitle = {Proceedings of the Compilation of the Co-located Workshops on DSM{\textquoteright}11, TMC{\textquoteright}11, AGERE! 2011, AOOPES{\textquoteright}11, NEAT{\textquoteright}11, \& VMIL{\textquoteright}11}, year = {2011}, publisher = {ACM}, organization = {ACM}, address = {New York, NY, USA}, keywords = {Code Generation, domain-specific languages, metamodeling, modeling languages}, isbn = {978-1-4503-1183-0}, doi = {10.1145/2095050.2095052}, url = {http://doi.acm.org/10.1145/2095050.2095052}, author = {Juka-Pekka Tolvanen and Jonathan Sprinkle and Jeffrey Gray and Matti Rossi} } @conference { c:sachi-ecbs-2011, title = {Hardware/Software Communication Middleware for Data Adaptable Embedded Systems}, booktitle = {Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems}, year = {2011}, pages = {34-43}, publisher = {IEEE Computer Society Press}, organization = {IEEE Computer Society Press}, abstract = {

Recent trends toward increased flexibility and configurability in emerging applications present demanding challenges for implementing systems that incorporate such capabilities. The resulting application configuration space is generally much larger than any one hardware implementation can support. We provide an overview of a new data-adaptive approach to the rapid design and implementation of such highly configurable applications. In support of this data-adaptable approach, we present and detail an efficient and flexible hardware/software communication middleware to support the seamless communication between hardware and software tasks at runtime. We highlight the flexibility of this interface and present an initial case study and results demonstrating the performance capabilities and area requirements.

}, doi = {10.1109/ECBS.2011.12}, url = {http://dx.doi.org/10.1109/ECBS.2011.12}, author = {Sachidanand Mahadevan and Vijay Gopinath and Roman Lysecky and Jonathan Sprinkle and Jerzy Rozenblit and Michael Marcellin} } @conference { w:vijay-ecbs-mbd-2011, title = {Modeling of Data Adaptable Reconfigurable Embedded Systems}, booktitle = {Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems}, year = {2011}, month = {April}, pages = {276-285}, abstract = {

Many applications require high flexibility, high configurability and high processing speeds. The physical constraints of a highly flexible system{\textquoteright}s hardware implementation preclude a hardware solution that satisfies all configuration options. Similarly for pure software implementations, even if configurability is satisfied, process efficiency will be sacrificed. Thus for applications of any significant size, there can be no single hardware or software configuration that can efficiently support all the configurability options of the applications. The Data-Adaptable Reconfigurable Embedded System (DARES) approach tackles this problem through combination of the hardware-software co-design and reconfigurable computing methodologies. Data-adaptability means that as data streams change, the system is reconfigured along the baselines defined within the system{\textquoteright}s specifications. In this project we use the concepts of Model-Integrated Computing to implement a domain-specific modeling language for the DARES approach. The language captures all the configurability options of the application task(s), performs design-space exploration, and provides a template for source code generation.

}, doi = {10.1109/ECBS.2011.31}, url = {http://dx.doi.org/10.1109/ECBS.2011.31}, author = {Vijay Gopinath and Jonathan Sprinkle and Roman Lysecky} } @proceedings {223, title = {Proceedings of the 11th Workshop on Domain-Specific Modeling}, year = {2011}, publisher = {ACM}, address = {Portland, OR}, author = {Juka-Pekka Tolvanen and Jonathan Sprinkle and Matti Rossi and Jeffrey Gray} } @mastersthesis { a:gulotta-ms, title = {Automatic Optimization of Models Using Metamodels}, year = {2010}, month = {August}, school = {University of Arizona}, type = {mastersmasters}, url = {http://bracton.ece.arizona.edu/svn/jmsgroup/trunk/public/jgulotta-thesis.pdf}, author = {Jacob Gulotta} } @proceedings {p:DSM09, title = {9th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}{\textquoteright}09)}, year = {2009}, note = {ISBN: 978-952-488-371-9}, month = {October}, publisher = {OOPSLA}, url = {http://hsepubl.lib.hse.fi/FI/publ/hse/b108}, editor = {Matti Rossi and Jonathan Sprinkle and Jeffrey Gray and Juka-Pekka Tolvanen} } @article {HCTCPS, title = {A Community Report of the 2008 High Confidence Transportation Cyber-Physical Systems {(HCTCPS)} Workshop}, year = {2009}, month = {July 22}, address = {High Confidence Transportation Cyber-Physical Systems (HCTCPS)}, url = {http://www.ee.washington.edu/research/nsl/aar-cps/}, author = {Radha Poovendran and Raj Rajkumar and David Corman and Jim Paunicka and William P. Milam and K Venkatesh Prasad and Shige Wang and Jim Barhorst and Christopher Gill and Sandeep Gupta and Krishna Sampigethaya and Jonathan Sprinkle and Doug Stuart and Wayne Wolf and Rahul Mangharam} } @article {tr:sprinkle-tse-2009, title = {Fundamental Limitations in Domain-Specific Language Evolution}, number = {TR-090831}, year = {2009}, month = {August}, publisher = {University of Arizona}, address = {1230 E. Speedway Blvd., Bldg. 104}, abstract = {

In this paper we address language engineering issues surrounding domain-specific modeling languages (DSMLs). By definition, such languages track the domain, meaning that changes to the domain require changes to the DSML in order to provide an intuitive specification of domain-specific programs or models. For this work, our primary focus is on fundamental limitations that affect the preservation of semantics during domain model evolution. We specifically address fundamental limitations in semantics-preserving transformations, and/or the implementation of algorithms that specify such transformations. This work has profound implications for language engineers who are planning for the maintenance of models, or designing model transformations for the purpose of preserving semantics. We provide a brief representative example from the discipline of hybrid systems, where such results can be interpreted.

}, url = {http://www.ece.arizona.edu/~sprinkjm/wiki/uploads/Publications/sprinkle-tse2009-domainevolution-submitted.pdf}, author = {Jonathan Sprinkle and Jeffrey Gray and Marjan Mernik} } @article { j:sprinkle-sosym-2009, title = {Model-based design: a report from the trenches of the {DARPA} Urban Challenge}, journal = {Software and Systems Modeling}, volume = {8}, number = {4}, year = {2009}, month = {September}, pages = {551-566}, publisher = {Springer Berlin / Heidelberg}, abstract = {The impact of model-based design on the software engineering community is impressive, and recent research in model transformations, and elegant behavioral specifications of systems has the potential to revolutionize the way in which systems are designed. Such techniques aim to raise the level of abstraction at which systems are specified, to remove the burden of producing application-specific programs with general-purpose programming. For complex real-time systems, however, the impact of model-driven approaches is not nearly so widespread. In this paper, we present a perspective of model-based design researchers who joined with software experts in robotics to enter the DARPA Urban Challenge, and to what extent model-based design techniques were used. Further, we speculate on why, according to our experience and the testimonies of many teams, the full promises of model-based design were not widely realized for the competition. Finally, we present some thoughts for the future of model-based design in complex systems such as these, and what advancements in modeling are needed to motivate small-scale projects to use model-based design in these domains.}, issn = {1619-1366 (Print) 1619-1374 (Online)}, doi = {10.1007/s10270-009-0116-5}, url = {http://dx.doi.org/10.1007/s10270-009-0116-5}, author = {Jonathan Sprinkle and J. Mikael Eklund and Humberto Gonzalez and Esten Ingar Gr{\o}tli and Ben Upcroft and Alex Makarenko and Will Uther and Michael Moser and Robert Fitch and Hugh Durrant-Whyte and S. Shankar Sastry} } @conference { c:gulotta-ecbs-2009, title = {Using Integrative Models in an Advanced Heterogeneous System Simulation}, booktitle = {IEEE International Conference on the Engineering of Computer-Based Systems}, year = {2009}, pages = {3-10}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, isbn = {978-0-7695-3602-6}, doi = {10.1109/ECBS.2009.42}, url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2009.42}, author = {Jacob Gulotta and Diyang Chu and Ximing Yu and Hussain Al-Helal and Tapasya Patki and Jason Hansen and Maribel Hudson and Jonathan Sprinkle} } @proceedings {p:DSM08, title = {8th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}{\textquoteright}08)}, year = {2008}, note = {{ISBN: 978-0-61523-024-5}}, month = {October}, publisher = {OOPSLA}, url = {http://www.dsmforum.org/events/DSM08/Papers/DSM08-proceedings.pdf}, editor = {Jeffrey Gray and Jonathan Sprinkle and Matti Rossi and Juka-Pekka Tolvanen} } @article {SprinkleEklundGonzalezGrotliSanketiMoserSastry2008, title = {Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data}, year = {2008}, month = {August}, publisher = {University of California, Berkeley}, abstract = {

This paper discusses efforts to parameterize the actuation models of a four-wheel automobile for the purposes of closed-loop control. As a novelty, the authors used the equipment already available or in use by the vehicle, rather than expensive equipment used solely for the purpose of system identification. After rudimentary measurements were taken of wheelbase, axle width, etc., the vehicle was driven and data were captured using a controller area network (CAN) interface. Based on this captured data, we were able to estimate the feasibility of certain closed-loop controllers, and the models they assumed (i.e., linear, or nonlinear) for control. Examples were acceleration and steering. This work served to inform the separation of differences in simulation and vehicle behavior during vehicle testing.

}, url = {http://chess.eecs.berkeley.edu/pubs/405.html}, author = {Jonathan Sprinkle and J. Mikael Eklund and Humberto Gonzalez and Esten Ingar Gr{\o}tli and Pannag R Sanketi and Michael Moser and S. Shankar Sastry} } @conference {c:gonzalezAAET2008, title = {Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems}, booktitle = {AAET: Automation, Assistance, and Embedded Systems for Transportation}, year = {2008}, month = {February 13{\textendash}14}, publisher = {Technical University, Braunschweig}, organization = {Technical University, Braunschweig}, author = {Humberto Gonzalez and Esten I. Gr{\o}tli and Todd R. Templeton and Jan O. Biermeyer and Jonathan Sprinkle and S. Shankar Sastry} } @conference { w:patki-oopsla-2008, title = {Using Integrative Modeling for Advanced Heterogeneous System Simulation}, booktitle = {The 8th OOPSLA Workshop on Domain-Specific Modeling}, year = {2008}, month = {October 19-20}, pages = {80-85}, url = {http://www.dsmforum.org/events/DSM08/Papers/14-Patki.pdf}, author = {Tapasya Patki and Hussain Al-Helal and Jacob Gulotta and Jason Hansen and Jonathan Sprinkle} } @proceedings {p:DSM07, title = {7th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}{\textquoteright}07)}, year = {2007}, note = {ISBN: 978-951-39-2915-2}, month = {October}, publisher = {OOPSLA}, address = {Jyv{\"a}skyl{\"a}, Finland}, url = {http://www.dsmforum.org/events/DSM07/Papers.html}, editor = {Jonathan Sprinkle and Jeffrey Gray and Matti Rossi and Juka-Pekka Tolvanen} } @article {tr:sbdt2007, title = {DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team}, year = {2007}, month = {June}, publisher = {University of Sydney; University of Technology, Sydney; University of California, Berkeley}, url = {http://chess.eecs.berkeley.edu/pubs/379.html}, author = {Ben Upcroft and Michael Moser and Alexi Makarenko and David Johnson and Ashod Donikan and Alen Alempijevic and Robert Fitch and William Uther and Jan Biermeyer and Humberto Gonzalez and Esten Ingar Gr{\o}tli and Todd Templeton and Vason P. Srini and Jonathan Sprinkle} } @inbook {cont:DSMBookChapter, title = {Domain-Specific Modeling}, booktitle = {Handbook of Dynamic System Modeling}, year = {2007}, note = {ISBN: 1584885653}, pages = {7-1{\textendash}7-20}, publisher = {Chapman \& Hall/CRC}, organization = {Chapman \& Hall/CRC}, chapter = {7}, author = {Jeffrey Gray and Juka-Pekka Tolvanen and Steven Kelly and Aniruddha Gokhale and Sandeep Neema and Jonathan Sprinkle}, editor = {Paul A. Fishwick} } @proceedings {p:DSM06, title = {6th {OOPSLA} Workshop on Domain-Specific Modeling ({DSM}{\textquoteright}06)}, year = {2006}, note = {ISBN: 951-39-2631-1}, month = {October}, publisher = {OOPSLA}, address = {Jyv{\"a}skyl{\"a}, Finland}, editor = {Juka-Pekka Tolvanen and Jeffrey Gray and Jonathan Sprinkle} } @article {m:GME2000UsersManual, title = {GME 2000 Users Manual (v2.0)}, year = {2001}, month = {December}, publisher = {Vanderbilt University, ISIS}, author = {{\'A}kos L{\'e}deczi and Miklos Maroti and {\'A}rpad Bakay and Greg Nordstrom and Jason T. Garrett and Chuck Thomason and Jonathan Sprinkle and P{\'e}ter Volgyesi} } @article {j:sprinkle-tse-2009, title = {Fundamental Limitations in Domain-Specific Language Evolution}, journal = {(in preparation)}, volume = {(tbd)}, month = {Submitted}, pages = {(in preparation)}, abstract = {

In this paper we address language engineering issues surrounding domain-specific modeling languages (DSMLs). By definition, such languages track the domain, meaning that changes to the domain require changes to the DSML in order to provide an intuitive specification of domain-specific programs or models. For this work, our primary focus is on fundamental limitations that affect the preservation of semantics during domain model evolution. We specifically address fundamental limitations in semantics-preserving transformations, and/or the implementation of algorithms that specify such transformations. This work has profound implications for language engineers who are planning for the maintenance of models, or designing model transformations for the purpose of preserving semantics. We provide a brief representative example from the discipline of hybrid systems, where such results can be interpreted.

}, author = {Jonathan Sprinkle and Jeffrey Gray and Marjan Mernik} }