General

Profile

Carmen Carlan

  • Registered on: 11/15/2010
  • Last connection: 11/26/2020

Issues

Projects

Activity

11/26/2020

06:01 AM AF3 Phoenix Feature #4087 (New): [safety-maintenance] Structural Queries
Structural queries allow users/assessors to conduct searches and ask specific questions about an assurance case diagr...

11/24/2020

08:51 PM AF3 Phoenix Feature #4086 (New): [safety] Create model from uber safety case
Model in AF3 the safety case from here: https://www.uber.com/us/en/atg/safety/safety-case-framework/
*please use m...

10/27/2020

09:19 AM AF3 Phoenix Support #3805 (In Progress): [safety-documentation] User documentation - some corrections

09/19/2020

09:01 AM AF3 Phoenix Feature #3744: [safety-maintenance] Automatic challenge detection (change in GSN)
Additional task:
Add the following attributes to all elements of type ArgumentElement:
author of type string --...
08:51 AM AF3 Phoenix Feature #3170: [safety-creation] Revival of safety case typed patterns
Updated tasks:
Rename: Add to Pattern Library
Rename: Disconnect from Pattern Library (appears twice)
Patterns...

09/12/2020

10:51 AM AF3 Phoenix Feature #4056 (Resolved): [safety-maintenance] Automatic detection of patterns and referenced System Model Elements
This issue has been resolved (see merge request https://git.fortiss.org/af3/af3/-/merge_requests/362) and can be closed.
10:08 AM AF3 Phoenix Feature #3785: [safety-integration] Integration of assurance cases with other tools
This issue is obsolute and can be closed.
10:07 AM AF3 Phoenix Feature #2985 (Resolved): [safety-integration] Hyperlinking
This issue has been resolved (merge request: https://git.fortiss.org/af3/af3/-/merge_requests/362) and can be closed.
10:06 AM AF3 Phoenix Feature #3778: [safety-hyperlinking] References in claims
This issue is obsolute and can be closed.
10:03 AM AF3 Phoenix Bug #4054 (Resolved): [safety-creation] Small fixes
This issue has been resolved and can be closed.

Also available in: Atom