Thilo Vörtler

  • Citations Per Year
Learn More
This paper proposes a design methodology for faulttolerant embedded systems development that starts from software specification and goes down to hardware execution. The proposed design methodology uses formally verified and correctby-construction software created from high-level UML statechart models for software specification and implementation. On the(More)
  • 1