Sökning: "modeling and requirements of the automated"

Visar resultat 1 - 5 av 28 avhandlingar innehållade orden modeling and requirements of the automated.

  1. 1. Development of a new service-oriented modelling method for information systems analysis and design

    Författare :Prima Gustiené; Anders G Nilsson; Sten Carlsson; William Wei Song; Karlstads universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information systems analysis and design; conceptual modeling; service orientation; semantic integrity; static and dynamic aspects; goal modeling.; Informatics; Informatik; Information Systems; Informatik;

    Sammanfattning : This thesis presents a new modelling method for information systems analysis and design, where the concept of service and the principles of service orientation are used for integrated modelling and reasoning about information systems architectures across organisational and technical systems boundaries. The concept of service enables cohesion of the intersubjective and objective modelling traditions by using a single type of diagram that facilitates detection of semantic inconsistency, incompleteness, ambiguity and discontinuity between the static and dynamic aspects of information systems specifications. LÄS MER

  3. 2. Modeling and Requirements of the Automated Deburring Process

    Författare :Hamid Nasri; Institutionen för elektro- och informationsteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; robotics; Automation; Force Controlled Grinding; Automated Deburring; Cleaning of Castings; control engineering; Automatiska system; robotteknik; reglerteknik;

    Sammanfattning : An increasing number of robots have been used for the finishing of castings during recent years. This is mainly due to developments to overcome problems that restricted their use during the past decade. LÄS MER

  4. 3. Learning-based Testing for Automotive Embedded Systems : A requirements modeling and Fault injection study

    Författare :Hojat Khosrowjerdi; Karl Meinke; Dilian Gurov; Cristina Seceleanu; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Machine learning; fault injection; requirements testing; embedded systems; model checking; automotive software; requirements modeling; Computer Science; Datalogi;

    Sammanfattning : This thesis concerns applications of learning-based testing (LBT) in the automotive domain. In this domain, LBT is an attractive testing solution, since it offers a highly automated technology to conduct safety critical requirements testing based on machine learning. LÄS MER

  5. 4. Random and Hybrid Medium Access for M2M Communication : Scalability and Energy Analysis

    Författare :Luca Beltramelli; Mikael Gidlund; Patrik Österberg; Aamir Mahmood; Preben Mogensen; Mittuniversitetet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; M2M; LoRa; IEEE 802.1ah; energy; mathematical modeling;

    Sammanfattning : The term machine-to-machine (M2M) communication identifies any fully automated communication between intelligent devices, autonomous from human intervention. M2M communication is a key enabling technology for the Internet of Things (IoT), where it is used to provide ubiquitous connectivity between a large number of intelligent devices. LÄS MER

  7. 5. Design Reuse and Automation : On High Level CAD Modeling for Multidisciplinary Design and Optimization

    Författare :Mehdi Tarkian; Johan Ölvander; Fredrik Elgh; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Engineering mechanics; Teknisk mekanik;

    Sammanfattning : THIS THESIS EXPLORES novel CAD modeling methods for design reuse and tomation realization. It will be demonstrated that by applying the described methods, CAD models can be utilized as framework integrators in order to generate geometric input for various engineering analysis tools. LÄS MER