Global ETD Search

1	Evaluating the expressiveness of specification languages : for stochastic safety-critical systems Jamil, 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. Specification Languages Expressiveness Stochastic Systems Safety-Critical Systems Formal Methods Continuous Stochastic Logic (CSL) Probabilistic Timed Automata (PTA) Stochastic Timed Automata (STA) Probabilistic Contract Formula (PCF) Formal Verification Autonomous Vehicles System Safety Embedded Systems Model Checking ISO 26262 ISO 21448 Automotive Industry Scania Group Case Study System Specifications Specification Frameworks System Reliability Industrial Context Probabilistic Properties Specification Enhancements Computer and Information Sciences Data- och informationsvetenskap

Search results

Evaluating the expressiveness of specification languages : for stochastic safety-critical systems