浏览代码

Create Req.SCT.Simulation.ExceptionHandling.md

Axel Terfloth 9 年之前
父节点
当前提交
a7f8278d3d
共有 1 个文件被更改,包括 26 次插入0 次删除
  1. 26 0
      specification/Req.SCT.Simulation.ExceptionHandling.md

+ 26 - 0
specification/Req.SCT.Simulation.ExceptionHandling.md

@@ -0,0 +1,26 @@
+status | type
+------ | ----
+_DEFINED_ | _functional_
+
+---
+If an exception occurs during the interpretation of a state machine then this exceptions must be handled. 
+
+#### Discussion
+Excpetions during simulation may be caused by the user for example if simulation callbacks are user. Or by a bug in the statechart
+tools itself. In any case the error must be handled in a way that is controllable by the user. In any case the current simulation 
+must be terminated. 
+
+#### Preconditions
+An excetion occurs within the simulation.
+
+#### Postconditions
+The simulation is terminated.
+
+#### Solution Contraints
+_none_
+
+#### Feature : Promt User
+The user must get available information about the error.
+
+#### Feature : User Choice
+The user may choose between terminating the erraneous simulation session or terminating and restarting.