Sökning: "Non Conformance"

Visar resultat 1 - 5 av 8 uppsatser innehållade orden Non Conformance.

  1. 1. Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Datalogi

    Författare :Sabor Amini; [2023]
    Nyckelord :Requirement-driven; Symbolic execution; Network protocols; CoAP; EDHOC; Kravbaserad; Symbolisk Exekvering; Nätverksprotokoll;

    Sammanfattning : As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their complex nature and ambiguities in the protocol specification. LÄS MER

  3. 2. Detection of performance anomalies through Process Mining

    Master-uppsats, Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Författare :Carmine Marra; [2022]
    Nyckelord :Process mining; Conformance Checking; performance anomalies; ERTMS ETCS; Railway system; complex computer systems.;

    Sammanfattning : Anomaly detection in computer systems operating within complex environments,such as cyber-physical systems (CPS), has become increasingly popularduring these last years due to useful insights this process can provide aboutcomputer systems’ health conditions against known reference nominal states.As performance anomalies lead degraded service delivery, and, eventually,system-wide failures, promptly detecting such anomalies may trigger timelyrecovery responses. LÄS MER

  4. 3. Comparison of geospatial support in RDF stores: Evaluation for ICOS Carbon Portal metadata

    Master-uppsats, Lunds universitet/Institutionen för naturgeografi och ekosystemvetenskap

    Författare :Amir Raza; [2019]
    Nyckelord :Geography; Geographical Information Systems GIS ; GeoSPARQL; Geospatial query language; RDF stores; Java Programming; RDF4J; Jena; Virtuoso; Stardog; GraphDB; Earth and Environmental Sciences; Technology and Engineering;

    Sammanfattning : The evolution of World Wide Web (WWW) into semantic web is happening with the aid of standards like Resource Description Framework (RDF), SPARQL and a few others from World Wide Web Consortium (W3C). Over the years, semantic data management technologies have been introduced as software platforms commonly known as RDF stores. LÄS MER

  5. 4. Syntetiska Slaggbildare för Rostfritt Stål

    Master-uppsats, KTH/Materialvetenskap

    Författare :Johan Földhazy; [2017]
    Nyckelord :slagg processmetallurgi sandvik skänkugn;

    Sammanfattning : Currently, at Sandvik Materials Technology, slag from the AOD is primarily utilized in ladle treatment of steel. This project has evaluated three synthetic slag formers for ladle treatment. LÄS MER

  7. 5. Evaluating Domain-Driven Architectural Designs and Non-Functional Architectural Attributes for Windows Phone 8 Mobile Applications

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Mozhan Soltani; Retta Shiferaw Siyoum; [2015-03-25]
    Nyckelord :Windows Phone 8; Domain-Driven Architecture; Model View View-Model Architecture; MVVM;

    Sammanfattning : Most IT companies are interested in investigating new mo- bile technologies as mobile devices are noticeably prevalent these days. In this study, we collaborated with Volvo IT to identify the extent of conformance to domain-driven archi- tectures when developing Windows Phone 8 (WP8) applica- tions, as well as to nd out what non-functional attributes can be applied to these applications. LÄS MER