Skip to main content Skip to main navigation

Project

FormalSafe

Formal Development for Safe Robotics

  • Duration:
  • Research Topics
    Other
  • Application fields
    Other

FormalSafe aims at the computer-supported management of the many and diverse documents produced during the development of highly dependable systems, in particular in the area of safe robotics.

Sponsors

BMBF - Federal Ministry of Education and Research

01IW07002

BMBF - Federal Ministry of Education and Research

Share project:

Contact Person
Prof. Dr. Dieter Hutter

Keyfacts

Publications about the project

SmartTies - Management of Safety-Critical Developments

Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder

In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), October 15-18, Amirandes, Heraclion, Crete, Greece, Pages 238-252, Lecture Notes in Computer Science (LNCS), Vol. 7609, Springer, 10/2012.

To the publication

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev

In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11), 10th International Conference on Mathematical Knowledge Management , located at Conference on Intelligent Computer Mathematics, July 18-23, Bertonori, Italy, Pages 164-179, LNAI, No. 6824, Springer-Verlag, Berlin Heidelberg, 7/2011.

To the publication

Linguistic Variables of Type-N - a Mathematical Model

Regivan Hugo Nunes Santiago; Christian Maeder

In: Tendencias em Matematica Aplicada e Computacional (TEMA), Vol. 12, No. 1, Pages 21-30, SBMAC, Brasil, 4/2011.

To the publication
All publications