Search for dissertations about: "Embedded domain specific language"

Showing result 1 - 5 of 26 swedish dissertations containing the words Embedded domain specific language.

2. 1. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

   Author : Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

   Abstract : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. READ MORE

4. 2. Model and Dependency Management in Mechatronic Design

   Author : Ahsan Qamar; Wikander Jan; Carl During; Kristina Shea; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Dependency Modeling; Model-Based Systems Engineering MBSE ; Mechatronic Design; Model Integration; Tool Integration; Common Language; Mechatronic Challenges; Domain Specific Language.;

   Abstract : Managing consistency is a major concern in the design of complex engineering systems. At times, inconsistencies may lead to wrong decisions, resulting in design flaws which can compromise safety and cause failures. One cannot forget the 1999 NASA unmanned MARS Climate Orbiter, which was destroyed due to use of inconsistent units by design teams. READ MORE

5. 3. High-level Programming on Low-level Platforms: Two Domain-specific Languages based on Haskell

   Author : Robert Krook; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Domain-specific Languages; Haskell; Confidential Computing; TEE;

   Abstract : In this thesis, we describe our research on how to program low-level platforms with high-level languages. As an example, consider applications that run on microcontrollers. Such applications may need to specify precise temporal behavior, carefully manage power usage, and handle cryptographic keys. READ MORE

6. 4. Linguistic Landshapes. A comparison of official and non-official language management in Rwanda and Uganda, focusing on the position of African languages

   Author : Tove Rosendal; Göteborgs universitet; []
   Keywords : HUMANIORA; HUMANITIES; Rwanda; Uganda; African languages; multilingualism; language competition; linguistic market; macro-sociolinguistic; Multilingual Management Model MMM ; quantitative analysis; official multilingual management; non-official multilingual management; Chaudenson; Bourdieu; country comparison; embedded diglossia;

   Abstract : This thesis is a macro-sociolinguistic study and comparison of language status and use in Rwanda and Uganda. The data was collected in fieldwork. The study covers the main formal domains in society, both official and non-official. A model for analysis, inspired by Chaudenson, was created. READ MORE

7. 5. A Functional Approach to Hardware Software Co-Design

   Author : Markus Aronsson; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; domain specific languages; functional programming; signal processing; code generation;

   Abstract : Developing software for embedded systems presents quite the challenge---not only do these systems demand good knowledge of the hardware they run on, but their limited resources also make it difficult to achieve efficiency. For embedded systems with different kinds of processing elements, the challenge is even greater; the presence of heterogeneous elements both raises all of the issues associated with homogeneous systems, and may also cause non-uniform system development and capability. READ MORE