| Faulty behavior of components [message #1856510] |
Tue, 13 December 2022 18:29 |
 Larissa Hamann
Messages: 22
Registered: August 2022 |
Junior Member |
|
|
Hello together,
I would like to create nominal and faulty behavor for a component. In the Contract-based Analysis, Model Checking, and Safety Analysis it says that:
"Faulty behavior for a component can be provided by using the CHESS dependability profile."
So should I create my Error Model State Machine within in the Depeandabilty View (means in the folder of the Deployment View)? The State Machine must refer to a leaf component. And the component and the belonging BDD is in the System View. Do I have to model another diagram in the Dependabilty View? Or Can I link the diagrams some how, when they are in different packages (views)?
Thank you!
[Updated on: Wed, 14 December 2022 14:56] Report message to a moderator |
|
|
Powered by
FUDForum. Page generated in 0.03979 seconds
] 
Search
Help
Register
Login
Home
