Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 8 of 8 for “"Model based development"”.
-
Application of MBSE to oil and gas project / product management cycle : a model-based development approach for engineering management and design
… Engineering approach to address current system development issues and poised to take on the complexity challenges of the systems of the future. Despite the benefits of Model Based System Engineering (MBSE), and System Engineering broadly, in addressing system complexities in industries like …
-
Safety cases for the formal verification of automatically generated code
Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, since code generators are typically not qualified, there is no guarantee that their output is correct or even safe. Formal methods …
-
Learning to deal with COTS (commercial off the shelf)
With the advent of model based development technologies, dependence of COTS in software development has increased considerably. Use of COTS is considered economical and practical when it comes to integration of various software components. However COTS are trapped with some pitfalls. COTS provided …
-
A model-based approach to automated test generation and error localization for Simulink/Stateflow
<p>Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the Simulink/Stateflow designs and the generated code. We present an automatic test generation approach for …
-
Variant configuration and management : challenges and opportunities
… configuring and managing variants in Simulink, a model-based design tool that is used in different industries such as automotive, aerospace, and healthcare; and to simplify it by analyzing its capabilities and proposing different solutions using different modeling, workflow and visualization …
-
An Empirical Comparison of Reuse in Embedded and Nonembedded Systems
… domain-specific, architecture-centric, library-based way of constructing software.'' Twenty years after issuing this initiative, there is evidence of this vision beginning to be realized in nonembedded systems. However, virtually every large embedded system undertaken has incurred large cost and …
-
Behavioural Model Fusion
In large-scale model-based development, developers periodically need to combine collections of interrelated models. These models may capture different features of a system, describe alternative perspectives on a single feature, or express ways in which different features alter one another's …
-
Non-Line of Sight Test Scenario Generation for Connected Autonomous Vehicle
… This has been achieved through following the development process of Functional, Logical and Concrete scenarios along the V-model-based development process in ISO 26262. The process begins with the representation of the NLOS environment (including the digital environment) knowledge as a …