Name: Carmen Carlan
Type: User
Company: TU München
Bio: PhD student working on safety assurance, safety analysis, assurance cases, model-based development.
Programming Languages: a lot of java, a bit of python :-)
Location: Munich, Germany
Blog: https://sites.google.com/site/carmencarlan/
Carmen Carlan's Projects
A collection of system models specified in AutoFOCUS3 (AF3) tool
Chef Cookbook - OpenStack Object Storage
Clean Code - Classes - Refactoring Example
In this project, we provide a set of assurance models for an intersection handling system. The models are specified in FASTEN: https://sites.google.com/site/fastenroot/features/
In this project, we provide a set of assurance models for a charging cable. The models are specified in FASTEN: https://sites.google.com/site/fastenroot/features/