Search for dissertations about: "Reachability Analysis"
Showing result 1 - 5 of 34 swedish dissertations containing the words Reachability Analysis.
-
1. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis
Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE
-
2. Parallelized Program Analysis
Abstract : This thesis presents a framework for parallelized program analysis. It uses available parallel processing power in standard desktop computers to speed up static program analysis.Today, processor chip manufacturers produce single processor chips containing multiple cores, each with a processing power of previous single-core processors. READ MORE
-
3. On Cooperative Control of Automated Driving Systems from a Stability and Safety Perspective
Abstract : Over the last few decades, congested traffic network have become a seriousproblem in many countries. Congestions result in time losses, increase of fuelconsumption and also raise the risk of accidents. Intelligent transportationsystems may contribute to mitigate such problems. READ MORE
-
4. Improving IT Architecture Modeling Through Automation : Cyber Security Analysis of Smart Grids
Abstract : Contemporary organizations depend on IT to reach their goals but the organizations are constantly adapting to changing market conditions and these changes need to be reflected in the IT architecture. Modeling is often used to manage complex architectures allowing to abstract details and focus on the most important aspects. READ MORE
-
5. Model-driven Analysis and Verification of Automotive Embedded Systems
Abstract : Modern vehicles are equipped with electrical and electronic systems that implement highly complex functions, such as anti-lock braking, cruise control, etc. To realize and integrate such complex embedded systems, the automotive development process requires an updated methodology that takes into consideration the system’s intricate features and examines both their functional and extra-functional requirements. READ MORE