Essays about: "DSL"
Showing result 1 - 5 of 37 essays containing the word DSL.
-
1. StrideLang : Creation of a Domain-Specific Threat Modeling Language using STRIDE, DREAD and MAL
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Cybersecurity is still one of the main challenges of the digital era for organizations and individuals alike. Threat modeling is an important tool for building systems that are reliable and secure. The research question for this study is to create a domain specific language (DSL) with the Meta Attack Language (MAL), STRIDE and DREAD. READ MORE
-
2. Prototyping a formal system modeling workbench in the java ecosystem : A Domain Specific Language in Groovy
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Modeling is a fundamental property in today’s development of embedded systems. Models of computation enable us to describe the functionality and characteristics of a system on a higher abstraction level which gives the designer great insight in the behavior of the final implemented system at a very early stage in the design process. READ MORE
-
3. μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. READ MORE
-
4. Filtering False Positive Alarms in JavaDL and Language Experience Report
University essay from Lunds universitet/Institutionen för datavetenskapAbstract : JavaDL is a domain-specific language (DSL) for writing static program analyses in a declarative logic programming style, based on Datalog. The key feature of this DSL is the ability to pattern-match on literal source code syntax and reason non-locally through declarative programming. READ MORE
-
5. HypervisorLang : Attack Simulations of the OpenStack Nova Compute Node
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Cloud services are growing in popularity and the global public cloud services are forecasted to increase by 17% in 2020[1]. The popularity of cloud services is due to the improved resource allocation for providers and simplicity of use for the customer. READ MORE
