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, June 2011. 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, December 2010. 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, October 2010. 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), April 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, February 2010. Details URL BIB