Search for dissertations about: "Run-time-monitoring"

Found 3 swedish dissertations containing the word Run-time-monitoring.

  1. 1. Enabling Timing Analysis of Complex Embedded Software Systems

    Author : Johan Kraft; Christer Norström; Anders Wall; Ian Broster; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Embedded-systems; Real-time-systems; Timing-analysis; Simulation; Simulation-optimization; Simulation-Model-Extraction; Source-code-analysis; Run-time-monitoring; Model-validation; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Abstract : Cars, trains, trucks, telecom networks and industrial robots are examples of products relying on complex embedded software systems, running on embedded computers. Such systems may consist of millions of lines of program code developed by hundreds of engineers over many years, often decades. READ MORE

  2. 2. Designing Trustworthy Autonomous Systems

    Author : Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; System Trustworthiness; Reactive Synthesis; Monitoring and enforcement; Assume-Guarantee Contracts; Runtime verification; Autonomous Systems; Formal Verification; Reinforcement Learning;

    Abstract : The design of autonomous systems is challenging and ensuring their trustworthiness can have different meanings, such as i) ensuring consistency and completeness of the requirements by a correct elicitation and formalization process; ii) ensuring that requirements are correctly mapped to system implementations so that any system behaviors never violate its requirements; iii) maximizing the reuse of available components and subsystems in order to cope with the design complexity; and iv) ensuring correct coordination of the system with its environment. Several techniques have been proposed over the years to cope with specific problems. READ MORE

  3. 3. Continuous Management of Artifacts and Traceability in Large-Scale Agile Systems Engineering

    Author : Rebekka Wohlrab; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Traceability Management; Large-Scale Agile Development; Empirical Research; Automotive; Systems Engineering; Requirements Engineering;

    Abstract : Context: In large-scale systems engineering, a large number of requirements, models, and other artifacts is created, used, and maintained by many stakeholders. When adopting agile methods and trying to reduce unnecessary documentation, companies need to reevaluate how to manage both artifacts and traceability between them. READ MORE