Sökning: "model-driven"
Visar resultat 16 - 20 av 83 uppsatser innehållade ordet model-driven.
16. Automated Synthesis of Model Comparison Benchmarks
Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : Model-driven engineering promotes the migration from code-centric to model-based software development. Systems consist of model collections integrating different concerns and perspectives, while semi-automated model transformations generate executable code combining the information from these. LÄS MER
17. Early Warning Leakage Detection for Pneumatic Systems on Heavy Duty Vehicles : Evaluating Data Driven and Model Driven Approach
Master-uppsats, KTH/MekatronikSammanfattning : Modern Heavy Duty Vehicles consist of a multitude of components and operate in various conditions. As there is value in goods transported, there is an incentive to avoid unplanned breakdowns. For this, condition based maintenance can be applied. LÄS MER
18. Evaluation of code generation in agile software development of embedded systems
Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Avdelningen för datorteknikSammanfattning : Generating code from software models is considered to be a new generation leap within software development methods. The objective of this M.Sc. project is to evaluate how different approaches to modelling and code generation affect embedded systems software development and propose recommendations on how to improve software development. LÄS MER
19. Model-based approach for automatic generation of IEC-61025 standard compliant fault trees
Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : Reliability and safety of complex software-intensive systems are proved to be a crucial matter since most of these systems fulfil tasks, where a failure could lead to catastrophic consequences. For example, in space systems such as satellites, a failure could result in the loss of the satellite. LÄS MER
20. A Transformation of Controlled Natural Language Behavioural Requirements into Modal Sequence Diagram Simulation Models for Requirement Conflict Detection
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : PURPOSE: Specifying requirements in a semi-formal notation, such as a controlled natural language (CNL), allows reduction of ambiguity and underspecification in requirement specifications, as the notation uses well defined semantics and enforces consistency and conformance to syntactical rules. Contradicting requirements can be problematic to detect in practice depending on the size and complexity of the requirement specification. LÄS MER