Sökning: "Formal modeling and Analysis"

Visar resultat 11 - 15 av 51 avhandlingar innehållade orden Formal modeling and Analysis.

  1. 11. Network on Chip : Performance Bound and Tightness

    Författare :Xueqian Zhao; Zhonghai Lu; José Flich Cardo; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Network-on-Chip; Performance analysis; Network Calculus; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : Featured with good scalability, modularity and large bandwidth, Network-on-Chip (NoC) has been widely applied in manycore Chip Multiprocessor (CMP) and Multiprocessor System-on-Chip (MPSoC) architectures. The provision of guaranteed service emerges as an important NoC design problem due to the application requirements in Quality-of-Service (QoS). LÄS MER

  3. 12. Worse than Complex

    Författare :Petter Törnberg; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Evolutionary Developmental Theory; Complexity; Transitions; Naturalism; Innovation; Wicked Systems; Social Movements; Digital Trace Data; Innovation Society; Critical Realism;

    Sammanfattning : This thesis engages with questions on the boundary between what has traditionally been understood as social and natural. The introductory essay contextualizes the specific contributions of the included papers, by noting and exploring a reinvigoration of "naturalism" (the notion of a continuity between the human realm and the rest of natural phenomena) under the banner of Complexity Science. LÄS MER

  4. 13. 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

  5. 14. A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems

    Författare :Aneta Vulgarakis; Ivica Crnkovic; Paul Pettersson; Cristina Seceleanu; Elisabetta Di Nitto; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; component-based development; formal analysis; embedded systems; resource prediction; behavioral modeling; architectural modeling; tools; resource-aware framework; Computer Science; datavetenskap;

    Sammanfattning : Managing complexity is an increasing challenge in the development of embedded systems (ES). Some of the factors contributing to the increase in complexity are the growing complexity of hardware and software, and the increased pressure to deliver full-featured products with reduced time-to-market. LÄS MER

  7. 15. A Resource-Aware Component Model for Embedded Systems

    Författare :Aneta Vulgarakis; Ivica Crnkovic; Tiziana Margaria-Steffen; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; component based software engineering; formal modeling; embedded systems; resources; analysis; behavior; component model; Computer science; Datavetenskap; Computer Science; Datavetenskap;

    Sammanfattning : Embedded systems are microprocessor-based systems that cover a large range of computer systems from ultra small computer-based devices to large systems monitoring and controlling complex processes. The particular constraints that must be met by embedded systems, such as timeliness, resource-use efficiency, short time-to-market and low cost, coupled with the increasing complexity of embedded system software, demand technologies and processes that will tackle these issues. LÄS MER