Sökning: "requirements modeling"

Visar resultat 1 - 5 av 340 avhandlingar innehållade orden requirements modeling.

  1. 1. 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

  3. 2. Configuration Design of a High Performance and Responsive Manufacturing System : Modeling and Evaluation

    Författare :Daniel Tesfamariam Semere; Bengt Lindberg; Bolmsjö Gunnar; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Configuration; Modeling; Evaluation; Manufacturing engineering; Produktionsteknik;

    Sammanfattning : Configuring and reconfiguring a manufacturing system is presented as an issue with increasing importance due to higher frequency of system configuration or major reconfigurations to accommodate new set of requirements and/or the need to configure the system to make it usable across generations of products or product families. This research has focused in the modeling, evaluation and selection decisions which involves multiple, incommensurate and conflicting objectives. LÄS MER

  4. 3. Model-driven Alignment : Linking Business Strategy with Information Systems

    Författare :Constantinos Giannoulis; Jelena Zdravkovic; John Krogstie; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Alignment; Business; Strategy; Information; Systems; Requirements; IS; Enterprise; Models; Modeling; Computer and Systems Sciences; data- och systemvetenskap;

    Sammanfattning : Information technology (IT) is more pervasive than ever before, constituting a significant factor for performance and survival in the business arena. It is essential that IT within organizations understands what the Business needs in order to provide the necessary support and bring value, which is also true when IT is also the main value creator. LÄS MER

  5. 4. Modeling and Control of Flexible Manipulators

    Författare :Stig Moberg; Svante Gunnarsson; Bruno Siciliano; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling; identification; control; robot manipulator; DAE; flexible multibody dynamics; inverse dynamics; benchmark; Automatic control; Reglerteknik;

    Sammanfattning : Industrial robot manipulators are general-purpose machines used for industrial automation in order to increase productivity, flexibility, and product quality. Other reasons for using industrial robots are cost saving, and elimination of hazardous and unpleasant work. LÄS MER

  7. 5. On Modeling and Implementing Shopfloor Control Systems

    Författare :Niklas Andersson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; modeling; reference architectures; implementation; shopfloor control;

    Sammanfattning : One of the key factors that hold shopfloor control (SFC) software evolution back is the exorbitant cost, time, complexity, and inflexibility of developing customized SFC software solutions. The development and maintenance life-cycle of SFC software is characterized by lock-in problems. LÄS MER