maul-esel ssharp issues

maul-esel / ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.

http://safetysharp.isse.de/wiki

MIT License

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Coalition algorithm fails because dead agents are not surrounded in TFR

#42 maul-esel opened 6 years ago
0
InvalidOperationException: "Branches not supported" encountered in SimulateProfileBased test

#41 maul-esel opened 6 years ago
0
Potentially endless loop in distribution calculation

#40 maul-esel closed 6 years ago
1
Endless loop encountered in SimulateProfileBased test

#39 maul-esel opened 6 years ago
1
NullReferenceException in ConfigurationSuggestion.FindRoleForCapability()

#38 maul-esel closed 6 years ago
1
InvalidOperationException in BrokenIoStrategy.RecruitNecessaryAgents()

#37 maul-esel closed 6 years ago
1
InvalidOperationException in Coalition.InviteCtfAgents()

#36 maul-esel closed 6 years ago
1
Coalition merge deadlock prevention fails

#35 maul-esel closed 6 years ago
1
NullReferenceException in CartAgent in SimulateProfileBased

#34 maul-esel closed 6 years ago
1
Missing key in dictionary exception in SimulateProfileBased

#33 maul-esel opened 6 years ago
2
Implement smarter distribution calculation

#32 maul-esel closed 6 years ago
2
Add unit tests for DistributionCalculator

#31 maul-esel opened 6 years ago
0
Implement Route.Blocked fault in ODP-based robot cell

#30 maul-esel opened 6 years ago
0
Duplicate precondition in SimulateProfileBased test

#29 maul-esel closed 6 years ago
4
Fix Back2Back tests

#28 maul-esel closed 7 years ago
0
Refactor: replace BaseAgent.State by BaseAgent, ReconfigurationReason

#27 maul-esel closed 7 years ago
1
Reconfiguration must handle resource requests

#26 maul-esel closed 7 years ago
0
Evaluation TAV Book Chapter

#25 BenediktEberhardinger closed 7 years ago
0
Agent does not detect missing config in successor

#24 maul-esel opened 7 years ago
0
MaximalSafeSetHeuristic: reduce number of similar suggested sets

#23 maul-esel opened 7 years ago
0
Heuristic based on inactive agents

#22 maul-esel opened 7 years ago
0
MinimalRedundancyHeuristic: transport-only agents such as carts

#21 maul-esel opened 7 years ago
0
component Update order influences system behaviour

#20 maul-esel closed 6 years ago
0
Parallel MiniZinc reconfiguration

#19 maul-esel opened 7 years ago
0
capability equivalence

#18 maul-esel opened 8 years ago
0
invariant problems

#17 maul-esel opened 8 years ago
0
re-integrate isReconfPossible

#16 maul-esel closed 7 years ago
0
State space size & state vector size optimizations

#15 maul-esel opened 8 years ago
1
Verify new configurations

#14 maul-esel closed 7 years ago
0
Common component for initial task configuration

#13 maul-esel opened 8 years ago
0
Implementation of capabilities

#12 maul-esel closed 8 years ago
1
remove BaseAgent.State ?

#11 maul-esel closed 7 years ago
1
microstep parallelism using async/await

#10 maul-esel closed 7 years ago
0
simplify creation of ODP-based model classes

#9 maul-esel opened 8 years ago
0
measuring controllers

#8 maul-esel closed 7 years ago
0
deadlock avoidance

#7 maul-esel opened 8 years ago
0
implement local reconfiguration (coalition formation)

#6 maul-esel closed 7 years ago
0
more detailed IController implementations

#5 maul-esel closed 8 years ago
0
unit & simulation tests for ODP

#4 maul-esel closed 6 years ago
0
visualisation for Robot Cell case study

#3 maul-esel closed 6 years ago
0
simplify ODP library

#2 maul-esel closed 8 years ago
2
migrate Robot Cell case study

#1 maul-esel closed 6 years ago
1