MIDE-based sensor management and verification for a self-driving miniature vehicle
暂无分享,去创建一个
[1] Abdullah Al Mamun,et al. Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept , 2012 .
[2] Christian Berger,et al. Model-based, composable simulation for the development of autonomous miniature vehicles , 2013, SpringSim.
[3] Rajashree Shettar,et al. MICROCONTROLLER PIN CONFIGURATION TOOL , 2012 .
[4] Christian Berger. From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering , 2012, SAFECOMP Workshops.
[5] Christian Berger,et al. Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy , 2014, ArXiv.
[6] Christian Berger,et al. Autonomous Driving-5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System , 2014, GI-Jahrestagung.
[7] Christian Berger,et al. Formal specification and systematic model-driven testing of embedded automotive systems , 2011, 2011 Design, Automation & Test in Europe.
[8] Christian Berger,et al. Engineering Autonomous Driving Software , 2014, ArXiv.
[9] Christian Berger,et al. COTS-Architecture with a Real-Time OS for a Self-Driving Miniature Vehicle , 2013, ASCoMS@SAFECOMP.
[10] Andreas Schuster,et al. Synthesizing Executable Simulations from Structural Models of Component-Based Systems , 2009, Electronic Communication of The European Association of Software Science and Technology.
[11] M. Risi,et al. Managing sensor network configuration and metadata in ocean observatories using instrument pucks , 2003, 2003 International Conference Physics and Control. Proceedings (Cat. No.03EX708).
[12] Jörgen Hansson,et al. Review and Challenges of Assumptions in Software Development , 2011 .
[13] James M. McCollum,et al. A constraint satisfaction algorithm for microcontroller selection and pin assignment , 2010, Proceedings of the IEEE SoutheastCon 2010 (SoutheastCon).