Spelling suggestions: "subject:"pecification enhancements"" "subject:"pecification enchancements""
1 |
Evaluating the expressiveness of specification languages : for stochastic safety-critical systemsJamil, Fahad Rami January 2024 (has links)
This thesis investigates the expressiveness of specification languages for stochastic safety-critical systems, addressing the need for expressiveness in describing system behaviour formally. Through a case study and specification language enhancements, the research explores the impact of different frameworks on a set of specifications. The results highlight the importance of continuous development in the specification languages to meet the complex behaviours of systems with probabilistic properties. The findings emphasise the need for extending the chosen specification languages more formally, to ensure that the languages can capture the complexity of the systems they describe. The research contributes valuable insights into improving the expressiveness of specification languages for ensuring system safety and operational reliability.
|
Page generated in 0.1347 seconds