@incollection{, author = {Aravantinos, Vincent and Voss, Sebastian and Teufl, Sabine and H{\"{o}}lzl, Florian and Sch{\"{a}}tz, Bernhard}, title = {AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems}, booktitle = {ACES-MB&WUCOR@MoDELS 2015}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, pages = {19-26}, year = {2015}, abstract = {This paper presents tooling concepts in AutoFOCUS 3 supporting the development of software-intensive embedded system design. AutoFOCUS 3 is a highly integrated model-based tool covering the complete development process from requirements elicitation, deployment, the modelling of the hardware platform to code generation. This is achieved thanks to precise static and dynamic semantics based on the FOCUS theory. Models are used for requirements, for the software architecture (SA), for the hardware platform and for relations between those different viewpoints: traces from requirements to the SA, refinements between SAs, and deployments of the SA to the platform. This holistic usage of models allows the provision of a wide range of analysis and synthesis techniques such as testing, model checking and deployment and scheduling generation. In this paper, we demonstrate how tooling concepts on different steps in the development process look like, based on these integrated models and implemented in AutoFOCUS 3.}, keywords = {AutoFOCUS3, Seamless MBD, Model-Based Development, Embedded Systems, Tooling Concept, Tooling, model-based systems engineering, MbSE}, url = {http://ceur-ws.org/Vol-1508/paper4.pdf}, } @article{Huang2014, author = {Huang, Jia and Barner, Simon and Raabe, Andreas and Buckl, Christian and Knoll, Alois}, title = {A framework for reliability-aware embedded system design on multiprocessor platforms}, journal = {Microprocessors and Microsystems}, volume = {38}, number = {6}, pages = {539--551}, year = {2014}, month = mar, abstract = {This paper presents a model-driven framework that provides a tool-supported design flow for fault-tolerant embedded systems. Its system models comprise abstract descriptions of the application and the underlying execution platform. They provide the input to our analysis and optimization techniques that enable the automated exploration of design alternatives for applications with reliability requirements. The automated generation of source code and platform configuration files speeds up the development process. Our contribution is to advance reliability-aware design further into practice by providing an integrated tool framework and removing unrealistic assumptions in the analyzes. The case studies demonstrate the effectiveness of our approach.}, issn = {0141-9331}, doi = {10.1016/j.micpro.2014.02.007}, keywords = {Embedded systems; Reliability; Fault-tolerance ; Design optimization; Model-driven development}, } @inproceedings{Huang2012, author = {Huang, Kai and Chen, Gang and Keddis, Nadine and Geisinger, Michael and Buckl, Christian}, title = {Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems}, booktitle = {2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS)}, pages = {224}, year = {2012}, month = apr, doi = {10.1109/ICCPS.2012.45}, keywords = {chromosome, embedded systems, field programmable gate arrays, FPGA platform, inverted pendulum demonstrator, middleware, model-based software design, modular software framework, nonlinear systems, pendulums, safety-critical embedded systems, safety-critical software, timed model-based design}, } @inproceedings{, author = {Campetelli, Alarico and H{\"{o}}lzl, Florian and Neubeck, Florian}, title = {User-friendly Model Checking Integration in Model-based Development}, booktitle = {Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering}, year = {2011}, abstract = {We present our approach to a user-friendly model checking integration in model-based development. The used modeling tool is AutoFocus 3, developed at our research group and specialized for reactive and embedded systems. For this integration, we approach usability at four points: tight coupling of verification properties with model elements, different specification languages for the formulation of properties, visualization of counterexamples as well as evaluation of different model checkers for adequate performance. Dealing with these issues leads to one of the first model-based development environments incorporating property specification, model checking and debugging.}, keywords = {verification, model checking, model-based development, tool support, embedded systems, AutoFOCUS3, formal verification, model-based systems engineering, MbSE}, }