Search for dissertations about: "Formal Verification"

Showing result 6 - 10 of 134 swedish dissertations containing the words Formal Verification.

2. 6. Safety Proofs for Automated Driving using Formal Methods

   Author : Yuvaraj Selvaraj; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety argument; automata learning; supervisory control theory; Automated driving; theorem proving; formal methods; formal verification; model checking;

   Abstract : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. READ MORE

4. 7. Automated Deductive Verification of Safety-Critical Embedded Software

   Author : Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

   Abstract : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. READ MORE

5. 8. Towards Formal Verification in a Component-based Reuse Methodology

   Author : Daniel Karlsson; Petru Eles; Zebo Peng; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Model checking; Petri net; Reuse; Computer science; Datavetenskap;

   Abstract : Embedded systems are becoming increasingly common in our everyday lives. As techonology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). READ MORE

6. 9. Automated Approaches for Formal Verification of Embedded Systems Artifacts

   Author : Predrag Filipovikj; Cristina Seceleanu; Jim Woodcock; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

   Abstract : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. READ MORE

7. 10. Automatic Extraction of Program Models for Formal Software Verification

   Author : Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

   Abstract : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. READ MORE