@misc{, author = {L{\'{u}}cio, Levi and Voss, Sebastian and Chuprina, Tatiana and Bayha, Andreas and Eder, Johannes and Kanav, Sudeep}, title = {[T3] Develop your Own Car}, booktitle = {MODELS Conference Tutorials}, series = {MODELS 2018 Conference Tutorials, Copenhagen, Denmark}, year = {2018}, month = oct, address = {Copenhagen, Denmark}, abstract = {AutoFOCUS3 (AF3) is a mature model-driven engineering environment to develop software for embedded systems. For the past 20 years,several versions of AF3 have served as a platform for experimenting with cutting-edge research ideas in Model-Driven Development. AF3 is a tool that fully encompasses the software life cycle, from requirements, to architecture, simulation, deployment, code generation and verification. The attendees of this tutorial will be given the unique opportunity to model and deploy software on a real remote-controlled vehicle, using only AF3. Attendees will start by modeling the software controller for a blinker, which will be integrated with the model of the vehicle’s software. The generated code will then be flashed onto a Raspberry Pi contained in the physical remote-controlled model vehicle which can then be driven in the real world. Attendees who finish early will be able to model more advanced driving assistance functionalities. The last part of the tutorial will be dedicated to deepening the attendees’ understanding of the modeling capabilities of AF3 in areas such as requirements engineering, design-space exploration, building safety cases, formal verification, modeling processes, testing or variability modeling.}, keywords = {AutoFOCUS3, case study, fortissimo, rover, model-based systems engineering, MbSE}, url = {https://modelsconf2018.github.io/program/tutorials/#t3-develop-your-own-car}, } @inproceedings{, author = {L{\'{u}}cio, Levi and Kanav, Sudeep and Bayha, Andreas and Eder, Johannes}, title = {Controlling a virtual rover using {AutoFOCUS3}}, booktitle = {Proceedings of the {MDETools} Workshop co-located with {MODELS} 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2245}, pages = {356--365}, year = {2018}, month = oct, abstract = {AUTOFOCUS3 (AF3) is a mature model-driven engineering environment for developing software for embedded systems. For the past 20 years, several versions of AF3 have served as a platform for experimenting with cutting edge research ideas in Model-Driven Development. AF3 is a tool that fully encompasses the software lifecycle, from requirements, to architecture, simulation, deployment, code generation and verification. In this article, we describe how we used an existing model of a complex controller for a real-life miniature vehicle and have downsized and adapted it to control a rover in a virtual environment. The model we present here automates the maneuvering of a rover to follow an-other leader rover in a virtual environment, while keeping a safe distance to it. The controller operates by adapting the rover’s speed and steering according to the position and movements of the leader. The results we present in this article illustrate the whole development cycle of an embedded system using AF3, from the development of the model down to deployment to a specific platform as well as code generation and connecting to the hardware}, keywords = {AutoFOCUS3, case study, fortissimo, rover, model-based systems engineering, MbSE}, url = {http://ceur-ws.org/Vol-2245/mdetools_paper_6.pdf}, }