Model‐Based Engineering with Application to Autonomy

[1]  E. Kougianos,et al.  A Comparative Study of Metamodels for Fast and Accurate Simulation of Nano-CMOS Circuits , 2012, IEEE Transactions on Semiconductor Manufacturing.

[2]  Surya P. N. Singh,et al.  V-REP: A versatile and scalable robot simulation framework , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[3]  Wilfried Elmenreich,et al.  Modelling a CPS Swarm System: A Simple Case Study , 2018, MODELSWARD.

[4]  Paul Collopy,et al.  So It’s Complex, Why Do I Care? , 2017 .

[5]  Christian Wewetzer,et al.  Data aggregation and roadside unit placement for a vanet traffic information system , 2008, VANET '08.

[6]  Christine Julien,et al.  Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems , 2017, IEEE Systems Journal.

[7]  Mohammad Abdullah Al Faruque,et al.  A model-based design of Cyber-Physical Energy Systems , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

[8]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[9]  S. Sastry,et al.  Stabilization of trajectories for systems with nonholonomic constraints , 1994 .

[10]  Emmanouil Ntanos,et al.  A model-driven software engineering workflow and tool architecture for servitised manufacturing , 2018, Inf. Syst. E Bus. Manag..

[11]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[12]  Kim G. Larsen,et al.  Statistical Model Checking for Stochastic Hybrid Systems , 2012, HSB.

[13]  Gabor Karsai,et al.  Model-Based Integration Platform for FMI Co-Simulation and Heter- ogeneous Simulations of Cyber-Physical Systems , 2014 .

[14]  Andy Evans,et al.  Mapping between Levels in the Metamodel Architecture , 2001, UML.

[15]  Eelco Visser,et al.  Code generation by model transformation: a case study in transformation modularity , 2008, Software & Systems Modeling.

[16]  James Davis,et al.  GME: the generic modeling environment , 2003, OOPSLA '03.

[17]  Sandeep Neema,et al.  Toward a semantic anchoring infrastructure for domain-specific modeling languages , 2005, EMSOFT.

[18]  Kim G. Larsen,et al.  Uppaal SMC tutorial , 2015, International Journal on Software Tools for Technology Transfer.

[19]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems , 2009 .

[20]  A. Platzer,et al.  ModelPlex: verified runtime validation of verified cyber-physical system models , 2016, Formal Methods Syst. Des..

[21]  Rahim F Benekohal,et al.  CARSIM: CAR-FOLLOWING MODEL FOR SIMULATION OF TRAFFIC IN NORMAL AND STOP-AND-GO CONDITIONS , 1988 .

[22]  Thomas Kürner,et al.  Safety-Critical Driver Assistance Over LTE: Toward Centralized ACC , 2016, IEEE Transactions on Vehicular Technology.

[23]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[24]  Gabor Karsai,et al.  Model-based software synthesis , 1993, IEEE Software.

[25]  Gabor Karsai,et al.  Metamodel driven model migration , 2003 .

[26]  Michael Fisher,et al.  Formal verification of autonomous vehicle platooning , 2016, Sci. Comput. Program..

[27]  Matt Bunting,et al.  A safe autonomous vehicle trajectory domain specific modeling language for non-expert development , 2016, DSM@SPLASH.

[28]  Janos Sztipanovits,et al.  A MOF-Based Metamodeling Environment , 2004, J. Univers. Comput. Sci..

[29]  Juha-Pekka Tolvanen,et al.  MetaEdit+: defining and using integrated domain-specific modeling languages , 2009, OOPSLA Companion.

[30]  Jonathan Jansson,et al.  Virtual Generation of Lidar Data for Autonomous Vehicles , 2017 .

[31]  Guy Gogniat,et al.  A co-design approach for embedded system modeling and code generation with UML and MARTE , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[32]  Olivier Michel,et al.  Cyberbotics Ltd. Webots™: Professional Mobile Robot Simulation , 2004 .

[33]  Diomidis Spinellis,et al.  Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer? , 2009, IEEE Software.

[34]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.

[35]  Daniel Balasubramanian,et al.  Reasoning about metamodeling with formal specifications and automatic proofs , 2011, MODELS'11.

[36]  Paulo Tabuada,et al.  Automatic verification of control system implementations , 2010, EMSOFT '10.

[37]  Bernhard Rumpe,et al.  The evolution of model editors: browser- and cloud-based solutions , 2016, Software & Systems Modeling.

[38]  Giovanni Rigazzi,et al.  Multi-Radio 5G Architecture for Connected and Autonomous Vehicles: Application and Design Insights , 2018, EAI Endorsed Trans. Ind. Networks Intell. Syst..

[39]  Ricardo G. Sanfelice,et al.  Analysis and Design of Cyber-Physical Systems: A Hybrid Control Systems Approach , 2015 .

[40]  Miklós Maróti,et al.  Online Collaborative Environment for Designing Complex Computational Systems , 2014, ICCS.

[41]  Kyongsu Yi,et al.  Human-Centered Risk Assessment of an Automated Vehicle Using Vehicular Wireless Communication , 2019, IEEE Transactions on Intelligent Transportation Systems.

[42]  Cris Kobryn.  UML 2001: a standardization odyssey , 1999, CACM.

[43]  Gabor Karsai,et al.  A co-simulation framework for design of time-triggered automotive cyber physical systems , 2014, Simul. Model. Pract. Theory.

[44]  Gabor Karsai,et al.  Metamodeling-rapid design and evolution of domain-specific modeling environments , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[45]  Jonathan Sprinkle,et al.  The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications , 2018, SCAV@CPSWeek.