Research

General

  • AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems pdf Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl, Bernhard Schätz Model Based Architecting and Construction of Embedded Systems (ACES-MB 2015), 2015
  • A Formal Systems Engineering Approach in Practice: An Experience Report pdf Wolfgang Böhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn SER&IPs, 2014, 34-41
  • Seamless Model-based Development of Embedded Systems with AF3 Phoenix pdf Sebastian Voss, Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2013
  • AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems pdf Florian Hölzl and Martin Feilkas Model-based Engineering Of Embedded Real-Time Systems, Lecture Notes in Computer Science, 2011
  • A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry System Case Study pdf Martin Feilkas, Florian Hölzl, Christian Pfaller, Sabine Rittmann, Bernhard Schätz, Wolfgang Schwitzer, Wassiou Sitou, Maria Spichkova, David Trachtenherz Technischer Bericht, TUM-I1103, Technische Universität München, 2011
  • A System for Seamless Abstraction Layers for Model-based Development of Embedded Software pdf Judith Thyssen, Daniel Ratiu, Wolfgang Schwitzer, Alexander Harhurin, Martin Feilkas, and Eike Thaden SE'10, Software Engineering (Workshops), 2010
  • AutoFocus Tool Chain pdf F. Hoelzl, M. Spichkova and D. Trachtenherz Technical Report, Institut für Informatik der Technischen Universität München, 2010

 

Safety cases

  • Model-based Safety Cases in AutoFOCUS3 pdf Tim Kelly, Carmen Carlan, Sebastian Voss Tool demonstration on the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013)
  • VeriSure: Towards Modular Certification using Integrated Model-Based Safety Cases pdf Sebastian Voss, Bernhard Schätz, Maged Khalil, Carmen Carlan Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013)

 

Requirements engineering

  • MIRA: A Tooling-Framework to Experiment with Model-Based Requirements Engineering pdf Sabine Teufl, Dongyue Mou, and Daniel Ratiu RE, 2013
  • Requirements for a Model-based Requirements Engineering Tool for Embedded Systems: Systematic Literature Review and Survey pdf Sabine Teufl, Maged Khalil, Dongyue Mou White Paper, 2013
  • References: Problems, needs and requirements for MbRE tools pdf Maged Khalil, Dongyue Mou, Sabine Teufl White Paper, 2013
  • Binding Requirements and Component Architecture by Using Model-based Test-driven Development pdf Dongyue Mou and Daniel Ratiu Proceedings of the First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), 2012

 

Test

  • Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool pdf Jan Olaf Blech, Dongyue Mou and Daniel Ratiu Proceedings of the Seventh Workshop on Model-Based Testing, 2012

 

Deployment & Scheduling

  • Deployment and Scheduling Synthesis for Mixed-Critical Shared-Memory Applications pdf Sebastian Voss, Bernhard Schätz Proceedings of the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2013
  • Towards Development of Certifiable Multi-Core Systems pdf Sebastian Voss, A. Hattendorf Tool demonstration on the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT), 2013
  • Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach pdf Paul Pop, Leonidas Tsiopoulos, Sebastian Voss, Oscar Slotosch, Christoph Ficek, Ulrik Nyman, Alejandra Ruiz Lopez Proceedings of the W8 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality Systems (WICERT), 2013
  • Scheduling shared memory multicore architectures in AUTOFOCUS 3 using Satisfiability Modulo Theorie pdf Sebastian Voss, Bernhard Schätz Proceedings of MBEES Workshop: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

 

Formal verification

  • User-friendly Model Checking Integration in Model-based Development pdf Alarico Campetelli, Florian Hölzl, Philipp Neubeck Proceedings of International Conference on Computer Applications in Industry and Engineering, 2011

 

AF3 references from other research groups

This section presents work on and with AutoFOCUS3 outside the fortiss research group.

Under construction - if you want your publication to be included in this list, please send a message to one of our main team.

  • A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study pdf Campetelli, A.; Junker, M.; Böhm, B.; Davidich, M.; Koutsoumpas, V.; Zhu, X. & Wehrstedt, J. C. Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering, ENVISION 2020, 2015
  • A Formal Specification Automation Method Based on Focus Framework pdf Xiuna Zhu International Journal of Modeling and Optimization 4.2, 2014
  • Supporting Concurrent Development of Requirements and Architecture: A Model-based Approach pdf Vogelsang, A.; Eder, S.; Hackenberg, G.; Junker, M. & Teufl, S. MODELSWARD, 2014
  • Contract-Based Design: a Temporal Logics Approach pdf Alessandro Cimatti, Stefano Tonetta Annual Computer Security Applications Conference (ACSAC) Layered Assurance Workshop (LAW), 2014