Dissertations / Theses on the topic 'Automated software design'
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 'Automated software design.'
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.
Hwang, Yves. "An automated software design synthesis framework." University of Western Australia. School of Electrical, Electronic and Computer Engineering, 2009. http://theses.library.uwa.edu.au/adt-WU2009.0157.
Full textAdhyapak, Sriram. "ASDN : Automated Software Design Notebook tool." FIU Digital Commons, 1990. http://digitalcommons.fiu.edu/etd/1087.
Full textVasylenko, Oleksii, Viktor Chuprynka, and Natalia Chuprynka. "Mathematical software for automated gloves design." Thesis, Київський національний університет технологій та дизайну, 2021. https://er.knutd.edu.ua/handle/123456789/19096.
Full textShaw, Hazel Anne. "Automated test of evolving software." Thesis, University of Bedfordshire, 2005. http://hdl.handle.net/10547/305743.
Full textFlobakk, Rune. "Automated verification of design adherence in software implementation." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-8808.
Full textSoftware design and architecture specify how a system should be implemented to achieve the required quality attributes. Being able to automatically verify the design adherence during implementation will continuously assure that the system realizes the quality attributes, as well as over time does not drift away from them. This thesis investigates how a software design can be used to automatically verify and enforce rules for implementation. The current tool support for automatic design enforcement is assessed and reviewed. In addition, a prototype contribution to this practice, a plug-in for the Maven software project management system, is presented.
Gump, Brandon Adam. "Automated Transforms of Software Models: A Design Pattern Approach." Wright State University / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=wright1260287805.
Full textEgerton, David. "Automated generation of SW design constructs from MESA source code /." Online version of thesis, 1993. http://hdl.handle.net/1850/12144.
Full textByström, Markus. "Design and realisation of an automated software testing system utilizing virtual machines." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154480.
Full textModern software is often run in many different environments which puts high demands on testing and quality assurance. Continuous testing of software during the software development cycle is necessary in order to ensure the compatibility between the software and the different environments or platforms in which the software is used. This may require signicant resources in the form of man hours for testers and hardware availability. By testing in virtual environments it is possible to automate most of this process in an easy way and thus make testing more efficient. In this master thesis an automated test system utilizing virtual machines was designed, implemented and evaluated for Scania at its department for Diagnostic Communication and Software Download, RESC. The implemented test system enabled regression and installation testing of the software component SCOMM, Scania Communication Module, to be performed on all the supported platforms on a daily basis. Some minor difficulties were experienced such as some versions of the Windows operating system behaving differently regarding to permissions and operation and also that despite the low overhead of the virtual machine some timing issues were noticed in a few test cases which led them to intermittently fail. By testing software in different operating systems in parallel, it was possible todo more testing in less time than before. Testing reliability was increased due to every test starting from a known state of the virtual machines. The time spent on setup and maintenance of the testing environment can be decreased since multiple virtual machines can co-exist on one physical machine.
Magnusson, Elias, and Samuel Svensson. "Automated characterization of printed electronics." Thesis, Linköpings universitet, Fysik och elektroteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-150139.
Full textGündüz, Mustafa Emre. "Software integration for automated stability analysis and design optimization of a bearingless rotor blade." Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/33916.
Full textGrayson, Marisa Rose. "Approaching Overload: Diagnosis and Response to Anomalies in Complex and Automated Production Software Systems." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1543495231467142.
Full textRogers, Craig N. "Object-oriented design of an automated calibration system for an analog I/O process control device." [Denver, Colo.] : Regis University, 2006. http://165.236.235.140/lib/CRogers2007.pdf.
Full textPetersén, Elin. "Examining maintenance cost of automated GUI tests : An empirical study of how test script design affects the maintenance of automated visual GUI tests." Thesis, Linköpings universitet, Programvara och system, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-171783.
Full textRoslund, Anton. "Evaluation of Automated Test Generation for Simulink : A Case Study in the Context of Propulsion Control Software." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48426.
Full textGustafsson, Marcus, and Oscar Holm. "Fuzz testing for design assurance levels." Thesis, Linköpings universitet, Programvara och system, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-138841.
Full textDoungsa-ard, Chartchai. "Generation of Software Test Data from the Design Specification Using Heuristic Techniques. Exploring the UML State Machine Diagrams and GA Based Heuristic Techniques in the Automated Generation of Software Test Data and Test Code." Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5380.
Full textWhitehead, James Norman. "Applications of process-oriented design." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:ef8b093c-312f-4e95-a3a2-e874af0cd0a0.
Full textAlvero, Aaron J. "Efficacy and Implementation of Automated Essay Scoring Software in Instruction of Literacies to High Level ELLs." FIU Digital Commons, 2016. http://digitalcommons.fiu.edu/etd/2569.
Full textMoura, César. "Conceiving and Implementing a language-oriented approach for the design of automated learning scenarios." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2007. http://tel.archives-ouvertes.fr/tel-00156874.
Full textCette flexibilité reste pourtant limitée et, après quelques années de recherche, les EMLs commencent à montrer ses faiblesses. En fait, le langage choisi pour devenir le standard du domaine, le IMS-LD, s'est montré générique, certes, mais peu expressive, ne permettant pas une représentation fidèle des divers scénarios existants. C'est à dire, c'est aux usagers de s'adapter à la syntaxe et sémantique de cet standard.
Cette thèse part d'un constat quant aux difficultés du processus de conception lui-même, et aux risques de coupure qu'il peut y avoir entre pédagogues et développeurs de logiciels. Pour améliorer la capacité des équipes pédagogiques à pouvoir spécifier, et même implémenter, des scénarios pédagogiques, nous proposons une approche où c'est l'EML qui doit s'adapter aux besoins de l'usager. L'usager a la possibilité de créer son propre langage (ou ses propres langages), s'il en a besoin. En plus, un même scénario peut être décrit en même temps par des différents EMLs (ou modèles) respectant des différents perspectives - et même paradigmes - de chaque stake holder.
Cette approche, appelée multi-EML, est possible grâce aux avancées récentes du génie logiciel, telle l'Architecture Dirigée par les Modèles – l'implémentation la plus connue d'un nouvel paradigme de programmation surnommé Languages Oriented Programming (LOP), qui inclut encore d'autres implémentations.
Notre proposition réside dans la conception d'un environnement informatique « auteur », qui repose sur les principes des Languages Oriented Programming, en utilisant la plateforme ouverte ECLIPSE et, plus particulièrement son implémentation du LOP, l'Eclipse Modeling Framework (EMF). Ainsi, les concepteurs auront un outil qui leur permettra de créer des spécifications formelles décrivant les scénarios envisagés et d'en générer automatiquement des applications correspondantes, dans un processus qui démarre avec les descriptions informelles des experts du domaine.
Reconnaissant que les experts d'éducation - ceux qui mieux comprennent le domaine - ne sont pas nécessairement des informaticiens, l'environnement proposé, appelé MDEduc, fournit aussi un éditeur permettant de décrire un scénario dans une notation informelle, à savoir le pattern pédagogique, à partir de laquelle les modèles formels peuvent être dérivés. En plus, nous proposons de garder côte à côte et en coïncidence ces descriptions en langage informelles, et les descriptions plus formelles et normatives et d'offrir la possibilité d'effectuer des allers-retours à toutes les phases du cycle de vie du dispositif pédagogique.
Alomari, Mohammad Hani. "Engineering system design for automated space weather forecast : designing automatic software systems for the large-scale analysis of solar data, knowledge extraction and the prediction of solar activities using machine learning techniques." Thesis, University of Bradford, 2009. http://hdl.handle.net/10454/4248.
Full textAlomari, Mohammad H. "Engineering System Design for Automated Space Weather Forecast. Designing Automatic Software Systems for the Large-Scale Analysis of Solar Data, Knowledge Extraction and the Prediction of Solar Activities Using Machine Learning Techniques." Thesis, University of Bradford, 2009. http://hdl.handle.net/10454/4248.
Full textDebnath, Jayanta Kumar. "Development of Scheduling, Path Planning and Resource Management Algorithms for Robotic Fully-automated and Multi-story Parking Structure." University of Toledo / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1470399189.
Full textТомишин, Юрій Васильович. "Засоби розроблення паралельних програм для метеорологічного прогнозування." Master's thesis, Київ, 2018. https://ela.kpi.ua/handle/123456789/25575.
Full textThe computer-aided design of high-level algebra-algorithmic specifications of the software for solving the problem of meteorological forecasting is performed. Generation of the program code behind the constructed specifications on the basis of use of the developed tools of computer-aided design and synthesis of programs is executed. An experiment was carried out to implement the generated parallel program of meteorological forecasting on the Intel Xeon Phi multicore platform. Total amount of work: 82 p., pic 5, 29 tables., 30 links.
Выполнено автоматизированное конструирование высокоуровневых алгебро-алгоритмических спецификаций программного обеспечения для решения задачи метеорологического прогнозирования. Выполнена генерация кода по построенным спецификациями на основе использования разработанных инструментальных средств автоматизированного проектирования и синтеза программ. Проведен эксперимент по выполнению сгенерированной параллельной программы метеорологического прогнозирования на многоядерной платформе Intel Xeon Phi.
Ferreira, silva Eduardo. "Conception d’architecture de système-de-systèmes à logiciel prépondérant dirigée par les missions." Thesis, Lorient, 2018. http://www.theses.fr/2018LORIS509/document.
Full textThe formulation of missions is the starting point to the development of Systems-of-Systems (SoS), being used as a basis for the specification, verification and validation of SoS architectures. Specifying, verifying and validating architectural models for SoS are complex tasks compared to usual systems, the inner complexity of SoS relying specially on emergent behaviors, i.e. features that emerge from the interactions among constituent parts of the SoS which cannot be predicted even if all the behaviors of all parts are completely known. This thesis addresses the synergetic relationship between missions and architectures of software-intensive SoS, giving a special attention to emergent behaviors which are created for achieving formulated missions. We propose a design approach for the architectural modeling of SoS driven by the mission models. In our proposal, the mission model is used to both derive, verify and validate SoS architectures. As first step, we define a formalized mission model, then we generate the structure of the SoS architecture by applying model transformations. Later, when the architect specifies the behavioral aspects of the SoS, we generate concrete SoS architectures that will be verified and validated using simulation-based approaches, in particular regarding emergent behaviors. The verification uses statistical model checking to verify whether specified properties are satisfied, within a degree of confidence. The formalization in terms of a temporal logic and statistical model checking are the formal foundations of the developed approach. A toolset that implements the whole approach was also developed and experimented
Norberg, Johan. "Verification techniques in the context of event-trigged soft real-time systems." Thesis, Jönköping University, JTH, Computer and Electrical Engineering, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-737.
Full textWhen exploring a verification approach for Komatsu Forest's control system regarding their forest machines (Valmet), the context of soft real-time systems is illuminated. Because of the nature of such context, the verification process is based on empirical corroboration of requirements fulfillment rather than being a formal proving process.
After analysis of the literature with respect to the software testing field, two paradigms have been defined in order to highlight important concepts for soft real-time systems. The paradigms are based on an abstract stimuli/response model, which conceptualize a system with inputs and output. Since the system is perceived as a black box, its internal details are hidden and thus focus is placed on a more abstract level.
The first paradigm, the “input data paradigm”, is concerned about what data to input to the system. The second paradigm, the “input data mechanism paradigm” is concerned about how the data is sent, i.e. the actual input mechanism is focused. By specifying different dimensions associated with each paradigm, it is possible to define their unique characteristics. The advantage of this kind of theoretical construction is that each paradigm creates an unique sub-field with its own problems and techniques.
The problems defined for this thesis is primarily focused on the input data mechanism paradigm, where devised dimensions are applied. New verification techniques are deduced and analyzed based on general software testing principles. Based on the constructed theory, a test system architecture for the control system is developed. Finally, an implementation is constructed based on the architecture and a practical scenario. Its automation capability is then assessed.
The practical context for the thesis is a new simulator under development. It is based upon LabVIEW and PXI technology and handles over 200 I/O. Real machine components are connected to the environment, together with artificial components that simulate the engine, hydraulic systems and a forest. Additionally, physical control sticks and buttons are connected to the simulator to enable user testing of the machine being simulated.
The results associated with the thesis is first of all that usable verification techniques were deduced. Generally speaking, some of these techniques are scalable and are possible to apply for an entire system, while other techniques may be appropriate for selected subsets that needs extra attention. Secondly, an architecture for an automated test system based on a selection of techniques has been constructed for the control system.
Last but not least, as a result of this, an implementation of a general test system has been possible and successful. The implemented test system is based on both C# and LabVIEW. What remains regarding the implementation is primarily to extend the system to include the full scope of features described in the architecture and to enable result analysis.
Då verifikationstekniker för Komatu Forests styrsystem utreds angående Valmet skogsmaskiner, hamnar det mjuka realtidssystemkontextet i fokus. Ett sådant kontext antyder en process där empirisk styrkning av kravuppfyllande står i centrum framför formella bevisföringsprocesser.
Efter en genomgång och analys av litteratur för mjukvarutestområdet har två paradigmer definierats med avsikten att belysa viktiga concept för mjuka realtidssystem. Paradigmerna är baserade på en abstrakt stimuli/responsmodell, som beskriver ett system med in- och utdata. Eftersom detta system betraktas som en svart låda är inre detaljer gömda, vilket medför att fokus hamnar på ett mer abstrakt plan.
Det första paradigmet benämns som “indata-paradigmet” och inriktar sig på vilket data som skickas in i systemet. Det andra paradigmet går under namnet “indatamekanism-paradigmet” och behandlar hur datat skickas in i systemet, dvs fokus placeras på själva inskickarmekanismen. Genom att definiera olika
dimensioner för de två paradigmen, är det möjligt att beskriva deras utmärkande drag. Fördelen med att använda denna teoretiska konstruktion är att ett paradigm skapar ett eget teoriområde med sina egna frågeställningar och tekniker.
De problem som definierats för detta arbete är främst fokuserade på indatamekanism-paradigmet, där framtagna dimensioner tillämpas. Nya verifikationstekniker deduceras och analyseras baserat på generella mjukvarutestprinciper. Utifrån den skapade teorin skapas en testsystemarkitektur för kontrollsystemet. Sedan utvecklas ett testsystem baserat på arkitekturen samt ett praktiskt scenario med syftet att utreda systemets automationsgrad.
Den praktiska miljön för detta arbete kretsar kring en ny simulator under utveckling. Den är baserad på LabVIEW och PXI-teknik och hanterar över 200 I/O. Verkliga maskinkomponenter ansluts till denna miljö tillsammans med konstgjorda komponenter som simulerar motorn, hydralik samt en skog. Utöver detta, ansluts styrspakar och knappar för att möjliggöra användarstyrning av maskinen som simuleras.
Resultatet förknippat med detta arbete är för det första användbara verifikationstekniker. Man kan generellt säga att några av dessa tekniker är skalbara och därmed möjliga att tillämpa för ett helt system. Andra tekniker är ej skalbara, men lämpliga att applicera på en systemdelmängd som behöver testas mer utförligt.
För det andra, en arkitektur har konstruerats för kontrollsystemet baserat på ett urval av tekniker. Sist men inte minst, som en följd av ovanstående har en lyckad implementation av ett generellt testsystem utförts. Detta system implementerades med hjälp av C# och LabVIEW. Det som återstår beträffande implementationen är att utöka systemet så att alla funktioner som arkitekturen beskriver är inkluderade samt att införa resultatanalys.
Zraqou, Jamal Sami. "Automated system design for the efficient processing of solar satellite images : developing novel techniques and software platform for the robust feature detection and the creation of 3D anaglyphs and super-resolution images for solar satellite images." Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5434.
Full textMcCulloch, Thomas L. "Feasible Form Parameter Design of Complex Ship Hull Form Geometry." ScholarWorks@UNO, 2018. https://scholarworks.uno.edu/td/2552.
Full textTruong, Khai Nhut. "INCA an infrastructure for capture & access supporting the generation, preservation and use of memories from everyday life /." Diss., Georgia Institute of Technology, 2005. http://hdl.handle.net/1853/7167.
Full textPrat, Sophie. "Intégration de techniques de vérification par simulation dans un processus de conception automatisée de contrôle commande." Thesis, Lorient, 2017. http://www.theses.fr/2017LORIS476/document.
Full textNowadays, engineers have to design open, complex and sociotechnical systems. The process control systems belong to this class of systems, in which the system performance relies on the joint optimisation of technical components and human components. To avoid the late discovery of design errors, it is necessary to perform tests throughout the design without adding design costs and delays. The aim of this work is therefore to facilitate the integration of checking by simulation, from early design stage, for process control systems such as fluid management systems. Regarding the adaptable feature of the system and its evolution in a dynamic environment, a first contribution focusses on the verification approach, by modelling the requirements within the context. Then, to facilitate the obtaining of the process simulation models required for checking throughout the design, we propose an automatic generation approach of simulation models in Modelica language (multi-domain modelling), from a P&ID model (modelling of the functional architecture of the process) and a library of elements (containing the simulation models of elements). To provide a proof of concept and a proof of use of our proposals, this approach has been implemented into Anaxagore, an automated design flow for monitoring and control
Li, Juncao. "An Automata-Theoretic Approach to Hardware/Software Co-verification." PDXScholar, 2010. https://pdxscholar.library.pdx.edu/open_access_etds/12.
Full textJunek, Martin. "Metody specifikace kyberfyzikálních systémů." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2021. http://www.nusl.cz/ntk/nusl-442854.
Full textArief, Leonardus Budiman. "A framework for supporting automatic simulation generation from design." Thesis, University of Newcastle Upon Tyne, 2001. http://hdl.handle.net/10443/1816.
Full textHassan, Amro Salem Salem. "An Automated Approach for Discovering Functional Risk-Inducing Flaws in Software Designs." Thesis, North Dakota State University, 2015. https://hdl.handle.net/10365/27886.
Full textSerrano, José Artur Ferreira da Silva e. Vale. "Automatic generation of software design tools supporting semantics of modelling techniques." Thesis, University of Glasgow, 1997. http://theses.gla.ac.uk/7018/.
Full textChan, Chibong. "Design and implementation of software to automate reuse in component-based system engineering." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/33125.
Full textIncludes bibliographical references (leaf 45).
The goal of this thesis is to develop software under the SpecTRM software package for the partial automation of tasks associated with reusing SpecTRM-RL component models. The automation software is designed to aid the application of component-based system engineering in SpecTRM, mainly by reducing the amount of manual work necessary in setting up component models for simulation. My thesis will examine the properties of component models, and the common tasks associated with component-based system engineering, so as to identify areas where automation is possible, and then present the user interfaces and algorithms necessary to achieve automation. The automation software will be implemented in Java under the Eclipse platform, in order to be seamlessly integrated into the SpecTRM software package.
by Chibong Chan.
M.Eng.and S.B.
Morgan, Clifford Owen. "Development of computer aided analysis and design software for studying dynamic process operability." Thesis, Georgia Institute of Technology, 1986. http://hdl.handle.net/1853/10187.
Full textHöflinger, Kilian. "Design of an Automatic Specification-based Test-framework for On-board Software of Satellites." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-175864.
Full textSatellites are sophisticated and therefore complicated constructs that require interdisciplinary teamwork of various experts of different academic disciplines. The integration of specific payload components, like scientific experiments, in the on-board software of the satellite is very challenging. The domain expert, as the owner of the payload component, possesses detailed insights on his or her component, but lacks sufficient programming skills to implement it in the on-board software. The programmer is able to write proper code for the onboard software, but is inexperienced with the payload component of the domain expert. This report describes the design and the implementation of an automatic specification-based test-framework for on-board software of satellites to bridge the knowledge and communication gap between the programmer and the domain expert. Model- and test-driven development are in the focus of the testframework. With the help of a domain-specific language, the domain expert is able to model a specification in formal notation, representing potential use-case scenarios of the component. These scenarios are automatically translated to compilable C++ test cases, which help the programmer to verify the functional correctness of the on-board software implementation of the payload component while he or she is programming it.
Ungureanu, George. "Automatic Software Synthesis from High-Level ForSyDe Models Targeting Massively Parallel Processors." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-127832.
Full textLee, Seung Man. "Agent-based simulation of socio-technical systems : software architecture and timing mechanisms." Diss., Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/24351.
Full textCurri, Agustin. "Standard Software Template for Automatic Machines: Design, Implementation and Validation Through the Virtual Commissioning Approach." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022.
Find full textRudraiah, Dakshinamurthy Amruth. "A Compiler-based Framework for Automatic Extraction of Program Skeletons for Exascale Hardware/Software Co-design." Master's thesis, University of Central Florida, 2013. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/5695.
Full textM.S.
Masters
Electrical Engineering and Computer Science
Engineering and Computer Science
Computer Science
Sagebaum, Max [Verfasser], and Nicolas R. [Akademischer Betreuer] Gauger. "Advanced techniques for the semi automatic transition from simulation to design software / Max Sagebaum ; Betreuer: Nicolas R. Gauger." Kaiserslautern : Technische Universität Kaiserslautern, 2018. http://d-nb.info/1168229413/34.
Full textPsotti, Andrea. "Design of a new Human Machine Interface for bar feeding automatic machines towards Industry 4.0 smart factories." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2016.
Find full textHsu, Ssuta S. "Automatic Meshing of Free-Form Deformation Solids." BYU ScholarsArchive, 1989. https://scholarsarchive.byu.edu/etd/3453.
Full textKureksiz, Funda. "A Real Time Test Setup Design And Realization For Performance Verification Of Controller Designs For Unmanned Air Vehichles." Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/2/12609393/index.pdf.
Full textFrancesca, Gianpiero. "A modular approach to the automatic design of control software for robot swarms: From a novel perspective on the reality gap to AutoMoDe." Doctoral thesis, Universite Libre de Bruxelles, 2017. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/256252.
Full textDoctorat en Sciences de l'ingénieur et technologie
info:eu-repo/semantics/nonPublished
Mutigwe, Charles. "Automatic synthesis of application-specific processors." Thesis, Bloemfontein : Central University of Technology, Free State, 2012. http://hdl.handle.net/11462/163.
Full textThis thesis describes a method for the automatic generation of appli- cation speci_c processors. The thesis was organized into three sepa- rate but interrelated studies, which together provide: a justi_cation for the method used, a theory that supports the method, and a soft- ware application that realizes the method. The _rst study looked at how modern day microprocessors utilize their hardware resources and it proposed a metric, called core density, for measuring the utilization rate. The core density is a function of the microprocessor's instruction set and the application scheduled to run on that microprocessor. This study concluded that modern day microprocessors use their resources very ine_ciently and proposed the use of subset processors to exe- cute the same applications more e_ciently. The second study sought to provide a theoretical framework for the use of subset processors by developing a generic formal model of computer architecture. To demonstrate the model's versatility, it was used to describe a number of computer architecture components and entire computing systems. The third study describes the development of a set of software tools that enable the automatic generation of application speci_c proces- sors. The FiT toolkit automatically generates a unique Hardware Description Language (HDL) description of a processor based on an application binary _le and a parameterizable template of a generic mi- croprocessor. Area-optimized and performance-optimized custom soft processors were generated using the FiT toolkit and the utilization of the hardware resources by the custom soft processors was character- ized. The FiT toolkit was combined with an ANSI C compiler and a third-party tool for programming _eld-programmable gate arrays (FPGAs) to create an unconstrained C-to-silicon compiler.
Magnini, Matteo. "An information theory analysis of critical Boolean networks as control software for robots." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23062/.
Full textKeyvani, Ali. "Modular Fixture Design for BIW Lines Using Process Simulate." Thesis, University West, Department of Engineering Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-1613.
Full textThe unchangeable need of securing and locating parts during different manufacturing processes turned the fixtures to key elements in many part production industries. The iterations between design engineers and manufacturing planners because of late collision detection of the part/fixtures with robots cost a lot of time and money. The lead-time can be reduced by developing tools and/or methods for early verification of the fixtures during the simultaneous engineering phase. Different aspects of fixture designing, modeling and simulating is investigated as a base step to recognize the best practice work to do fixture planning in Process Simulate integrated PLM environment. The aim of the project is to use Process Simulate to design and validate modular fixtures at the same time and in a single environment. It also aims to investigate the possibility of adding kinematics, sensors, and actuating signals to the fixtures and utilize them to model the fixture behavior in a larger simulation study. The project narrows down its focus on the fixtures designed for robotic applications specifically in Automotive Body in White lines without losing generality. The document type stated at the title page and in the header of this page is master thesis work.
Harrath, Nesrine. "A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level." Thesis, Paris, CNAM, 2014. http://www.theses.fr/2014CNAM0957/document.
Full textEmbedded systems are increasingly integrated into existing real-time applications. They are usually composed of deeply integrated but heterogeneous hardware and software components. These components are developed under strict constraints. Accordingly, the work of design engineers became more tricky and challenging. To meet the high quality standards in nowadays embedded systems and to satisfy the rising industrial demands, the automatization of the developing process of those systems is gaining more and more importance. A major challenge is to develop an automated approach that can be used for the integrated verification and validation of complex and heterogeneous HW/SW systems.In this thesis, we propose a new compositional approach to model and verify hardware and software written in SystemC language. This approach is based on the SystemC Waiting State Automata (WSA). The SystemC Waiting State Automata are used to model the abstract behavior of hardware or software systems described in SystemC. They preserve the semantics of the SystemC scheduler at the temporal and the delta-cycle level. This model allows to reduce the complexity of the modeling process of complex systems due to the problem of state explosion during modeling while remaining faithful to the original system. The SystemC waiting state automaton is also compositional and supports refinement. In addition, this model is extended with parameters such as time and counters in order to take into account further aspects like temporality and other extra-functional properties such as QoS.In this thesis, we propose a stepwise approach on how to automatically extract the SystemC WSAs from SystemC descriptions. This construction is based on symbolic execution together with predicate abstraction. We propose a set of algorithms to symbolically compose and reduce the SystemC WSAs in order to study, analyze and verify concurrent behavior of systems as well as the data exchange between various components. We then propose to use the SystemC WSA to model and simulate hardware and software systems, and to compute the worst cas execution time (WCET) using the Timed SystemC WSA. Finally, we define how to apply model checking techniques to prove the correctness of the abstract analysis