Search for dissertations about: "System of Systems"

Showing result 11 - 15 of 9182 swedish dissertations containing the words System of Systems.

  2. 11. Preservation of Extra-Functional Properties in Embedded Systems Development

    Author : Mehrdad Saadatmand; Mikael Sjödin; Antonio Cicchetti; Vittorio Cortellessa; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Engineering; Embedded Systems; Non-Functional Requirements; Extra-Functional Properties; Model-Driven Development; Trade-off analysis; Computer Science; datavetenskap;

    Abstract : The interaction of embedded systems with their environments and their resource limitations make it important to take into account properties such as timing, security, and resource consumption in designing such systems. These so-called Extra-Functional Properties (EFPs) capture and describe the quality and characteristics of a system, and they need to be taken into account from early phases of development and throughout the system's lifecycle. READ MORE

  4. 12. Norm-Regulation of Agent Systems : Instrumentalizing an algebraic approach to agent system norms

    Author : Magnus Hjelmblom; Magnus Boman; Jan Odelstad; Kim Solin; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Agent System; Norm-regulated; Norm-governed; Normative MAS; Normative Positions; Normative system; Transition system; Computer and Systems Sciences; data- och systemvetenskap;

    Abstract : An architecture for norm-regulated multi-agent systems based on an algebraic approach to normative systems is instrumentalized and further developed. The core of the instrumentalization is a Prolog module, which together with a Java library can be used for creating client/server-based runtime systems. READ MORE

  5. 13. Static Timing Analysis of Parallel Systems Using Abstract Execution

    Author : Andreas Gustavsson; Björn Lisper; Jan Gustafsson; Andreas Ermedahl; Nan Guan; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; WCET analysis; parallel systems; multi-core; multicore; threaded programming language; Computer Science; datavetenskap;

    Abstract : The Power Wall has stopped the past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism.Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level. READ MORE

  6. 14. GPU Support for Component-based Development of Embedded Systems

    Author : Gabriel Campeanu; Jan Carlson; Séverine Sentilles; Ivica Crnkovic; Tomas Bures; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; component-based development; CBD; software component; GPU; embedded systems; allocation; Computer Science; datavetenskap;

    Abstract : One pressing challenge of many modern embedded systems is to successfully deal with the considerable amount of data that originates from the interaction with the environment. A recent solution comes from the use of GPUs. READ MORE

  7. 15. Advancing Automation in Digital Forensic Investigations

    Author : Irvin Homem; Panagiotis Papapetrou; Fredrik Blix; Indre Žliobaitė; Stockholms universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Digital Forensics; Machine Learning; Computer Forensics; Network Forensics; Predictive Modelling; Distributed Systems; Mobile Devices; Mobile Forensics; Memory Forensics; Android; Semantic Web; Hypervisors; Virtualization; Remote Acquisition; Evidence Analysis; Correlation; P2P; Bittorrent; Computer and Systems Sciences; data- och systemvetenskap;

    Abstract : Digital Forensics is used to aid traditional preventive security mechanisms when they fail to curtail sophisticated and stealthy cybercrime events. The Digital Forensic Investigation process is largely manual in nature, or at best quasi-automated, requiring a highly skilled labour force and involving a sizeable time investment. READ MORE