Výsledky vyhledávání - "Schanda, Florian"

Report

Functional Requirements-Based Automated Testing for Avionics

Autor: Sun, Youcheng, Brain, Martin, Kroening, Daniel, Hawthorn, Andrew, Wilson, Thomas, Schanda, Florian, Jimenez, Francisco Javier Guzman, Daniel, Simon, Bryan, Chris, Broster, Ian

We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bounded Model Checking (BMC) to formal low-level requirements, in order

Externí odkaz: http://arxiv.org/abs/1707.01466

Zobrazit plný text záznamu

Dissertation/ Thesis

A modular physics methodology for games

Autor: Schanda, Florian

Currently, games with rich environments allowing a wide range of possible interactions and supporting a large number of physical simulations make use of a large number of scripts and bespoke physical simulations, adapted to fit the needs of the game.

Externí odkaz: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.557817

Zobrazit plný text záznamu

A Domain-Specific Language for Requirements Engineering in Safety-Critical Automotive Software Development

Autor: Schlichthaerle, Stefan, Wullstein-Kammler, Philipp, Schanda, Florian

Requirements engineering is a crucial part of every software development project. Deficits in this discipline have tremendous impact on the overall project's success. In this paper, we present our approach that treats requirements like source code an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4c8ef031f8e220df79fa9e6d715c53e3

Zobrazit plný text záznamu

Auditing User-Provided Axioms in Software Verification Conditions

Autor: Jackson, Paul, Schanda, Florian, Wallenburg, Angela

Publikováno v: Jackson, P, Schanda, F & Wallenburg, A 2013, Auditing User-Provided Axioms in Software Verification Conditions . in C Pecheur & M Dierkes (eds), Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings . vol. 8187, Lecture Notes in Computer Science, vol. 8187, Springer-Verlag GmbH, pp. 154-168 . https://doi.org/10.1007/978-3-642-41010-9_11

A common approach to formally checking assertions inserted into a program is to first generate verification conditions, logical sentences that, if then proven, ensure the assertions are correct. Sometimes users provide axioms that get incorporated in

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3094::4260ab4bca82acf8d989069d792e2334
https://hdl.handle.net/20.500.11820/dca91907-3600-4aa8-967c-c5f6e26b06cc

Zobrazit plný text záznamu

Using Answer Set Programming in the Development of Verified Software

Autor: Schanda, Florian, Brain, Martin

Software forms a key component of many modern safety and security critical systems. One approach to achieving the required levels of assurance is to prove that the software is free from bugs and meets its specification. If a proof cannot be construct

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e402a17cb391eaba34a5e665b2a98061

Zobrazit plný text záznamu