Sökning: "lindnér"

Visar resultat 1 - 5 av 18 avhandlingar innehållade ordet lindnér.

  1. 1. Proving Safety and Security of Binary Programs

    Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

  3. 2. Robust industrial automation software: outsets for non-determinism and real-time execution

    Författare :Marcus Lindner; Alois Zoitl; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded Systems;

    Sammanfattning : Studies about the industrial standard IEC 61499 and its relation to the RTFM Model of Computation represent the basis of this thesis. An overview of industrial automation software in general and in the scope of Svenska Kraftnät introduces the subject of software related issues. LÄS MER

  4. 3. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

    Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

    Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER

  5. 4. Aspects on the electronic structure of matter

    Författare :Peter Lindner; Uppsala universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP;

    Sammanfattning : .... LÄS MER

  7. 5. Structural and functional brain connectivity abnormalities associated with adolescent conduct disorder in females

    Författare :Philip Lindner; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :;

    Sammanfattning : Background: Antisocial behavior (ASB) in childhood and adolescence is indexed by the diagnosis of conduct disorder (CD) and is associated with high rates of comorbid mental disorders, such as anxiety, depression, alcohol and drug dependence, as well as maltreatment. Elevated levels of psychopathic traits further complicate the clinical picture of adolescents with CD. LÄS MER