Sökning: "Non-Functional Requirements"

Visar resultat 21 - 25 av 29 avhandlingar innehållade orden Non-Functional Requirements.

  1. 21. On the Synergies Between an Electronic Waybill and Intelligent Transport Systems Services

    Författare :Shoaib Bakhtyar; Blekinge Tekniska Högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Waybill; e-Waybill; e-Freight; Intelligent Transport Systems; Services; Synergy;

    Sammanfattning : The main purpose of this thesis is to investigate potential synergies between an electronic waybill (e-Waybill) and other Intelligent Transport System (ITS) services. An e-Waybill service, as presented in this thesis, should be able to perform the functions of a paper waybill (which is an important transport document and contains essential information about a consignment) and it should contain at least the information specified in a paper waybill. LÄS MER

  3. 22. Verification of Component-based Embedded System Designs

    Författare :Daniel Karlsson; Petru Eles; Zebo Peng; Bashir Al-Hashimi; Linköpings universitet; []
    Nyckelord :Datorsystem; embedded systems; formal verification; Petri-net; IP; reuse; components; model checking; simulation; Datorsystem; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components. At the same time, the systems must fulfill strict functional and non-functional requirements. LÄS MER

  4. 23. Models and Methods for Development of DSP Applications on Manycore Processors

    Författare :Jerker Bengtsson; Bertil Svensson; Shuvra S. Bhattacharyya; Högskolan i Halmstad; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; parallel processing; manycore processors; high-performance digital signal processing; dataflow; concurrent models of computation; parallel code mapping; parallel machine model; dynamic performance analysis; Computer engineering; Datorteknik;

    Sammanfattning : Advanced digital signal processing systems require specialized high-performance embedded computer architectures. The term high-performance translates to large amounts of data and computations per time unit. The term embedded further implies requirements on physical size and power efficiency. LÄS MER

  5. 24. Synthesis and Synchronization Support for Hierarchically Scheduled Real-Time Systems

    Författare :Mikael Åsberg; Thomas Nolte; Neil Audsley; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : A piece of software, that we define as a software system, can consist of anything from a few lines of program code or the entire software stack in a vehicle. Software systems can be divided into smaller and partially independent parts called subsystems/partitions (we use the words partition and subsystem interchangeably). LÄS MER

  7. 25. Designing Electronic Waybill Solutions for Road Freight Transport

    Författare :Shoaib Bakhtyar; Lars Lundberg; Lawrence Henesey; Ingo Timm; Blekinge Tekniska Högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Electronic waybill; e-waybill; Intelligent transport system; ITS services; Freight transport;

    Sammanfattning : In freight transportation, a waybill is an important document that contains essential information about a consignment. The focus of this thesis is on a multi-purpose electronic waybill (e-Waybill) service, which can provide the functions of a paper waybill, and which is capable of storing, at least, the information present in a paper waybill. LÄS MER