Automating acceptance tests for sensor- and actuator-based systems on the example of autonomous vehicles

vii

[1]  Dong Myung Lee,et al.  Development of communication framework for unmanned ground vehicle , 2008, 2008 International Conference on Control, Automation and Systems.

[2]  Bernhard Rumpe,et al.  MontiCore: Modular Development of Textual Domain Specific Languages , 2008, TOOLS.

[3]  T. Gowers.  Princeton companion to mathematics , 2008 .

[4]  Manfred Mitschke,et al.  Dynamik der Kraftfahrzeuge , 1972 .

[5]  Jan Lundgren,et al.  A framework for simulation of surrounding vehicles in driving simulators , 2008, TOMC.

[6]  T. Suzuki,et al.  Automated steering control for the intelligent multimode transit system , 2000, Proceedings of the IEEE Intelligent Vehicles Symposium 2000 (Cat. No.00TH8511).

[7]  H. Weisser,et al.  Autonomous driving on vehicle test tracks: overview, implementation and results , 2000, Proceedings of the IEEE Intelligent Vehicles Symposium 2000 (Cat. No.00TH8511).

[8]  Douglas C. Schmidt,et al.  Middleware for real-time and embedded systems , 2002, CACM.

[9]  Perry A. Zirkel.  A Straight Line , 1993 .

[10]  Bernhard Rumpe,et al.  Product Line Annotations with UML-F , 2002, SPLC.

[11]  A. De Carvalho Neves,et al.  An introduction to splines for use in computer graphics & geometric modeling: R.H. Bartels, J.C. Beatty & B.A. Barsky, Morgan Kaufmann Publishers. pp. 490, cloth binding. £29.95/$49.95. ISBN: 0 934613 27 3 , 1992 .

[12]  Manfred Broy,et al.  Software Engineering for Automotive Systems: A Roadmap , 2007, Future of Software Engineering (FOSE '07).

[13]  Dean A. Pomerleau,et al.  RALPH: rapidly adapting lateral position handler , 1995, Proceedings of the Intelligent Vehicles '95. Symposium.

[14]  C. Lipski,et al.  A Fast and Robust Approach to Lane Marking Detection and Lane Tracking , 2008, 2008 IEEE Southwest Symposium on Image Analysis and Interpretation.

[15]  Sebastian Thrun,et al.  Stanley: The robot that won the DARPA Grand Challenge , 2006, J. Field Robotics.

[16]  Kilian von Neumann-Cosel,et al.  Virtual test drive - provision of a consistent tool-set for [D,H,S,V]-in-the-loop , 2009 .

[17]  Bernhard Rumpe,et al.  Integration von Modellen in einen codebasierten Softwareentwicklungsprozess , 2006, Modellierung.

[18]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[19]  Todd Jochem,et al.  Rapidly Adapting Machine Vision for Automated Vehicle Steering , 1996, IEEE Expert.

[20]  Bernhard Rumpe,et al.  Hierarchical Variability Modeling for Software Architectures , 2011, 2011 15th International Software Product Line Conference.

[21]  Bernhard Rumpe,et al.  Einführung eines Produktlinienansatzes in die automotive Softwareentwicklung am Beispiel von Steuergerätesoftware , 2012, Software Engineering.

[22]  Bernhard Rumpe,et al.  High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement , 2012, REFSQ.

[23]  Bernhard Rumpe,et al.  Evolving Delta-Oriented Software Product Line Architectures , 2012, Monterey Workshop.

[24]  Bernhard Rumpe,et al.  Agile Modeling with the UML , 2002, RISSEF.

[25]  Alain L. Kornhauser,et al.  DARPA Urban Challenge Princeton University Technical Paper , 2007 .

[26]  Bernhard Rumpe,et al.  Modal Object Diagrams , 2011, ECOOP.

[27]  Eric S. Raymond,et al.  The Art of Unix Programming , 2003 .

[28]  Lane Tracker,et al.  Preadjustment of a Vision-based Lane Tracker Using Virtual Test Drive within a Hardware in the Loop Simulator , 2008 .

[29]  C. Thorpe,et al.  From Automated Highways to Urban Challenges , 2008, 2008 IEEE International Conference on Vehicular Electronics and Safety.

[30]  Christian Berger,et al.  Hesperia: Framework zur Szenario-gestützten Modellierung und Entwicklung Sensor-basierter Systeme , 2009, GI Jahrestagung.

[31]  Takeshi Hirose,et al.  An Automobile with Artificial Intelligence , 1979, IJCAI.

[32]  Bernhard Rumpe,et al.  Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..

[33]  Bernhard Rumpe,et al.  Variability within Modeling Language Definitions , 2009, MoDELS.

[34]  松田 晃一,et al.  Virtual Reality Modeling Language , 1997 .

[35]  Bernhard Rumpe,et al.  A new Concept of Refinement used for Behaviour Modelling with Automata , 1994, FME.

[36]  Bernhard Rumpe,et al.  SSELab: A plug-in-based framework for web-based project portals , 2012, 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).

[37]  Bernhard Rumpe,et al.  An Algebraic View on the Semantics of Model Composition , 2007, ECMDA-FA.

[38]  Uwe Franke,et al.  Real-time stereo vision for urban traffic scene understanding , 2000, Proceedings of the IEEE Intelligent Vehicles Symposium 2000 (Cat. No.00TH8511).

[39]  Jim X. Chen,et al.  OpenGL Shading Language , 2009 .

[40]  Gerd Schulz.  Regelungstechnik 2: Mehrgrößenregelung, Digitale Regelungstechnik, Fuzzy-Regelung , 2008 .

[41]  Morten Mossige.  Evaluation of Linux rt-preempt for embedded industrial devices for Automation and Power Technologies-A Case Study , 2007 .

[42]  Bernhard Rumpe,et al.  Delta Modeling for Software Architectures , 2014, MBEES.

[43]  I N Bronstein,et al.  Taschenbuch der Mathematik , 1966 .

[44]  Minoru Abe,et al.  Electrocutaneous Communication in a Guide Dog Robot (MELDOG) , 1985, IEEE Transactions on Biomedical Engineering.

[45]  Christian Berger,et al.  Caroline: An autonomously driving vehicle for urban environments , 2008, J. Field Robotics.

[46]  Terence Parr.  The Definitive ANTLR Reference: Building Domain-Specific Languages , 2007 .

[47]  Bernhard Rumpe,et al.  MontiCore: a framework for the development of textual domain specific languages , 2008, ICSE Companion '08.

[48]  Gabor Karsai,et al.  Metamodelling - State of the Art and Research Challenges , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[49]  S. Gorzig,et al.  Steps towards an intelligent vision system for driver assistance in urban traffic , 1997, Proceedings of Conference on Intelligent Transportation Systems.

[50]  B. Page,et al.  Simulating discrete event systems with UML and JAVA , 2006 .

[51]  James E. Rumbaugh,et al.  Unified Modeling Language (UML) , 2010, Encyclopedia of Software Engineering.

[52]  Randi J. Rost.  OpenGL shading language , 2004 .

[53]  Vincent Lepetit,et al.  Monocular Model-Based 3D Tracking of Rigid Objects: A Survey , 2005, Found. Trends Comput. Graph. Vis..

[54]  Tim Gülke,et al.  Caroline - ein autonom fahrendes Fahrzeug im Stadtverkehr , 2011 .

[55]  Bernhard Rumpe,et al.  Exemplary and complete object interaction descriptions , 1998, Comput. Stand. Interfaces.

[56]  Reinhold Behringer,et al.  Visuelle Erkennung und Interpretation des Fahrspurverlaufes durch Rechnersehen für ein autonomes Strassenfahrzeug , 1997 .

[57]  Christian Berger,et al.  Software & Systems Engineering Process and Tools for the Development of Autonomous Driving Intelligence , 2007, J. Aerosp. Comput. Inf. Commun..

[58]  Dariu Gavrila,et al.  The Issues , 2011 .

[59]  Jeff McAffer,et al.  Eclipse Rich Client Platform , 2010 .

[60]  Reinhold Behringer,et al.  The seeing passenger car 'VaMoRs-P' , 1994, Proceedings of the Intelligent Vehicles '94 Symposium.

[61]  R.E. Fenton,et al.  IVHS/AHS: driving into the future , 1994, IEEE Control Systems.

[62]  Thomas O. Seppelin.  The Department of Defense World Geodetic System 1972 , 1974 .

[63]  Nick McKeown,et al.  Automated vehicle control developments in the PATH program , 1991 .

[64]  J. L. Contreras,et al.  "Technology of Object-Oriented Languages and Systems , 2001 .

[65]  S. Heinrich,et al.  Fast obstacle detection for urban traffic situations , 2002, IEEE Trans. Intell. Transp. Syst..

[66]  James F. Cremer,et al.  The Software Architecture for Scenario Control in the Iowa Driving Simulator , 1993 .

[67]  Bernhard Rumpe,et al.  Modeling Language Variability , 2010, Monterey Workshop.

[68]  M Schulze,et al.  CHAUFFEUR - THE EUROPEAN WAY TOWARDS AN AUTOMATED HIGHWAY SYSTEM , 1997 .

[69]  Christian Berger,et al.  Autonomous Driving-5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System , 2014, GI-Jahrestagung.

[70]  Bernhard Rumpe,et al.  Integrated definition of abstract and concrete syntax for textual languages , 2007, MODELS'07.

[71]  Hubert Weisser,et al.  AUTONOMOUS DRIVING ON VEHICLE TEST TRACKS : OVERVIEW, MOTIVATION, AND CONCEPT , 1998 .

[72]  H Fennel,et al.  Achievements and exploitation of the AUTOSAR development partnership , 2006 .

[73]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[74]  Manfred Broy,et al.  Software and System Modeling Based on a Unified Formal Semantics , 1997, Requirements Targeting Software and Systems Engineering.

[75]  FuaPascal,et al.  Monocular model-based 3D tracking of rigid objects , 2005 .

[76]  Bruce Powell Douglass,et al.  Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems , 2002 .

[77]  C. Everitt.  Projective texture mapping , 2001 .

[78]  E Preuschoff,et al.  Einsatzszenarien fuer Fahrerassistenzsysteme im Gueterverkehr und deren Bewertung , 2003 .

[79]  Dean A. Pomerleau,et al.  Visibility estimation from a moving vehicle using the RALPH vision system , 1997, Proceedings of Conference on Intelligent Transportation Systems.

[80]  Richard T. Vaughan,et al.  The Player/Stage Project: Tools for Multi-Robot and Distributed Sensor Systems , 2003 .

[81]  Bernhard Rumpe,et al.  CD2Alloy: class diagrams analysis using alloy revisited , 2011, MODELS'11.

[82]  Massimo Bertozzi,et al.  ARGO and the MilleMiglia in Automatico Tour , 1999, IEEE Intell. Syst..

[83]  Ralph Sartor.  Versuch einer kritischen Würdigung , 2000 .

[84]  David Erickson,et al.  Promoting interoperability: The libdrdc data standards library , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[85]  Hans B. Pacejka,et al.  A New Tire Model with an Application in Vehicle Dynamics Studies , 1989 .

[86]  Bernhard Rumpe,et al.  Feature Specification and Refinement with State Transition Diagrams , 1997, FIW.

[87]  Borko Furht,et al.  Performance of REAL/IXTM-fully preemptive real time UNIX , 1989, OPSR.

[88]  Michel Verhaegen,et al.  Testing advanced driver assistance systems for fault management with the VEHIL test facility , 2004 .

[89]  Carsten Wartmann,et al.  The Official Blender 2.0 Guide , 2001 .

[90]  Bernhard Rumpe,et al.  MontiCore 1.0: Framework zur Erstellung und Verarbeitung domänenspezifischer Sprachen , 2006 .

[91]  Tony Mason,et al.  Lex & Yacc , 1992 .

[92]  Martin Schindler,et al.  Eine Werkzeuginfrastruktur zur agilen Entwicklung mit der UML-P , 2012, Aachener Informatik-Berichte, Software Engineering.

[93]  Jan Effertz.  Sensor Architecture and Data Fusion for Robotic Perception in Urban Environments at the 2007 DARPA Urban Challenge , 2008, RobVis.

[94]  R. Mukundan.  Quaternions : From Classical Mechanics to Computer Graphics , and Beyond , 2002 .

[95]  Bernhard Rumpe,et al.  Modeling cyber-physical systems: model-driven specification of energy efficient buildings , 2012, MOTPW '12.

[96]  Hartmut Bossel,et al.  Modeling and simulation , 1994 .

[97]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[98]  M. Broy.  Automotive software and systems engineering , 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..

[99]  Julio Rosenblatt,et al.  DAMN: a distributed architecture for mobile navigation , 1997, J. Exp. Theor. Artif. Intell..

[100]  J W Stoner.  INTRODUCTION TO THE IOWA DRIVING SIMULATOR AND SIMULATION RESEARCH PROGRAM , 1990 .

[101]  Pascal Vasseur,et al.  Introduction to Multisensor Data Fusion , 2005, The Industrial Information Technology Handbook.

[102]  Jasmin Christian Blanchette,et al.  C++ GUI programming with Qt 4 , 2004 .

[103]  Bernhard Rumpe,et al.  Model-Based Testing of Object-Oriented Systems , 2002, FMCO.

[104]  Harald Heinecke,et al.  AUTomotive Open System ARchitecture - An Industry-Wide Initiative to Manage the Complexity of Emerging Automotive E/E-Architectures , 2004 .

[105]  Bernhard Rumpe,et al.  Evolving Software Architecture Descriptions of Critical Systems , 2010, Computer.

[106]  David A. Glanzer,et al.  Technical Overview , 2008 .

[107]  Marcus A. Magnor,et al.  The Area Processing Unit of Caroline - Finding the Way through DARPA's Urban Challenge , 2008, RobVis.

[108]  Hugh F. Durrant-Whyte,et al.  A solution to the simultaneous localization and map building (SLAM) problem , 2001, IEEE Trans. Robotics Autom..

[109]  Bernhard Rumpe,et al.  Refactoring of Programs and Specifications , 2003 .

[110]  Marcus Magnor,et al.  vIsage - A visualization and debugging framework for distributed system applications , 2009 .

[111]  Bernhard Rumpe,et al.  Semantically configurable consistency analysis for class and object diagrams , 2011, MODELS'11.

[112]  Todd L. Veldhuizen,et al.  Expression templates , 1996 .

[113]  Hans P. Moravec,et al.  The Stanford Cart and the CMU Rover , 1983, Proceedings of the IEEE.

[114]  Bernhard Rumpe,et al.  Scaling-Up Model-Based-Development for Large Heterogeneous Systems with Compositional Modeling , 2009, Software Engineering Research and Practice.

[115]  Bernhard Rumpe,et al.  Refinement of Pipe-and-Filter Architectures , 1999, World Congress on Formal Methods.

[116]  B. Ulmer.  VITA II-active collision avoidance in real traffic , 1994, Proceedings of the Intelligent Vehicles '94 Symposium.

[117]  Bernhard Rumpe,et al.  Towards a semantics of activity diagrams with semantic variation points , 2010, MODELS'10.

[118]  J.M. Wille,et al.  Realizing complex autonomous driving maneuvers the approach taken by team CarOLO at the DARPA urban challenge , 2008, 2008 IEEE International Conference on Vehicular Electronics and Safety.

[119]  Bernhard Rumpe,et al.  Model Evolution and Management , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[120]  Edward A. Lee.  Computing Foundations and Practice for Cyber- Physical Systems: A Preliminary Report , 2007 .

[121]  Bernhard Rumpe,et al.  Systems, Views and Models of UML , 2014, UML Workshop.

[122]  Friedrich M. Wahl,et al.  MiRPA: Middleware for robotic and process control applications , 2007 .

[123]  J. Forrester.  Industrial Dynamics , 1997 .

[124]  Jason Pritchard.  COM and CORBA Side by Side: Architectures, Strategies, and Implementations , 1999 .

[125]  Dirk Riehle,et al.  Pattern Languages of Program Design 3 , 1997 .

[126]  Gerald I. Evenden.  Cartographic projection procedures for the UNIX environment; a user's manual , 1990 .

[127]  Aurelio Piazzi,et al.  THE ARGO AUTONOMOUS VEHICLE'S VISION AND CONTROL SYSTEMS , 1999 .

[128]  Thomas Form,et al.  Low Level Control in a Modular System Architecture for Realizing Precise Driving Maneuvers of the Autonomous Vehicle Caroline , 2008, 2008 11th International IEEE Conference on Intelligent Transportation Systems.

[129]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[130]  Jan Palczewski,et al.  Monte Carlo Simulation , 2008, Encyclopedia of GIS.

[131]  Bernhard Rumpe,et al.  MontiCore: a framework for compositional development of domain specific languages , 2010, International Journal on Software Tools for Technology Transfer.

[132]  B. Ulmer.  VITA-an autonomous road vehicle (ARV) for collision avoidance in traffic , 1992, Proceedings of the Intelligent Vehicles `92 Symposium.

[133]  T. Suzuki,et al.  A real-time vision for intelligent vehicles , 1995, Proceedings of the Intelligent Vehicles '95. Symposium.

[134]  Manfred Broy,et al.  Considerations and Rationale for a UML System Model , 2009, UML 2 Semantics and Applications.

[135]  B. Barsky,et al.  An Introduction to Splines for Use in Computer Graphics and Geometric Modeling , 1987 .

[136]  Steven K. Feiner,et al.  Introduction to Computer Graphics , 1993 .

[137]  P. Riekert,et al.  Zur Fahrmechanik des gummibereiften Kraftfahrzeugs , 1941 .

[138]  Bernhard Rumpe,et al.  ADDiff: semantic differencing for activity diagrams , 2011, ESEC/FSE '11.

[139]  Bernhard Rumpe,et al.  Meta-Modelling Semantics of UML , 2014, Behavioral Specifications of Businesses and Systems.

[140]  H. Fritz.  Model-based neural distance control for autonomous road vehicles , 1996, Proceedings of Conference on Intelligent Vehicles.

[141]  Bernhard Rumpe.  Agile Modellierung mit UML - Codegenerierung, Testfälle, Refactoring , 2005, Xpert.press.

[142]  Yiannis E. Papelis,et al.  HCSM: a framework for behavior and scenario control in virtual environments , 1995, TOMC.

[143]  Peter King,et al.  Odin: Team VictorTango's entry in the DARPA Urban Challenge , 2008, J. Field Robotics.

[144]  T D Gillespie,et al.  Fundamentals of Vehicle Dynamics , 1992 .