fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: ftos

Export list as BibTeX file

2013

2012

2011

  • June 2011 Synthesis of Diagnostic Techniques Based on an IEC 61508-aware Metamodel Dominik Sojer, Christian Buckl and Alois Knoll In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session, Details DOI BIB

2010

  • December 2010 Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. Dominik Sojer, Christian Buckl and Alois Knoll In Proceedings of the 3rd Embedded Software Engineering Congress, Details URL BIB
  • October 2010 Propagation, Transformation and Refinement of Safety Requirements Dominik Sojer, Christian Buckl and Alois Knoll In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, Details URL BIB
  • September 2010 FTOS: Model-Driven Development of Fault-Tolerant Automation Systems Christian Buckl, Dominik Sojer and Alois Knoll Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, ():, September 2010. Details URL DOI BIB
  • April 2010 Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems Dominik Sojer, Christian Buckl and Alois Knoll In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), Details URL BIB
  • February 2010 Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware Dominik Sojer, Christian Buckl and Alois Knoll TUM-I1003, Technische Universität München, Details URL BIB