Sökning: "Abstract state machines"

Visar resultat 1 - 5 av 9 avhandlingar innehållade orden Abstract state machines.

  1. 1. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations

    Författare :Dmitrii Drozdov; Valeriy Vyatkin; Sandeep Patil; Andrei Lobov; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Abstract state machines; CPS; formal semantics; formal verification; IEC 61499; time-aware computations; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Sammanfattning : Wired and wireless networking is becoming a necessary part of industrial control systems’ design and is one of the reasons that required a new cyber-physical approach to modelling. The phenomenon observed in cyber-physical systems (CPS) is a variety of cross-dependencies and influences between physical processes, computational devices and communications, which needs to be taken into account at the design and verification stage. LÄS MER

  3. 2. Selected Aspects of Navigation and Path Planning in Unmanned Aircraft Systems

    Författare :Mariusz Wzorek; Andrzej Szałas; Jacek Malec; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Path planning; motion planning; autonomous Unmanned Aircraft Systems UAS ; Hierarchical Concurrent State Machines HCSM ; UAV;

    Sammanfattning : Unmanned aircraft systems (UASs) are an important future technology with early generations already being used in many areas of application encompassing both military and civilian domains. This thesis proposes a number of integration techniques for combining control-based navigation with more abstract path planning functionality for UASs. LÄS MER

  4. 3. The Mathematician as Mathematics : Theories of Computation in Light of Wittgenstein's Thought

    Författare :Kim Solin; Lars-Göran Johansson; Sören Stenlund; André Porto; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; theories of computation; philosophy of mathematics; Wittgenstein;

    Sammanfattning : Theories of computation are considered in light of Wittgenstein's thought. The dissertation is divided into three parts.The first part presents the philosophical approach taken in the dissertation. The approach takes Wittgenstein's philosophy, in particular as it has been understood by Rush Rhees, as a model. LÄS MER

  5. 4. Towards unanticipated runtime software evolution

    Författare :Jens Gustavsson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : For some software systems with high availability requirements, it is not acceptable to have the system shut down when a new version of it is to be deployed. An alternative is to use unanticipated runtime software evolution, which means making changes to the Software system while it is executing. LÄS MER

  7. 5. Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning

    Författare :Stefan Marksteiner; Marjan Sirjani; Mikael Sjödin; Mohammad Reza Mousavi; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Automotive systems are not only becoming more open through developments like advanced driving assistance functions, autonomous driving, vehicle-to-everything communication and software-defined vehicle functionality, but also more complex. At the same time, technology from standard IT systems become frequently adopted in this setting. LÄS MER