• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 3
  • 2
  • 2
  • Tagged with
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

SDL-Datenkonzepte - Analyse und Verbesserungen

Schröder, Ralf. January 2003 (has links) (PDF)
Berlin, Humboldt-Universiẗat, Diss., 2003.
2

SDL-Datenkonzepte

Schröder, Ralf 26 March 2003 (has links)
SDL in der 1996 standardisierten Sprachversion ist zur Zeit die im Telekommunikationsbereich am weitesten verbreitete Sprache zur Spezifikation von Protokollen. Ein wesentlicher Aspekt der Sprachentwicklung seit 1988 ist auch die Verfügbarkeit einer formalen Basis semantischer Konzepte. Für das Datenkonzept der Sprache wurde auf die algebraischen Technik ACT ONE zurückgegriffen. Obwohl Anspruch als auch praktischer Wert von SDL in der Ausführbarkeit als Spezifikationstechnik liegt, wird dieses gerade durch das verwendete Datenmodell beeinträchtigt. Verdeckt wird dieses Problem durch die Bereitstellung von vordefinierten Datentypen. Durch die Erweiterung von SDL um objektorientierte Konzepte im Jahr 1992 und durch die allgemein wachsende Bedeutung der Daten in Protokollbeschreibungen treten die vorhandenen Sprachprobleme bei den Daten immer mehr in der Vordergrund. Individuelle Lösungen zur Spezifikation von Daten in verfügbaren SDL-Werkzeugen sind die Folge. In der vorliegenden Arbeit werden sowohl die praxismotivierten Unzulänglichkeiten als auch die formalen Unstimmigkeiten im SDL-Datenkonzept aufgezeigt. Auf der Grundlage einer systematischen Analyse werden ein allgemeiner Anforderungskatalog und eine Methodik für Veränderungen am Datenkonzept erarbeitet. Zusätzlich werden wichtige Sprachmodifikationen mit dem Schwerpunkten Ausdruckskraft und Ausführbarkeit vorgestellt und bewertet. Es steht somit ein Instrumentarium zur Verfügung, das den unterschiedlichen SDL-Interessengruppen bei der Bewertung und Nutzung von SDL-Veränderungen dienlich ist. Die in der Arbeit vorgestellten Modifikationen des Datenkonzepts basieren auf den langjährigen Erfahrungen des Autors bei der Implementierung und dem Einsatz von Werkzeugen, die mit verschiedenen projektspezifischen Zielstellungen SDL-Beschreibungen in ausführbare Programme überführen. Die Kombination von SDL mit einer weiteren Spezifikationstechnik, ASN.1, spielt hier eine besondere Rolle. Durch die aktive Mitarbeit des Autors bei der SDL-Sprachstandardisierung werden in der Arbeit auch Vorschläge präsentiert, die über das Potential der vorhandenen Werkzeuge hinausgehen. Das schließt beispielsweise die Bewertung der neuen, in der Praxis noch nicht etablierten, SDL-Version aus dem Jahr 2000 mit ein. / SDL in the language version which was standardized in 1996 is the most-used language in the telecommunication domain for the specification of protocols today. An essential aspect of the language development since 1998 is the availability of a formal basis for semantic concepts. The algebraic technique ACT ONE is used for the data concept of the language. Although the requirement and the practical value of SDL is the execution a specification technique, this is impaired straight by the used data model. The problem is hidden by the supply of pre-defined data types. Because of the introduction of object oriented concepts in 1992 and because of the generally increasing importance of data for the protocol description the existing language problems are taking more and more attention. Individual solutions for the specification of data are the consequence with available SDL tools. In the presented document are pointed out the praxis motivated inadequacies as well as the formal discrepancy of the data concept. A general requirement catalogue and a methodology are designed for language modifications based on a systematic inspection of the SDL data concept. Furthermore important language modifications are introduced and evaluated with the focus to expression power and to execution. Instruments are provided thus, which are helpful to different SDL interest groups for the evaluation and for the application of SDL modifications. In the document presented data modifications are based on years of experience of the author in the implementation and application of tools that compile SDL specifications with different project-specific objectives into executable programs. The combination of SDL with a further specification technology, ASN.1, plays an important role here. Because of the active role of the author in the SDL standardization process also suggestions are presented going beyond the potential of the existing tools. That includes for example the evaluation of the new, in practice not yet established SDL version, published in 2000.
3

Fuzzing Radio Resource Control messages in 5G and LTE systems : To test telecommunication systems with ASN.1 grammar rules based adaptive fuzzer / Fuzzing Radio Resource Control-meddelanden i 5Goch LTE-system

Potnuru, Srinath January 2021 (has links)
5G telecommunication systems must be ultra-reliable to meet the needs of the next evolution in communication. The systems deployed must be thoroughly tested and must conform to their standards. Software and network protocols are commonly tested with techniques like fuzzing, penetration testing, code review, conformance testing. With fuzzing, testers can send crafted inputs to monitor the System Under Test (SUT) for a response. 3GPP, the standardization body for the telecom system, produces new versions of specifications as part of continuously evolving features and enhancements. This leads to many versions of specifications for a network protocol like Radio Resource Control (RRC), and testers need to constantly update the testing tools and the testing environment. In this work, it is shown that by using the generic nature of RRC specifications, which are given in Abstract Syntax Notation One (ASN.1) description language, one can design a testing tool to adapt to all versions of 3GPP specifications. This thesis work introduces an ASN.1 based adaptive fuzzer that can be used for testing RRC and other network protocols based on ASN.1 description language. The fuzzer extracts knowledge about ongoing RRC messages using protocol description files of RRC, i.e., RRC ASN.1 schema from 3GPP, and uses the knowledge to fuzz RRC messages. The adaptive fuzzer identifies individual fields, sub-messages, and custom data types according to specifications when mutating the content of existing messages. Furthermore, the adaptive fuzzer has identified a previously unidentified vulnerability in Evolved Packet Core (EPC) of srsLTE and openLTE, two open-source LTE implementations, confirming the applicability to robustness testing of RRC and other network protocols. / 5G-telekommunikationssystem måste vara extremt tillförlitliga för att möta behoven för den kommande utvecklingen inom kommunikation. Systemen som används måste testas noggrant och måste överensstämma med deras standarder. Programvara och nätverksprotokoll testas ofta med tekniker som fuzzing, penetrationstest, kodgranskning, testning av överensstämmelse. Med fuzzing kan testare skicka utformade input för att övervaka System Under Test (SUT) för ett svar. 3GPP, standardiseringsorganet för telekomsystemet, producerar ofta nya versioner av specifikationer för att möta kraven och bristerna från tidigare utgåvor. Detta leder till många versioner av specifikationer för ett nätverksprotokoll som Radio Resource Control (RRC) och testare behöver ständigt uppdatera testverktygen och testmiljön. I detta arbete visar vi att genom att använda den generiska karaktären av RRC-specifikationer, som ges i beskrivningsspråket Abstract Syntax Notation One (ASN.1), kan man designa ett testverktyg för att anpassa sig till alla versioner av 3GPP-specifikationer. Detta uppsatsarbete introducerar en ASN.1-baserad adaptiv fuzzer som kan användas för att testa RRC och andra nätverksprotokoll baserat på ASN.1- beskrivningsspråk. Fuzzer extraherar kunskap om pågående RRC meddelanden med användning av protokollbeskrivningsfiler för RRC, dvs RRC ASN.1 schema från 3GPP, och använder kunskapen för att fuzz RRC meddelanden. Den adaptiva fuzzer identifierar enskilda fält, delmeddelanden och anpassade datatyper enligt specifikationer när innehållet i befintliga meddelanden muteras. Dessutom har den adaptiva fuzzer identifierat en tidigare oidentifierad sårbarhet i Evolved Packet Core (EPC) för srsLTE och openLTE, två opensource LTE-implementeringar, vilket bekräftar tillämpligheten för robusthetsprovning av RRC och andra nätverksprotokoll.
4

Utveckling av ett öppet Home Automation-protokoll för användning över IP-nätverk / Development of an open Home Automation protocol for use over IP networks

Johnsson, Kim, Turfors, Christoffer, Ericson, Eric January 2010 (has links)
<p>Detta arbete tar upp utvecklingen av ett nytt protokoll för användning inom Home Automation över IP-nätverk, med stor vikt på flexibilitet och enkelhet. Vi valde att utveckla ett nytt protokoll för Home Automation då en granskning av dagens protokoll visar att dessa inte är tillräckligt öppna eller flexibla för att passa alla enheter som används eller alla scenarion som kan uppstå.</p><p>I våra litteraturstudier samlades information in som skapade grunderna för vårt protokoll och gav oss en större inblick i teknikerna bakom dagens tekniker inom home automation. Detta gav oss även möjlighet att senare jämföra vårt färdiga protokoll med redan existerande protokoll för att se om vi lyckats skapa något som kan användas. Metoden vi valde för att utveckla protokollet är en generell designmetod där vi efter granskningen av tidigare protokoll tar fram ett antal punkter som det nya protokollet skall uppnå. Det visade sig dock vara problematiskt att få fram svar om vissa protokoll så vi frångick metoden genom att istället utveckla protokollet utefter ett antal olika scenarion som det bör kunna hantera.</p><p>Resultatet av arbetet är ett protokoll som uppfyllde nästan alla mål vi satt upp för det. I de fall vi inte lyckades med att uppfylla målen har vi möjliggjort för framtida expanderingar.</p> / <p>This report covers the development of a new protocol for use in Home Automation over IP networks, with focus on flexibility and simplicity. We chose to develop a new protocol for Home Automation because a review of current protocols suggests that these aren't open or flexible enough to suit every device in use or every scenario that might be applicable.</p><p>In our literature studies we gathered information for use as the basis of our protocol and give us more insight into the technologies behind current home automation protocols. This also gave us the opportunity to compare our finished protocol with existing protocols. The method we chose for developing the protocol is a generic design method where after reviewing existing protocols, we establish a number of goals for the new protocol. It did however turn out to be difficult to acquire relevant information about some of the protocols. Because of this we used a slightly different approach, basing the new protocol on a number of scenarios we want it to be able to handle.</p><p>The result is a protocol which satisfied almost every goal we established. For the few it didn't, we made it possible to satisfy them with future expansions.</p>
5

Analysis of Communication Architecture of GCDC 2011 / Analysis of Communication Architecture of GCDC 2011

Khaksari, Mohammadreza January 2011 (has links)
This thesis report presents a method to analyze the communication architecture for the Intelligent Transportation Systems (ITS). The report also includes a case study on ASN.1 notation and analysis of its encoding rules. Included in the report is also: (i) accompanying instruction on how to use ASN.1 compilers to produce the C/C++ message encoder/decoder, and (ii) analysis of Non-IP communications of Communication Access for Land Mobiles (CALM-FAST) protocol stack in ITS. The thesis is a part of the research project entitled “SCOOP”, a joint project between SCANIA CV AB and KTH. The purpose of this thesis is to contribute to the ultimate goal, which is to equip a vehicle with necessary hardware and software technology to provide a platooning behavior in the GCDC 2011 competition. This goal is achieved by the means of wireless communication system for both vehicle to vehicle and vehicle to road side units communications in the platoon. Overall, this thesis introduces the important usage of ASN.1 in implementation of cut-edge telecommunication systems especially in V2V and V2I communication; and clarifies the CALM-FAST protocol stack in mobile nodes. / Kartlägga CALM-FAST protokollet och hur det användes tillsammans med den i tävlingen GCDC 2011 fastslanga kommunikationsprotokollet. GCDC var ett tävling i kooperativ körning arrangerad och initierad av Hollänska TNO och gick ut på att få fordon att agera tillsammans beserat på information sänt via WLAN 802.11p. ASN.1 användes och ingick i analysen.
6

Utveckling av ett öppet Home Automation-protokoll för användning över IP-nätverk / Development of an open Home Automation protocol for use over IP networks

Johnsson, Kim, Turfors, Christoffer, Ericson, Eric January 2010 (has links)
Detta arbete tar upp utvecklingen av ett nytt protokoll för användning inom Home Automation över IP-nätverk, med stor vikt på flexibilitet och enkelhet. Vi valde att utveckla ett nytt protokoll för Home Automation då en granskning av dagens protokoll visar att dessa inte är tillräckligt öppna eller flexibla för att passa alla enheter som används eller alla scenarion som kan uppstå. I våra litteraturstudier samlades information in som skapade grunderna för vårt protokoll och gav oss en större inblick i teknikerna bakom dagens tekniker inom home automation. Detta gav oss även möjlighet att senare jämföra vårt färdiga protokoll med redan existerande protokoll för att se om vi lyckats skapa något som kan användas. Metoden vi valde för att utveckla protokollet är en generell designmetod där vi efter granskningen av tidigare protokoll tar fram ett antal punkter som det nya protokollet skall uppnå. Det visade sig dock vara problematiskt att få fram svar om vissa protokoll så vi frångick metoden genom att istället utveckla protokollet utefter ett antal olika scenarion som det bör kunna hantera. Resultatet av arbetet är ett protokoll som uppfyllde nästan alla mål vi satt upp för det. I de fall vi inte lyckades med att uppfylla målen har vi möjliggjort för framtida expanderingar. / This report covers the development of a new protocol for use in Home Automation over IP networks, with focus on flexibility and simplicity. We chose to develop a new protocol for Home Automation because a review of current protocols suggests that these aren't open or flexible enough to suit every device in use or every scenario that might be applicable. In our literature studies we gathered information for use as the basis of our protocol and give us more insight into the technologies behind current home automation protocols. This also gave us the opportunity to compare our finished protocol with existing protocols. The method we chose for developing the protocol is a generic design method where after reviewing existing protocols, we establish a number of goals for the new protocol. It did however turn out to be difficult to acquire relevant information about some of the protocols. Because of this we used a slightly different approach, basing the new protocol on a number of scenarios we want it to be able to handle. The result is a protocol which satisfied almost every goal we established. For the few it didn't, we made it possible to satisfy them with future expansions.
7

OODSF: an object-oriented data specification framework in a heterogeneous computing environment

Hwang, Jae Woong 13 February 2009 (has links)
The Object-Oriented Data Specification Framework (OODSF) is a C++ framework to facilitate programming in a heterogeneous distributed environment. Using the OODSF, C++ language bindings of commonly used specification languages, such as Abstract Syntax Notation 1 (ASN.l) and Interface Definition Language (IDL), can be defined. The OODSF defines C++ class libraries for ASN.l and IDL to simplify the C++ language bindings. Arbitrary application-level IDL and ASN.l specifications can be translated into C++ representations based on these class libraries. The OODSF contains facilities for encoding and decoding transferred data, allowing interoperability in a heterogeneous distributed system. A general interface is provided to encoding and decoding services so that a flexible choice of an encoding rule can be made. The current implementation of the OODSF contains external Encoding Rule (XDR) and Basic Encoding Rule (BER). / Master of Science

Page generated in 0.0224 seconds