Dissertations / Theses on the topic 'Model-based systems e'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Model-based systems e.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Flanagan, Genevieve (Genevieve Elise Cregar). "Key challenges to model-based design : distinguishing model confidence from model validation." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/76492.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (p. 93-97).
Model-based design is becoming more prevalent in industry due to increasing complexities in technology while schedules shorten and budgets tighten. Model-based design is a means to substantiate good design under these circumstances. Despite this, organizations often have a lack of confidence in the use of models to make critical decisions. As a consequence they often invest heavily in expensive test activities that may not yield substantially new or better information. On the other hand, models are often used beyond the bounds within which they had been previously calibrated and validated and their predictions in the new regime may be substantially in error and this can add substantial risk to a program. This thesis seeks to identify factors that cause either of these behaviors. Eight factors emerged as the key variables to misaligned model confidence. These were found by studying three case studies to setup the problem space. This was followed by a review of the literature with emphasis on model validation and assessment processes to identify remaining gaps. These gaps include proper model validation processes, limited research from the perspective of the decision-maker, and lack of understanding of the impact of contextual variables surrounding a decision. The impact these eight factors have on model confidence and credibility was tested using a web-based experiment that included a simple model of a catapult and varying contextual details representing the factors. In total 252 respondents interacted with the model and made a binary decision on a design problem to provide a measure for model confidence. Results from the testing showed several factors proved to cause an outright change in model confidence. One factor, a representation of model uncertainty, did not result in any differences to model confidence despite support from the literature suggesting otherwise. Findings such as these were used to gain additional insights and recommendations to address the problem of misaligned model confidence. Recommendations included system-level approaches, improved quality of communication, and use of decision analysis techniques. Applying focus in these areas can help to alleviate pressures from the contextual factors involved in the decision-making process. This will allow models to be used more effectively thereby supporting model-based design efforts.
by Genevieve Flanagan.
S.M.in Engineering and Management
Kinder, Andrew M. K. "A model-based approach to System of Systems risk management." Thesis, Loughborough University, 2017. https://dspace.lboro.ac.uk/2134/27553.
Full textLondon, Brian (Brian N. ). "A model-based systems engineering framework for concept development." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/70822.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (p. 148-151).
The development of increasingly complex, innovative systems under greater constraints has been the trend over the past several decades. In order to be successful, organizations must develop products that meet customer needs more effectively than the competitors' alternatives. The development of these concepts is based on a broad set of stakeholder objectives, from which alternative designs are developed and compared. When properly performed, this process helps those involved understand the benefits and drawbacks of each option. This is crucial as firms need to effectively and quickly explore many concepts, and easily determine those most likely to succeed. It is generally accepted that a methodical design approach leads to the reduction in design flaws and cost over a product's life cycle. Several techniques have been developed to facilitate these efforts. However, the traditional tools and work products are isolated, and require diligent manual inspection. It is expected that the effectiveness of the high-level product design and development will improve dramatically through the adoption of computer based modeling and simulation. This emerging capability can mitigate the challenges and risks imposed by complex systems by enforcing rigor and precision. Model-based systems engineering (MBSE) is a methodology for designing systems using interconnected computer models. The recent proliferation of MBSE is evidence of its ability to improve the design fidelity and enhance communication among development teams. Existing descriptions of leveraging MBSE for deriving requirements and system design are prevalent. However, very few descriptions of model-based concept development have been presented. This may be due to the lack of MBSE methodologies for performing concept development. Teams that attempt a model-based approach without well defined, structured strategy are often unsuccessful. However, when MBSE is combined with a clear methodology, designs can be more efficiently generated and evaluated. While it may not be feasible to provide a "standard" methodology for concept development, a framework is envisioned that incorporates a variety of methods and techniques. This thesis proposes such a framework and presents an example based on a simulated concept development effort.
by Brian London.
S.M.in Engineering and Management
Quezada, Gomez Juan Manuel. "Model-based guidelines for automotive electronic systems software development." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/100383.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 96-98).
The automobile innovation transformed the human life style ever since its introduction to the public, and for over the last one hundred years incumbent technologies have been adopted to improve its performance characteristics. Yet, we need a holistic approach to understand that automobiles shifted from being a mere assembly of mechanical parts to a multidisciplinary system that form the modern automobile. Thanks to the increased use of electronics and software in automobiles, consumers benefit from better gas mileage, more amenities and features, such as comfort, driving assistance, and entertainment. At the same time, stability and performance of automobiles as systems have been facing deterioration, and eventually vehicle owners are finding that features and functions become inoperative over time, causing frustration, loss of time and money. Reports of problems experienced by vehicle owners have stem from casual factors of system defects that model-based systems engineering can reduce or eliminate. This research presents a model-based systems engineering approach to an automobile electronic system design. The work is founded on a comprehensive OPM model and engineering guidelines for electronic control module software design. The purpose of the framework developed in this study is to support development of complex vehicle software that allows flexibility for changing features and creating new ones, and enables software developers to pinpoint systemic faults quicker and at earlier lifecycle phases, reducing rework, increasing safety, and providing for more effective resolution of such problems.
by Juan Manuel Quezada Gomez.
S.M. in Engineering and Management
Griesebner, Klaus. "Model-based Controller Development." Thesis, Högskolan i Halmstad, Akademin för informationsteknologi, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34929.
Full textTorres, Edwin Ross. "Team Collaboration as a System of Systems Agent-Based Model." Thesis, The George Washington University, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10743109.
Full textThere is a current need to study and understand the behaviors and characteristics of systems of systems. Studying a single system is relatively straightforward when compared to studying a system of systems. A system of systems has unique characteristics that distinguish it from a single system. The additional complexity in a system of systems leads to complicated models and advanced computer simulations. Although modeling and simulation are popular methods for researching a single system, there have been fewer attempts at modeling and simulating systems of systems. Agent-based modeling is an effective approach for researching systems of systems, but validation of agent-based models is difficult, especially if data are not available. Finally, communicating an agent-based model is more difficult than communicating an analytical model because analytical models use familiar mathematical notation. The purpose of this research is to increase the knowledge of system of systems engineering by developing, executing, and analyzing an agent-based model of team collaboration in a real-world, operational system of systems. This research has several goals. The first goal is to address a current need to increase the understanding of the behaviors and characteristics of systems of systems. More specifically, this research aims to model and explain how collaboration and integration in a real-world system of systems affect the achievability of the overall goal of the system of systems. There is an emphasis on the operations and integration of heterogeneous component systems of the collaborative system of systems. This includes understanding the behaviors, characteristics, and interactions among the component systems. The second goal is to develop and thoroughly document a new, repeatable agent-based model of the real-world system of systems. The final goal is to develop a useful tool for understanding and predicting the achievability of the overall goal of the system of systems. Specifically, this research explores team collaboration in a National Basketball Association offensive lineup. This lineup possesses the necessary characteristics to categorize it as a system of systems. Players are the individual, heterogeneous component systems that belong to and operate in the system of systems. This research introduces a new agent-based model and simulation to understand how the individual component systems affect the achievability of the system of systems goal. The NetLogo modeling platform provides an effective environment for executing the model. Data for initialization and validation come from the National Basketball Association. Results show that the overall goal of scoring is an emergent behavior of the collaborative system of systems. Top performing combinations of lineups and collaboration levels emerge. The heterogeneity and interactions of the component systems affect the achievability of the overall goal in different ways. Specific combinations of the collaboration levels and integration of individual component systems determine the scoring output. Observing the component systems individually offers no explanation for the achievability of the overall goal. Instead, it is necessary to view the component systems as a whole. Finally, the verified and validated agent-based model of the offensive lineup contributes to system of systems research, and it is an effective tool for understanding and exploring offensive lineups in the National Basketball Association.
Ramos, Ana Luísa Ferreira Andrade. "Model-based systems engineering: a system for traffic & environment." Doctoral thesis, Universidade de Aveiro, 2011. http://hdl.handle.net/10773/7273.
Full textThe contemporary world is crowded of large, interdisciplinary, complex systems made of other systems, personnel, hardware, software, information, processes, and facilities. The Systems Engineering (SE) field proposes an integrated holistic approach to tackle these socio-technical systems that is crucial to take proper account of their multifaceted nature and numerous interrelationships, providing the means to enable their successful realization. Model-Based Systems Engineering (MBSE) is an emerging paradigm in the SE field and can be described as the formalized application of modelling principles, methods, languages, and tools to the entire lifecycle of those systems, enhancing communications and knowledge capture, shared understanding, improved design precision and integrity, better development traceability, and reduced development risks. This thesis is devoted to the application of the novel MBSE paradigm to the Urban Traffic & Environment domain. The proposed system, the GUILTE (Guiding Urban Intelligent Traffic & Environment), deals with a present-day real challenging problem “at the agenda” of world leaders, national governors, local authorities, research agencies, academia, and general public. The main purposes of the system are to provide an integrated development framework for the municipalities, and to support the (short-time and real-time) operations of the urban traffic through Intelligent Transportation Systems, highlighting two fundamental aspects: the evaluation of the related environmental impacts (in particular, the air pollution and the noise), and the dissemination of information to the citizens, endorsing their involvement and participation. These objectives are related with the high-level complex challenge of developing sustainable urban transportation networks. The development process of the GUILTE system is supported by a new methodology, the LITHE (Agile Systems Modelling Engineering), which aims to lightening the complexity and burdensome of the existing methodologies by emphasizing agile principles such as continuous communication, feedback, stakeholders involvement, short iterations and rapid response. These principles are accomplished through a universal and intuitive SE process, the SIMILAR process model (which was redefined at the light of the modern international standards), a lean MBSE method, and a coherent System Model developed through the benchmark graphical modeling languages SysML and OPDs/OPL. The main contributions of the work are, in their essence, models and can be settled as: a revised process model for the SE field, an agile methodology for MBSE development environments, a graphical tool to support the proposed methodology, and a System Model for the GUILTE system. The comprehensive literature reviews provided for the main scientific field of this research (SE/MBSE) and for the application domain (Traffic & Environment) can also be seen as a relevant contribution.
O mundo contemporâneo é caracterizado por sistemas de grande dimensão e de natureza marcadamente complexa, sócio-técnica e interdisciplinar. A Engenharia de Sistemas (ES) propõe uma abordagem holística e integrada para desenvolver tais sistemas, tendo em consideração a sua natureza multifacetada e as numerosas inter-relações que advêm de uma quantidade significativa de diferentes pontos de vista, competências, responsabilidades e interesses. A Engenharia de Sistemas Baseada em Modelos (ESBM) é um paradigma emergente na área da ES e pode ser descrito como a aplicação formal de princípios, métodos, linguagens e ferramentas de modelação ao ciclo de vida dos sistemas descritos. Espera-se que, na próxima década, a ESBM desempenhe um papel fundamental na prática da moderna Engenharia de Sistemas. Esta tese é dedicada à aplicação da ESBM a um desafio real que constitui uma preocupação do mundo actual, estando “na agenda” dos líderes mundiais, governantes nacionais, autoridades locais, agências de investigação, universidades e público em geral. O domínio de aplicação, o Tráfego & Ambiente, caracteriza-se por uma considerável complexidade e interdisciplinaridade, sendo representativo das áreas de interesse para a ES. Propõe-se um sistema (GUILTE) que visa dotar os municípios de um quadro de desenvolvimento integrado para adopção de Sistemas de Transporte Inteligentes e apoiar as suas operações de tráfego urbano, destacando dois aspectos fundamentais: a avaliação dos impactos ambientais associados (em especial, a poluição atmosférica e o ruído) e a divulgação de informação aos cidadãos, motivando o seu envolvimento e participação. Estes objectivos relacionam-se com o desafio mais abrangente de desenvolver redes de transporte urbano sustentáveis. O processo de desenvolvimento do sistema apoia-se numa nova metodologia (LITHE), mais ágil, que enfatiza os princípios de comunicação contínua, feedback, participação e envolvimento dos stakeholders, iterações curtas e resposta rápida. Estes princípios são concretizados através de um processo de ES universal e intuitivo (redefinido à luz dos padrões internacionais), de um método simples e de linguagens gráficas de modelação de referência (SysML e OPDs/OPL). As principais contribuições deste trabalho são, na sua essência, modelos: um modelo revisto para o processo da ES, uma metodologia ágil para ambientes de desenvolvimento baseados em modelos, uma ferramenta gráfica para suportar a metodologia proposta e o modelo de um sistema para as operações de tráfego & ambiente num contexto urbano. Contribui-se ainda com uma cuidada revisão bibliográfica para a principal área de investigação (ES/ESBM) e para o domínio de aplicação (Tráfego & Ambiente).
Ghosheh, Emad. "A novel model for improving the maintainability of web-based systems." Thesis, University of Westminster, 2010. https://westminsterresearch.westminster.ac.uk/item/905xy/a-novel-model-for-improving-the-maintainability-of-web-based-systems.
Full textWilmer, Greg. "OPM model-based integration of multiple data repositories." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/100389.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (page 90).
Data integration is at the heart of a significant portion of current information system implementations. As companies continue to move towards a diverse, growing set of Commercial Off the Shelf (COTS) applications to fulfill their information technology needs, the need to integrate data between them continues to increase. In addition, these diverse application portfolios are becoming more geographically dispersed as more software is provided using the Software as a Service (SaaS) model, and companies continue the pattern of moving their internal data centers to cloud-based computing. As the growth of data integration activities continues, several prominent data integration patterns have emerged, and commercial software packages have been created that covers each of the patterns below: 1. Bulk and/or batch data extraction and delivery (ETL, ELT, etc.); 2. Messaging / Message-oriented data movement; 3. Granular, low-latency data capture and propagation (data synchronization). As the data integration landscape within an organization, and between organizations, becomes larger and more complex, opportunities exist to streamline aspects of the data integrating process not covered by current toolsets including: 1. Extensibility by third parties. Many COTS integration toolsets today are difficult if not impossible to extend by third parties; 2. Capabilities to handle different types of structured data from relational to hierarchical to graph models; 3. Enhanced modeling capabilities through use of data visualization and modeling techniques and tools; 4. Capabilities for automated unit testing of integrations; 5. A unified toolset that covers all three patterns, allowing an enterprise to implement the pattern that best suites business needs for the specific scenario; 6. A Web-based toolset that allows configuration, management and deployment via Web-based technologies allowing geographical indifference for application deployment and integration. While discussing these challenges with a large Fortune 500 client, they expressed the need for an enhanced data integration toolset that would allow them to accomplish such tasks. Given this request, the Object Process Methodology (OPM) and the Opcat toolset were used to begin design of a data integration toolset that could fulfill these needs. As part of this design process, lessons learned covering both the use of OPM in software design projects as well as enhancement requests for the Opcat toolset were documented.
by Greg Wilmer.
S.M. in Engineering and Management
Wright, Lynda. "Model-Based Systems Engineering: Status and Challenges." Digital Commons at Loyola Marymount University and Loyola Law School, 2014. https://digitalcommons.lmu.edu/etd/438.
Full textWimmel, Guido Oliver. "Model-based development of security-critical systems." [S.l.] : [s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=979096634.
Full textGonzalez, Pavel. "Model checking GSM-based multi-agent systems." Thesis, Imperial College London, 2014. http://hdl.handle.net/10044/1/39038.
Full textMeira, Jorge Augusto. "Model-based stress testing for database systems." reponame:Repositório Institucional da UFPR, 2014. http://hdl.handle.net/1884/37344.
Full textCo-orientador : Prof. Dr. Yves Le Traon
Tese (doutorado) - Universidade Federal do Paraná, Setor de Tecnologia, Programa de Pós-Graduação em Ciências da Computação. Defesa: Curitiba, 17/12/2014
Inclui referências
Abstract: Database Management Systems (DBMS) have been successful at processing transaction workloads over decades. But contemporary systems, including Cloud computing, Internet-based systems, and sensors (i.e., Internet of Things (IoT)), are challenging the architecture of the DBMS with burgeoning transaction workloads. The direct consequence is that the development agenda of the DBMS is now heavily concerned with meeting non-functional requirements, such as performance, robustness and scalability [85]. Otherwise, any stressing workload will make the DBMS lose control of simple functional requirements, such as responding to a transaction request [62]. While traditional DBMS, including DB2, Oracle, and PostgreSQL, require embedding new features to meet non-functional requirements, the contemporary DBMS called as NewSQL [56, 98, 65] present a completely new architecture. What is still lacking in the development agenda is a proper testing approach coupled with burgeoning transaction workloads for validating the DBMS with nonfunctional requirements in mind. The typical non-functional validation is carried out by performance benchmarks. However, they focus on metrics comparison instead of finding defects. In this thesis, we address this lack by presenting different contributions for the domain of DBMS stress testing. These contributions fit different testing objectives to challenge each specific architecture of traditional and contemporary DBMS. For instance, testing the earlier DBMS (e.g., DB2, Oracle) requires incremental performance tuning (i.e., from simple setup to complex one), while testing the latter DBMS (e.g., VoltDB, NuoDB) requires driving it into different performance states due to its self-tuning capabilities [85]. Overall, this thesis makes the following contributions: 1) Stress TEsting Methodology (STEM): A methodology to capture performance degradation and expose system defects in the internal code due to the combination of a stress workload and mistuning; 2) Model-based approach for Database Stress Testing (MoDaST): An approach to test NewSQL database systems. Supported by a Database State Machine (DSM), MoDaST infers internal states of the database based on performance observations under different workload levels; 3) Under Pressure Benchmark (UPB): A benchmark to assess the impact of availability mechanisms in NewSQL database systems. We validate our contributions with several popular DBMS. Among the outcomes, we highlight that our methodologies succeed in driving the DBMS up to stress state conditions and expose several related defects, including a new major defect in a popular NewSQL.
Resumo: Sistemas de Gerenciamento de Bando de Dados (SGBD) têm sido bem sucedidos no processamento de cargas de trabalho transacionais ao longo de décadas. No entanto, sistemas atuais, incluindo Cloud computing, sistemas baseados na Internet, e os sensores (ou seja, Internet of Things (IoT)), estão desafiando a arquitetura dos SGBD com crescentes cargas de trabalho. A conseqüência direta é que a agenda de desenvolvimento de SGBD está agora fortemente preocupada em atender requisitos não funcionais, tais como desempenho, robustez e escalabilidade [85]. Caso contrário, uma simples carga de trabalho de estresse pode fazer com que os SGBD não atendam requisitos funcionais simples, como responder a um pedido de transação [62]. Enquanto SGBD tradicionais exigem a incorporação de novos recursos para atender tais requisitos não-funcionais, os SGBD contemporâneos conhecidos como NewSQL [56, 98, 65] apresentam uma arquitetura completamente nova. O que ainda falta na agenda do desenvolvimento é uma abordagem de teste adequada que leve em conta requisitos não-funcionais. A validação não-funcional típica para SGBD é realizada por benchmarks. No entanto, eles se concentram na comparação baseada em métricas em vez de encontrar defeitos. Nesta tese, abordamos essa deficiência na agenda de desenvolvimento, apresentando contribuições diferentes para o domínio de testes de estresse para SGBD. Estas contribuições atendem diferentes objetivos de teste que desafiam arquiteturas específica de SGBD tradicionais e contemporâneos. No geral, esta tese faz as seguintes contribuições: 1) Stress TEstingMethodology (STEM): Uma metodologia para capturar a degradação do desempenho e expor os defeitos do sistema no código interno devido a combinação de uma carga de trabalho de estresse e problemas de configuração; 2) Model-based Database Stress Testing (MoDaST): Uma abordagem para testar sistemas de banco de dados NewSQL. Apoiado por uma máquina de estado de banco de dados (DSM), MoDaST infere estados internos do banco de dados com base em observações de desempenho sob diferentes níveis de carga de trabalho; 3) Under Pressure Benchmark (UPB): Um benchmark para avaliar o impacto dos mecanismos de disponibilidade em sistemas de banco de dados NewSQL. Nós validamos nossas contribuições com vários SGBD populares. Entre os resultados, destaca-se em nossas metodologias o sucesso em conduzir o SGBD para condições de estresse e expor defeitos relacionados, incluindo um novo major bug em um SGBD NewSQL popular.
Smith, Matthew William Ph D. Massachusetts Institute of Technology. "Model-based requirement definition for instrument systems." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/90729.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 199-210).
Instrument systems such as imagers, radars, spectrometers, and radiometers are important to users in the astronomy, Earth science, defense, and intelligence communities. Relatively early in the development cycle, performance requirements are defined at the top level and allocated to various subsystems or components. This is a critical step, as poor requirement definition and resulting requirement instability has historically led to increased cost and, in some cases, program cancelation. Defining requirements for instrument systems is uniquely challenging in part due to the divide between system users (e.g. scientists) and system designers (e.g. engineers). The two groups frequently differ in terms of background, objectives, and priorities, and this disconnect often leads to difficulty in evaluating and resolving requirement trade-offs. The objective of this thesis is to develop a model-based approach to requirement definition that addresses the above challenges. The goal of the methodology is to map science objectives to a set of top-level engineering requirements in a manner that enables traceability in the requirement hierarchy and facilitates informed trades across the science/engineering interface. This is accomplished by casting the requirement definition process as an optimization problem. First, an executable instrument model is created to capture the forward mapping between engineering decisions and science capability. The model is then exercised to find an inverse mapping that produces multiple sets of top-level engineering requirements that all meet the performance objectives. A new heuristic optimization algorithm is developed to carry out this task efficiently and exhaustively. Termed the Level Set Genetic Algorithm (LSGA), this procedure identifies contours of equal performance in the design space using an elite-preserving selection operator to ensure convergence, together with a global diversity metric to ensure thorough exploration. LSGA is derivative-free, parallelizable, and compatible with mixed integer problems, making it applicable to a wide variety of modeling and simulation scenarios. As a case study, the model-based requirement definition methodology is applied to the Regolith X-ray Imaging Spectrometer (REXIS), an instrument currently in development at MIT and scheduled to launch on NASA's OSIRIS-REx asteroid sample return mission in the fall of 2016. REXIS will determine the elemental composition of the target asteroid by measuring the solar-induced fluorescence spectrum in the soft x-ray regime (0.5-7.5 keV). A parametric model of the instrument is created to simulate its end-to-end operation, including x-ray propagation and absorption, detector noise processes, pixel read-out, signal quantization, and spectrum reconstruction. After validating the model against laboratory data, LSGA is used to identify multiple sets of top-level engineering requirements that meet the REXIS science objectives with regard to spectral resolution. These results are compared to the existing baseline requirement set, providing insights into the alternatives enabled by the model-based approach. Several additional strategies are presented to quantify and mediate requirement trades that may occur later in the development cycle due to science creep or engineering push-back. Overall, these methods provide a means of synthesizing and then evaluating top-level engineering requirements based on given science objectives. By doing so in a comprehensive and traceable manner, this approach clarifies the trade-offs between scientists and engineers that inevitably arise during the design of instrument systems.
by Matthew William Smith.
Ph. D.
Durak, Umut [Verfasser]. "Model-based simulation systems engineering / Umut Durak." Clausthal-Zellerfeld : Technische Universität Clausthal, 2018. http://d-nb.info/1230910069/34.
Full textKoch, Oliver, and Jürgen Weber. "Model-Based Systems Engineering in Mobile Applications." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-200676.
Full textKamdem, Simo Freddy. "Model-based federation of systems of modelling." Thesis, Compiègne, 2017. http://www.theses.fr/2017COMP2374.
Full textThe engineering of complex systems and systems of systems often leads to complex modelling activities (MA). Some challenges exhibited by MA are: understanding the context where they are carried out and their impacts on the lifecycles of models they produce, and ultimately providing a support for mastering them. How to address these challenges with a formal approach is the central challenge of this thesis. In this thesis, after discussing the related works from systems engineering in general and the co-engineering of the system to be made (product) and the system for make (project) systems specifically, we position and develop a methodology named MODEF, that aims to master the operation of MA. MODEF consists in: (1) characterizing MA as a system (and more globally as a federation of systems) in its own right; (2) iteratively architecting this system through: the modelling of the conceptual content of the models produced by MA and their life cycles, the tasks carried out within MA and their effects on these life cycles; (3) specifying the expectations over these life cycles and; (4) analysing models (of MA) against expectations (and possibly tasks constraints) - to check how far expectations are achievable - via the synthesis of the acceptable behaviours. On a practical perspective, the exploitation of the results of the analysis allows figuring out what could happen with the modelling tasks and their impacts on the whole state of models they handle. We show on two case studies (the operation of a supermarket and the modelling of the functional coverage of a system) how this exploitation provides insightful data on how the system is end-to-end operated and how it can behave. Based on this information, it is possible to take some preventive or corrective actions on how the MA are carried out. On the foundational perspective, the formal semantics of three kinds of involved models and the expectations formalism are first discussed. Then the analysis and exploitation algorithms are presented. Finally this approach is roughly compared with model checking and systems synthesis approaches. Last but not least, two enablers whose first objectives are to ease the implementation of MODEF are presented. The first one is a modular implementation of MODEF's buildings blocks. The second one is a federated architecture (FA) of models which aims to ease working with formal models in practice. Despite the fact that FA is formalised within the abstract framework of category theory, an attempt to bridge the gap between abstraction and implementation is sketched via some basic data structures and base algorithms. Several perspectives related to the different components of MODEF conclude this work
Kozhakenov, Temirzhan. "MODEL-BASED SIMULATION OF AUTOMOTIVE SOFTWARE SYSTEMS." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48851.
Full textHaschemi, Siamak. "Model-based testing of dynamic component systems." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015. http://dx.doi.org/10.18452/17273.
Full textThis dissertation devotes to the question whether the established technique of model based testing (MBT) can be applied to a special type of software component systems called dynamic component systems (DCSs). DCSs have the special characteristic that they support the change of component instance compositions during runtime of the system. In these systems, each component instance exhibits an own lifecycle. This makes it possible to update existing, or add new components to the system, while it is running. Such changes cause that functionality provided by the component instances may become restricted or unavailable at any time. This characteristic of DCSs makes the development of components difficult because required and used functionality is not available all the time. The goal of this dissertation is to develop a systematic testing approach which allows to test a component’s tolerance to dynamic availability during development time. We analyze, to what extend existing MBT approaches can be reused or adapted. The approaches of this dissertation has been implemented in a software prototype. This prototype has been used in a case study and it has been showed, that systematic test generation for DCSs can be done with the help of MBT.
Kwon, Ky-Sang. "Multi-layer syntactical model transformation for model based systems engineering." Diss., Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/42835.
Full textCavalin, Paulo Rodrigo. "Adaptive systems for hidden Markov model-based pattern recognition systems." Mémoire, École de technologie supérieure, 2011. http://espace.etsmtl.ca/976/1/CAVALIN_Paulo_Rodrigo.pdf.
Full textPietruschka, Dirk. "Model based control optimisation of renewable energy based HVAC Systems." Thesis, De Montfort University, 2010. http://hdl.handle.net/2086/4022.
Full textHowell, John. "Model-based fault diagnosis in information poor processes." Thesis, University of Glasgow, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295670.
Full textJin, Licheng. "Reachability and model prediction based system protection schemes for power systems." [Ames, Iowa : Iowa State University], 2009. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3355509.
Full textJayousi, Rashid. "An agent-based co-operative preference model." Thesis, Keele University, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.288428.
Full textThiers, George. "A model-based systems engineering methodology to make engineering analysis of discrete-event logistics systems more cost-accessible." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/52259.
Full textMarinescu, Raluca. "Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture." Licentiate thesis, Mälardalens högskola, Inbyggda system, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-26501.
Full textPastrana, John. "Model-Based Systems Engineering Approach to Distributed and Hybrid Simulation Systems." Doctoral diss., University of Central Florida, 2014. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/6336.
Full textPh.D.
Doctorate
Industrial Engineering and Management Systems
Engineering and Computer Science
Industrial Engineering
McKean, David Keith. "Leveraging Model-Based Techniques for Component Level Architecture Analysis in Product-Based Systems." Thesis, The George Washington University, 2019. http://pqdtopen.proquest.com/#viewpdf?dispub=13812870.
Full textSystem design at the component level seeks to construct a design trade space of alternate solutions comprising mapping(s) of system function(s) to physical hardware or software product components. The design space is analyzed to determine a near-optimal next-level allocated architecture solution that system function and quality requirements. Software product components are targeted to increasingly complex computer systems that provide heterogeneous combinations of processing resources. These processing technologies facilitate performance (speed) optimization via algorithm parallelization. However, speed optimization can conflict with electrical energy and thermal constraints. A multi-disciplinary architecture analysis method is presented that considers all attribute constraints required to synthesize a robust, optimum, extensible next-level solution. This paper presents an extensible, executable model-based architecture attribute framework that efficiently constructs a component-level design trade space. A proof-of-concept performance attribute model is introduced that targets single-CPU systems. The model produces static performance estimates that support optimization analysis and dynamic performance estimation values that support simulation analysis. This model-based approach replaces current architecture analysis of alternatives spreadsheet approaches. The capability to easily model computer resource alternatives that produces attribute estimates improves design space exploration productivity. Performance estimation improvements save time and money through reduced prototype requirements. Credible architecture attribute estimates facilitate more informed design tradeoff discussions with specialty engineers. This paper presents initial validation of a model-based architecture attribute analysis method and model framework using a single computation thread application on two laptop computers with different CPU configurations. Execution time estimates are calibrated for several data input sizes using the first laptop. Actual execution times on the second laptop are shown to be within 10 percent of execution time estimates for all data input sizes.
Brug, Arnold van de. "A framework for model-based adaptive training." Thesis, Heriot-Watt University, 1996. http://hdl.handle.net/10399/1177.
Full textRuzicka, Theophil. "Model based Design of a Sailboat Autopilot." Thesis, Högskolan i Halmstad, Centrum för forskning om inbyggda system (CERES), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34926.
Full textThipphayathetthana, Somwang. "Model-based guidelines for user-centric satellite control software development." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/105320.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (page 45).
Three persistent common problems in satellite ground control software used by satellite controllers are obsolescence, lack of desired features and flexibilities, and endless software bug fixing. The obsolescence problem occurs when computer and ground equipment hardware become obsolete usually after only one third into the satellite mission lifetime. The satellite ground control software needs to be updated to accommodate changes on the hardware side, requiring significant work of satellite operators to test, verify, and validate these software updates. Software updates can also result from a new software version that offers new features or just fixes some bugs. Trying to help solve these problems, an OPM model and guidelines for developing satellite ground control software have been proposed. The system makes use of a database-driven application and concepts of object-process orientation and modularity. In the new proposed framework, instead of coding each software function separately, the common base functions will be coded, and combining them in various ways will provide the different required functions. The formation and combination of these base functions will be governed by the main code, definitions, and database parameters. These design principles will make sure that the new software framework would provide satellite operators with the flexibility to create new features, and enable software developer to find bugs quicker and fix them more effectively.
by Somwang Thipphayathetthana.
S.M. in Engineering and Management
Storoshchuk, Orest Lev Poehlman William Frederick Skipper. "Model based synchronization of monitoring and control systems /." *McMaster only, 2003.
Find full textReimann, Carsten. "Model-Based Monitoring in Large-Scale Distributed Systems." Master's thesis, Universitätsbibliothek Chemnitz, 2002. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200200938.
Full textMonitoring ist ein wichtiges Problem in der Informatik. In dieser Arbeit werden die benoetigten Daten beschrieben, welche zur Analyse von verteilten Dienstumgebungen dienen. Weiterhin wird beschrieben, wie man diese Daten messen und in einer geeigneten Datenbank speichern kann. Das daraus entstehende Modell wird verwendet um eine verteilte Medien-Daten-Umgebung zu beschreiben und eine Simulation auf dem CLIC erzeugt Messdaten wie sie in realen Systemen vorkommen
Kuehnen, Stefan Alexander. "Model Based Conceptual Communication Design in Coordination Systems." NCSU, 2001. http://www.lib.ncsu.edu/theses/available/etd-20010405-170340.
Full textKUEHNEN, STEFAN ALEXANDER. Model Based Conceptual Communication Design in Coordination Systems (under the Direction of Dr. Padmini Srinivasan-Hands and Dr. Samuel C. Winchester)The purpose of this research has been to investigate the feasibility of developing a model-based method for conceptual communication design in coordination systems. Business process modeling methodologies are surveyed and the methodology of choice, Actionworkflow?, is presented. As the basis for method development Language/Action and Speech Act theories, underlying the Actionworkflow? methodology, are examined for potential concepts aiding the development of the method. Their history and surrounding philosophies are presented. Critique of the Actionworkflow? methodology is presented and discussed.The major focus of the research is the development of the model-based method to conceptually design communications in coordination systems. Its development, structure and components are presented and explained. The method is illustrated with a simple, everyday-life, application example. Applications of the method to examine web-based e-commerce sites are presented. It has been determined that the application for these environments is insightful. The examples discussed are ebay, an auction provider, e-trade, an on-line broker, and priceline.com, a purchasing service applying a unique process for the purchase of services and goods. Consequently the application of the method to establish the feasibility of designing coordination support systems for textile new product development is provided. Coordination model development and design of communications are discussed in parallel. Application results show that the method can successfully be used for conceptually designing coordination support systems, although practical issues have to be further investigated.Finally underlying assumptions are displayed and discussed, model validation provided, performance evaluation, as to the goals set forth for the research undertaken, and recommendations for future research provided.
Sen, Mainak. "Model-based hardware design for image processing systems." College Park, Md. : University of Maryland, 2006. http://hdl.handle.net/1903/4181.
Full textThesis research directed by: Electrical Engineering. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
Randall, A. "Adaptive model based control for steel rolling systems." Thesis, Coventry University, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.364162.
Full textAydal, Emine Gokce. "Model Based Robustness Testing of Black box Systems." Thesis, University of York, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.507672.
Full textWang, Zhenheng. "Model based fault detection for two-dimensional systems." Thesis, Laurentian University of Sudbury, 2014. https://zone.biblio.laurentian.ca/dspace/handle/10219/2186.
Full textAmbraziūnas, Martas. "Enterprise model based MDA information systems engineering method." Doctoral thesis, Lithuanian Academic Libraries Network (LABT), 2014. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2014~D_20141111_114310-77387.
Full textŠiuolaikiniai IS inžinerijos metodai yra nuolat vystomi ir tobulinami, tačiau iš esmės jie yra grindžiami empiriniais procesais. Empiriškai išgautų žinių kokybė gali būti nepakankama sėkmingam projekto įgyvendinimui, nes netikslus vartotojo reikalavimų specifikavimas neigiamai įtakoja visus programinės įrangos kūrimo etapus, o tai didina projekto įgyvendinimo riziką. Disertacinis darbas skirtas sukurti IS inžinerijos metodą, kuris įgalintų empiriniais būdais surinktas dalykinės srities žinias patikrinti formalių kriterijų atžvilgiu. Metodui sukurti buvo apjungti žiniomis grindžiamos ir modeliais grindžiamos IS inžinerijos principai. Šiuo tikslu klasikinis MDA procesas buvo papildytas pagrindiniu žiniomis grindžiamos IS inžinerijos komponentu – veiklos modeliu. Darbo metu buvo sukurtas žiniomis grindžiamo MDA metodo dalykinės programos prototipas, kuris iš dalies automatizuoja siūlomo metodo procesą. Žiniomis grindžiamo MDA metodo efektyvumas buvo patikrintas jį taikant eksperimentinio tyrimo atlikimui, kurio metu buvo sukurta pašto siuntų stebėjimo programėlė. Tyrimo metu nustatyta, kad tikslinga taikyti žiniomis grindžiamą MDA metodą PĮ kūrime nes: 1) detaliau dokumentuojami vartotojo reikalavimai (tikrinami formalių kriterijų atžvilgiu); 2) sumažinama loginių trūkių atsiradimo galimybė (tarp programinės įrangos kūrimo dalyvių); 3) daugiaplatforminiuose sprendimuose sumažinamos projekto įgyvendinimo laiko sąnaudos (dėka automatinio kodo generavimo iš patikrintų modelių).
Loer, Karsten. "Model-based automated analysis for dependable interactive systems." Thesis, University of York, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.399265.
Full textKirwan, Ryan F. "Applying model checking to agent-based learning systems." Thesis, University of Glasgow, 2014. http://theses.gla.ac.uk/5050/.
Full textde, Araujo Rodrigues Vieira Elisangela. "Automated model-based test generation for timed systems." Evry, Institut national des télécommunications, 2007. http://www.theses.fr/2007TELE0011.
Full textLes systèmes temporisés sont des systèmes avec des contraintes de temps réel. L'exactitude d'un système temporisé dépend non seulement des opérations qu'il effectue mais également de la synchronisation quand ils sont exécutés. La synchronisation prend en compte non seulement l’ordre des opérations mais surtout le moment quand elles sont exécutées. Tester un système vise à garantir son exactitude. La génération de teste basée sur des modèles c’est une approche pour produire des cas de test basés sur un modèle formel. Bien que d’autres méthodes de génération de test ont déjà été proposés, la génération pour les systèmes temporisés c’est un domaine bien plus récente. En outre, la plupart des solutions proposées souffrent de l'explosion combinatoire, ce qui limite toujours leur applicabilité dans la pratique. En conséquence, cela explique pourquoi il y a tellement peu de méthodes formelles automatiques pour la génération de test dans tout les domaines. Cette thèse présente une approche automatique de génération de teste adressée aux systèmes temporisés. Pour cela, nous proposons un algorithme de génération basé sur des objectives de test. Cette approche permet de générer des tests pour ce qui concerne les parties critiques du système et évite le problème d'explosion combinatoire. En outre, nous proposons des techniques pour produire des tests avec la détection des timing faults et avec des transitions retardées et/ou instantanées. Afin d'évaluer l'applicabilité et l'efficacité de la méthode proposée, nous avons mis en oeuvre deux outils: une en utilisant un simulateur industriel, pour des modèles en LDS et une autre employant un simulateur basé sur le langage IF. Deux applications industrielles sont employées comme étude de cas : Un système de Passage à Niveau et un Service Vocal fourni par France Telecom
Moseley, Charles Warren. "A Timescale Estimating Model for Rule-Based Systems." Thesis, North Texas State University, 1987. https://digital.library.unt.edu/ark:/67531/metadc332089/.
Full textFilho, João Bosco Ferreira. "Leveraging model-based product lines for systems engineering." Thesis, Rennes 1, 2014. http://www.theses.fr/2014REN1S080/document.
Full textSystems Engineering is a complex and expensive activity in several kinds of companies, it imposes stakeholders to deal with massive pieces of software and their integration with several hardware components. To ease the development of such systems, engineers adopt a divide and conquer approach : each concern of the system is engineered separately, with several domain specific languages (DSL) and stakeholders. The current practice for making DSLs is to rely on the Model-driven Engineering (MDE. On the other hand, systems engineering companies also need to construct slightly different versions/variants of a same system; these variants share commonalities and variabilities that can be managed using a Software Product Line (SPL) approach. A promising approach is to ally MDE with SPL – Model-based SPLs (MSPL) – in a way that the products of the SPL are expressed as models conforming to a metamodel and well-formedness rules. The Common Variability Language (CVL) has recently emerged as an effort to standardize and promote MSPLs. Engineering an MSPL is extremely complex to an engineer: the number of possible products is exponential; the derived product models have to conform to numerous well- formedness and business rules; and the realization model that connects a variability model and a set of design models can be very expressive specially in the case of CVL. Managing variability models and design models is a non-trivial activity. Connecting both parts and therefore managing all the models is a daunting and error-prone task. Added to these challenges, we have the multiple different modeling languages of systems engineering. Each time a new modeling language is used for developing an MSPL, the realization layer should be revised accordingly. The objective of this thesis is to assist the engineering of MSPLs in the systems engineering field, considering the need to support it as earlier as possible and without compromising the existing development process. To achieve this, we provide a systematic and automated process, based on CVL, to randomly search the space of MSPLs for a given language, generating counterexamples that can server as antipatterns. We then provide ways to specialize CVL’s realization layer (and derivation engine) based on the knowledge acquired from the counterexamples. We validate our approach with four modeling languages, being one acquired from industry; the approach generates counterexamples efficiently, and we could make initial progress to increase the safety of the MSPL mechanisms for those languages, by implementing antipattern detection rules. Besides, we also analyse big Java programs, assessing the adequacy of CVL to deal with complex languages; it is also a first step to assess qualitatively the counterexamples. Finally, we provide a methodology to define the processes and roles to leverage MSPL engineering in an organization
Sellers, Benjamin D. "Physics-based refinement of proteins in model systems." Diss., Search in ProQuest Dissertations & Theses. UC Only, 2008. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3311345.
Full textSchulz, Stephan. "Model-based codesign for real-time embedded systems." Diss., The University of Arizona, 2001. http://hdl.handle.net/10150/289712.
Full textBaur, Ulrike, and Peter Benner. "Gramian-Based Model Reduction for Data-Sparse Systems." Universitätsbibliothek Chemnitz, 2007. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200701952.
Full textSzabo, Andrew P. "System Identification and Model-Based Control of Quadcopter UAVs." Wright State University / OhioLINK, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=wright1553197265058507.
Full textVasquez, Arvallo Agustin. "Condition-based maintenance of actuator systems using a model-based approach /." Full text (PDF) from UMI/Dissertation Abstracts International, 2000. http://wwwlib.umi.com/cr/utexas/fullcit?p3004389.
Full text