SIMULATING SDL USING SITE
|
|
- Rafe Hines
- 5 years ago
- Views:
Transcription
1 SIMULATING SDL USING SITE KEYWORDS Telecommunications, Model evaluation, Interactive simulation, Real-time simulation ABSTRACT This paper presents a tool chain to compile SDL specifications into simulators. Such simulators can be used to analyse and verify the specification. The SITE code generator translates the specification into C++, which allows to flexibly replace the underlying run-time system. INTRODUCTION INTO SDL Nils Fischbeck, Martin von Löwis Humboldt-Universität zu Berlin Axel-Springer-Str. 54a Berlin fischbec loewis@informatik.hu-berlin.de The following description of SDL is a simplification, for a complete reference, the reader is referred to the ITU recommendation Z.100 (ITU-T 1996b). SDL-96 is the ITU Specification and Description Language. It is standardized in the ITU Recommendation Z.100 and it is based on the concept of communicating extended finite state machines. Each state machine works in a stimulus/response fashion. SDL is mostly used for the specification of telecommunication systems, but can be used to describe any discrete system which exhibits an eventdriven control flow. With the 1992 revision of SDL, object-oriented constructs were introduced into the language. SDL now contains a typing concept for structuring the system, and concepts of virtuality and inheritance to allow for hierarchies of types. SDL provides concepts to describe both the structure and the behaviour of a distributed system. On the structural level, a system or system type is subdivided into blocks. The concept of block is usually used to express physical distribution, meaning that the processes inside different blocks are executed at different physical locations. A block consists of sets of processes, which define the behaviour of the block. The behaviour of a process is described using a state-transition-diagram, which is shared by all processes of a set. All processes execute independently from each other, and possibly in parallel. They communicate by exchanging signals. The signals are delivered via signal routes and channels, and end up in the input port of the receiving process. THE PURPOSE OF SDL SIMULATIONS Specifications written in SDL can serve multiple purposes: yield an informal description of an application, yield a description of a standardized interface (e.g. SDL in ITU-T standards), yield a prototype of an application for design evaluation, yield an executable to derive or evaluate a test specification (e.g. Computer Aided Test Generation (CATG)) or yield an executable specification for deployment on the target device. To improve the quality of the SDL specification the following could be done: manual review, running test sequences against an executable version of the specification, transformation of the specification into a calculus and proving properties of the specification and running a simulation of the specification.
2 This paper focuses on the simulation of SDL specifications. The purposes of the simulation is twofold: evaluating the quality of the specification itself (Are there any programming errors?) and evaluating the design of the application (Does the specification provide the functionality it should?). This separation implies that there is a clear specification on what the application should do. By simulation the following groups of error situations can be identified: structuring errors, communication errors, timing errors and behavioural errors. Note that this structuring does not imply a formal, disjunct or exhaustive definition of errors. Structuring errors comprise all errors regarding the static and dynamic structure of the specification. A structuring error occurs for example if there is no initial instance of a process in a specification or if the maximum number of processes of a kind is reached but additional processes should be created. Communication errors prevent communication or enable communication between wrong entities. The first kind of error can happen if there is no channel or signalroute definition when there should be one. Wrong communication can take place for instance if a signal is addressed to the wrong target process. Timing errors occur when an action is executed at a wrong moment in relation to another event or at a wrong absolute time. The first error can happen for instance if two processes should synchronize but do not. Wrong timer values cause the second kind of error. The last group of errors, behavioural errors, comprise all kinds of errors that programming languages like C++ or Pascal cope with. Examples of such errors are the missing of the initialisation of a variable or the missing of a connection branch in a decision (equivalent to a switch in C). To identify such errors it is necessary that the user can influence the simulation. The SDL integrated tool environment SITE developed at Humboldt-University includes an interactive SDL simulator. The following section gives an introduction into SITE. Thereafter details are given how the simulator is structured internally and what capabilities it has to influence the simulation. THE SDL INTEGRATED TOOL ENVIRONMENT SITE The SITE tools comprise programs from the design of a specification to the generation of executable code. Almost all tool components support the 1996 revision of the language (ITU-T 1996b). The tools support the inclusion of ASN.1 data types according to ITU-T standard Z.105 (ITU-T 1996c). Specifications are written by using the textual or graphical SDL editor. Specifications can be analysed using the SDL analyser to identify syntactical and semantical errors. These errors are marked in the used editor. From a valid specification C++ code can be generated. The generated C++ code can be compiled to yield object files. These files must be either linked with a simulation library to generate an executable simulation. Linked with a run time library an executable application is produced. Additional tools like a message sequence chart editor or cross reference tool are under development.
3 Figure 1: SITE components SDL/GR Specification SDL/PR Specification ASN.1 Module system upper_layer; block service_entity; messages DEFINITIONS ::= BEGIN SDL/ASN.1 Parser Syntax-oriented Editor Semantical Analysis Proto-Lib Common Representation Pretty Printer Sim-Lib C++ Generator main() {...} Implementation Simulation EXECUTING SDL IN A SIMULATION ENVIRONMENT In order to execute an SDL specification, the SITE C++ generator translates the SDL specification into a set of C++ classes. Those classes are derived from classes defined in the SDL simulation library. When the simulation starts, the runtime system creates an instance of the toplevel SDL system. This, in turn, will create enclosed block and process instances. After the initialisation is finished, the start transitions for all processes are executed. The further execution of the specification is driven by the events generated by the execution of prior transitions. In order to simplify maintenance of the generated code, and to allow for better interpretation of the simulation results on the SDL level, the generated C++ classes have a structure similar to the one of SDL. Type specialization of SDL is translated into class inheritance in C++, virtual types of SDL are translated into virtual functions of C++, and actual context parameters are represented as pointers to C++ instances. The simulation library is based on the ODEM library (Ahrens and Fischer 1996) for discrete systems. An SDL process is implemented as a coroutine, which will execute SDL code until it passes control to another process. The scheduling is based on the progress of simulation time and the arrival of input events. Time consumption occurs for the following reasons: a signal is delayed in a channel, a process sets a timer, and the transition of a process consumes time. Because the details of time consumption are not specified on the SDL level, this information needs to be provided during the simulation. To reduce the number of parameters, several pre-packaged sets are provided:
4 zero-time: actions consume no time, single-step: actions consume a single unit of model time, variable delay: the delays for actions are statistically distributed. For simultaneous events, several scheduling strategies are provided. A process can either execute until it blocks, or yield control after processing a single signal. If more than one process is ready at a time, the next process could be either randomly selected, or in a FIFO manner. For delayed channels and remote procedures, the delay can be either constant, depending on the channel, or depending on the signal. If a process is not ready, it waits for the arrival of several stimuli (signal arrival, continuous signals, spontaneous transitions, enabling transitions, and remote procedure invocations). If a signal enters the process input port, the generated transition function is invoked to select the corresponding transition. If the signal input is guarded with an enabling condition, the signal is saved until the enabling condition becomes true. ANALYSING THE SIMULATION RESULTS In order to interpret the simulation results and to control the experiment, an user interface is necessary. Currently, two analysis tools are being developed: a debugger and a MSC generator. The debugger presents the current state of the simulation in the way traditional debuggers do. The MSC generator non-interactively traces the control flow and displays the resulting message sequence chart. In order to develop analysis tools independently from the simulator, a CORBA based interface is provided between the simulator and the analysis tool. Via this interface, the analysis tool can request notification about the following events: process creation and termination, signal arrival, state change, execution of a task and procedure invocation and termination. The debugger uses these events to allow to set breakpoints on state events or source code lines. In addition, the CORBA interface allows to modify the state of the simulation. In particular, the debugger allows to: introduce new signals into and delete signals from the system, create and terminate processes, inspect and modify variables. The message sequence chart generator uses the same events, but does not modify the state of the simulation. Using statistical analyses on the trace data is for further study. APPLICATION OF SITE SDL has been used at Humboldt-University in many application fields. Among them are the following projects. The Platinum project developed an experimental B-ISDN platform to verify the advantages of the new signalling protocol Q.2931ext. This protocol was an outcome of the RACE MAGIC project on new B- ISDN services. Most components in this project were written in SDL and transformed to executables using the development environment SITE. The OOSPEC project used SDL to define a SDL 92 version of the ISDN basic call service. It was used in the ITU-T standard Q.71 to define an overall view of the basic call. SDL was the implementation language to define a prototype of the B-ISDN NNI protocol according to ITU-T standard Q The prototype was simulated to evaluate the protocol definition. In ETSI project PT87 SDL is used to evaluate test specifications in TTCN for B- ISDN protocol Q Therefore a specification of the protocol was used to simulate test purposes and in a later stage a specification will serve as a sample implementation under test to evaluate test cases. In all these projects it has been shown that the
5 development of a simulation or a prototype of the target system using SITE will improve the specification and yield software with higher quality. However the developement of SITE components is an ongoing process which will lead to even more convenient software development tools. New components are an integrated MSC editor and a cross reference viewer. The usage of SITE in an open distributed processing environment based on CORBA is currently investigated (Fischbeck et al.). specifications In FMOODS 97 (Canterbury, United Kingdom). Chapman & Hall. Löwis, M. v SITE - Eine SDL- Entwicklungsumgebung In Formale Beschreibungstechniken für verteilte Systeme (Berlin, Germany, ). GMD. Schröder, R. SDL Integrated Tool Environment, Themen/SITE/. CONCLUSION The specification and description language SDL has proven to serve as an engineering language for the development of applications in the telecommunication domain. For the evaluation of the quality of SDL specifications it is necessary to simulate the system. The SDL integrated tool environment SITE developed at Humboldt-University comprises an SDL simulator with interactive capabilities. It is based on C++ code generated from the SDL specification. REFERENCES Ahrens, K. and Fischer, J Objektorientierte Prozeßsimulation in C++. Addison- Wesley, Bonn. ITU-T Digital Subscriber Signalling System No. two (DSS2) protocol; B-ISDN user-network interface layer 3 specification for basic call/bearer control; Recommendation Q.2931, Part 1: Protocol specification. ITU-T, Genf. ITU-T SDL - Specification Description Language; Recommendation Z.100, Genf. ITU-T SDL in combination with ASN.1; Recommendation Z.105, Genf. ITU-T Message Sequence Charts; Recommendation Z.120, Genf. Fischbeck, N.; Fischer, J.; Holz E.; Löwis, M. v.; Kath, O.; Schröder, R.; Improving the development and validation of viewpoint
Co-Simulation of Hybrid SDL and VHDL Specifications
Co-Simulation of Hybrid SDL and VHDL Specifications Maciej Wasowski, Dorota Witaszek, Joachim Fischer, Eckhardt Holz, Stefanie Lau, Olaf Kath Humboldt-University of Berlin - Department of Computer Science
More informationPossibility of SystemC code generation from SDL specication
Possibility of SystemC code generation from SDL specication April 26, 2012 Agenda Network protocol design SDL language and its features Purpose of SDL specication Obtaining an executable SDL model SDL
More informationPragmaDev. change request. Emmanuel Gaudin. PragmaDev ITU-T SG17 change request Grimstad June 24,
PragmaDev change request Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Languages Table of contents PragmaDev introduction Languages SDL-RT Tool support Market tendancy Change requests Presentation PragmaDev
More informationAutomatic test generation based on functional coverage
12 juin 2014 Automatic test generation based on functional coverage Emmanuel Gaudin PragmaDev UCAAT 2014 PragmaDev French SME, Created in 2001 by 2 two experts in modelling tools and languages Since creation
More informationSDL Code Generation for Open Systems
SDL Code Generation for Open Systems Joachim Fischer 1, Toby Neumann 1, and Anders Olsen 2 1 Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin, Germany {fischer tneumann}@informatik.hu-berlin.de
More informationSpecification and design of distributed embedded middleware applications with SDL Dr. Eckhardt Holz. Humboldt-Universität zu Berlin
Specification and design of distributed embedded middleware applications with SDL-2000 Dr. Eckhardt Holz Humboldt-Universität zu Berlin SDL-2000 ITU-T Specification and Description Language graphical language
More information1 Introduction to. Languages and Notations. Chapter
1 Introduction to Languages and Notations This chapter begins with a brief introduction to SDL; the language, its history, its main concepts and application areas. Next follows an introduction to the MSC
More informationETSI ETR 346 TECHNICAL December 1996 REPORT
ETSI ETR 346 TECHNICAL December 1996 REPORT Source: ETSI TC-RES Reference: DTR/RES-06013-1 ICS: 33.020 Key words: Testing, TTCN, abstract test suite, validation Radio Equipment and Systems (RES); Trans-European
More informationAutolink. A Tool for the Automatic and Semi-Automatic Test Generation
Autolink A Tool for the Automatic and Semi-Automatic Test Generation Michael Schmitt, Beat Koch, Jens Grabowski and Dieter Hogrefe University of Lubeck, Institute for Telematics, Ratzeburger Allee 160,
More informationSDL. Jian-Jia Chen (slides are based on Peter Marwedel) TU Dortmund, Informatik 年 10 月 18 日. technische universität dortmund
12 SDL Jian-Jia Chen (slides are based on Peter Marwedel) TU Dortmund, Informatik 12 2017 年 10 月 18 日 Springer, 2010 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Models
More informationFOUR INDEPENDENT TOOLS TO MANAGE COMPLEXITY INHERENT TO DEVELOPING STATE OF THE ART SYSTEMS. DEVELOPER SPECIFIER TESTER
TELECOM AVIONIC SPACE AUTOMOTIVE SEMICONDUCTOR IOT MEDICAL SPECIFIER DEVELOPER FOUR INDEPENDENT TOOLS TO MANAGE COMPLEXITY INHERENT TO DEVELOPING STATE OF THE ART SYSTEMS. TESTER PragmaDev Studio is a
More informationIntroduction to Telelogic Tau SDL Suite
Introduction to Telelogic Tau SDL Suite 200109 Copyright by Telelogic AB 1991-2001 This publication contains course materials and examples of applications of the Program and is owned by Telelogic and is
More informationFSMs & message passing: SDL
12 FSMs & message passing: SDL Peter Marwedel TU Dortmund, Informatik 12 Springer, 2010 2012 年 10 月 30 日 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Models of computation
More informationAn Approach to Software Component Specification
Page 1 of 5 An Approach to Software Component Specification Jun Han Peninsula School of Computing and Information Technology Monash University, Melbourne, Australia Abstract. Current models for software
More informationDescribing Computer Languages
Markus Scheidgen Describing Computer Languages Meta-languages to describe languages, and meta-tools to automatically create language tools Doctoral Thesis August 10, 2008 Humboldt-Universität zu Berlin
More informationImproving the Quality of Test Suites for Conformance. Tests by Using Message Sequence Charts. Abstract
1 Improving the Quality of Test Suites for Conformance Tests by Using Message Sequence Charts Jens Grabowski a ; Dieter Hogrefe a, Iwan Nussbaumer b, and Andreas Spichiger a Abstract The test of a communication
More informationDebugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior
Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior Andrew J. Ko and Brad A. Myers School of Computer Science, Carnegie Mellon University Presenter: Shaosong Li
More informationT : Protocol Design
T-110.300: Protocol Design Protocol Design Theory Methods Protocol Engineering Process (PEP) Timo.Kyntaja@vtt.fi 1 (154) Motivation Telecom systems engineering is a huge industry networks, terminals, services
More informationITU-T Z.100. Specification and Description Language Overview of SDL-2010
International Telecommunication Union ITU-T Z.100 TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU (12/2011) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description
More informationCASE (Computer-Aided Software Engineering)
CASE (Computer-Aided Software Engineering) Slide 5.1 Scope of CASE Can support the entire life-cycle Graphical display tools (many for PCs) Data flow diagrams Entity-relationship diagrams Module-interconnection
More informationThe etrice Eclipse Project Proposal
The etrice Eclipse Project Proposal Dipl.-Ing. Thomas Schütz, Protos Software GmbH Eclipse Embedded Day 2010, Stuttgart Agenda Motivation Scope of etrice ROOM Language Codegenerators Middleware Realization
More informationThe Method for Verifying Software Architecture with FSP Model
The Method for Verifying Software Architecture with FSP Model Kim, Jungho SKC&C Inc., SK u-tower 25-1, Jeongja-dong, Bundang-gu, Seongnam-si, Gyeonggi-do 463-844, Korea kimjh@skcc.com Abstract C&C view
More informationUNIT IV -MACROPROCESSOR
CS2304-SYSTEM SOFTWARE 2 MARK QUESTION & ANSWERS. UNIT IV -MACROPROCESSOR 1. Define macro. A macro represents a group of statements in a source language, for performing some function macro can be defined
More informationCIS 1.5 Course Objectives. a. Understand the concept of a program (i.e., a computer following a series of instructions)
By the end of this course, students should CIS 1.5 Course Objectives a. Understand the concept of a program (i.e., a computer following a series of instructions) b. Understand the concept of a variable
More informationON THE DESIGN OF THE NEW TESTING LANGUAGE TTCN-3
1 ON THE DESIGN OF THE NEW TESTING LANGUAGE TTCN-3 Jens Grabowski a, Anthony Wiles b, Colin Willcock c, Dieter Hogrefe a a Institute for Telematics, University of Lübeck, Ratzeburger Allee 160, D-23538
More informationModelling Functionality of Train Control Systems using Petri Nets
Modelling Functionality of Train Control Systems using Petri Nets Michael Meyer zu Hörste and Hardi Hungar German Aerospace Centre (DLR) Institute of Transportation Systems Lilienthaplatz 7, 38108 Braunschweig,
More informationTOWARDS THE THIRD EDITION OF TTCN
2 TOWARDS THE THIRD EDITION OF TTCN Jens Grabowski and Dieter Hogrefe Institute for Telematics, University of Lubeck, Ratzeburger Allee 160, D-23538 Lubeck, Germany { jens,hogrefe} @ itm.mu-luebeck.de
More informationApplication of UML within the Scope of new Telecommunication Architectures
1 Application of UML within the Scope of new Telecommunication Architectures Dr. Eckhardt Holz Humboldt-Universität zu Berlin Institut für Informatik A.-Springer-Str.54a 10117 Berlin - Germany holz@informatik.hu-berlin.de
More informationEvolution of Real-Time TTCN Testing based on Prioritised Scheduling
Evolution of Real-Time TTCN Testing based on Prioritised Scheduling CKavadias*, ALitke*, GThanos*, VKollias* and WSkelton** *TELETEL SA; 124, Kifisias Avenue, Athens, GREECE Tel: + 30 1 6983393; Fax: +30
More informationPromela and SPIN. Mads Dam Dept. Microelectronics and Information Technology Royal Institute of Technology, KTH. Promela and SPIN
Promela and SPIN Mads Dam Dept. Microelectronics and Information Technology Royal Institute of Technology, KTH Promela and SPIN Promela (Protocol Meta Language): Language for modelling discrete, event-driven
More informationSpecification and Description Language (SDL)
Specification and Description Language (SDL) Dr.-Ing. Andreas Könsgen ajk@comnets.uni-bremen.de Slide 1 Introduction Formal specification languages Performance evaluation of formally specified protocols
More informationA Metamodel for SDL-2000 in the Context of Metamodelling ULF
A Metamodel for SDL-2000 in the Context of Metamodelling ULF Joachim Fischer, Michael Piefel, and Markus Scheidgen Humboldt Universität zu Berlin Institut für Informatik Unter den Linden 6 0099 Berlin,
More informationOBJECT-ORIENTED SOFTWARE DEVELOPMENT Using OBJECT MODELING TECHNIQUE (OMT)
OBJECT-ORIENTED SOFTWARE DEVELOPMENT Using OBJECT MODELING TECHNIQUE () Ahmed Hayajneh, May 2003 1 1 Introduction One of the most popular object-oriented development techniques today is the Object Modeling
More informationA FLEXIBLE TRAFFIC GENERATOR FOR TESTING PABX AND CALL CENTER PERFORMANCE
A FLEXIBLE TRAFFIC GENERATOR FOR TESTING PABX AND CALL CENTER PERFORMANCE Georg RoBler Tenovis GmbH &J Co. KG, KleyerstmjJe 94, D-60326 Frankfurt am Main, Germany, Georg.Roessler@tenovis.com Thomas Steinert
More informationA
TUTORIAL Introduction - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 3 A simple system - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 6 PragmaDev
More informationAbstract formula. Net formula
{ PEP { More than a Petri Net Tool ABSTRACT Bernd Grahlmann and Eike Best The PEP system (Programming Environment based on Petri Nets) supports the most important tasks of a good net tool, including HL
More informationA Message Sequence Chart-Profile for Graphical Test Specification, Development and Tracing Graphical Presentation Format for TTCN-3
A Message Sequence Chart-Profile for Graphical Test Specification, Development and Tracing Graphical Presentation Format for TTCN-3 Paul Baker 1, Jens Grabowski 2, Ekkart Rudolph 3, Ina Schieferdecker
More informationYxilon a Modular Open-Source Statistical Programming Language
a Modular Open-Source Statistical Programming Language Sigbert Klinke Uwe Ziegenhagen Yuval Guril Institute für Statistics and Econometrics Humboldt-Universität zu Berlin http://ise.wiwi.hu-berlin.de http://www.quantlet.org
More informationPERFORMANCE TESTING AT EARLY DESIGN PHASES
20 PERFORMANCE TESTNG AT EARLY DESGN PHASES Peter Csurgay Department oftelematics, Norwegian University of Science and Technology Peter.Csurgay@eth.ericsson.se Mazen Malek Conformance Center, Ericsson
More informationFiona A Tool to Analyze Interacting Open Nets
Fiona A Tool to Analyze Interacting Open Nets Peter Massuthe and Daniela Weinberg Humboldt Universität zu Berlin, Institut für Informatik Unter den Linden 6, 10099 Berlin, Germany {massuthe,weinberg}@informatik.hu-berlin.de
More informationIntroduction to Problem Solving and Programming in Python.
Introduction to Problem Solving and Programming in Python http://cis-linux1.temple.edu/~tuf80213/courses/temple/cis1051/ Overview Types of errors Testing methods Debugging in Python 2 Errors An error in
More information)454 : ).42/$5#4)/. 4/ 4(% ##)44 -!.-!#().%,!.'5!'% )454 Recommendation : INTERNATIONAL TELECOMMUNICATION UNION
INTERNATIONAL TELECOMMUNICATION UNION )454 : TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU -!.-!#().%,!.'5!'% ).42/$5#4)/. 4/ 4(% ##)44 -!.-!#().%,!.'5!'% )454 Recommendation : (Extract from the "LUE
More informationHelsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports 21
Helsinki University of Technology Laboratory for Theoretical Computer Science Technical Reports 21 Teknillisen korkeakoulun tietojenkäsittelyteorian laboratorion tekninen raportti 21 Espoo 2004 HUT-TCS-B21
More informationSimulation Models for Manufacturing Systems
MFE4008 Manufacturing Systems Modelling and Control Models for Manufacturing Systems Dr Ing. Conrad Pace 1 Manufacturing System Models Models as any other model aim to achieve a platform for analysis and
More informationModel-Based Testing: an Approach with SDL/RTDS and DIVERSITY
Model-Based Testing: an Approach with SDL/RTDS and DIVERSITY {julien.deltour,emmanuel.gaudin} @pragmadev.com {alain.faivre,arnault.lapitre} @cea.fr PragmaDev SAM 2014 French SME, Created in 2001 by 2 experts
More informationOn Implementing MOF 2.0 New Features for Modelling Language Abstractions
On Implementing MOF 2.0 New Features for Modelling Language Abstractions Markus Scheidgen Humboldt Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin, Germany scheidge@informatik.hu-berlin.de
More informationFrom Models to Components. Rapid Service Creation with
From Models to Components Rapid Service Creation with Marc Born, Olaf Kath {born kath}@ikv.de Evolutions in Software Construction C O M P L E X I T Y Model Driven Architectures Meta Object Facility and
More informationModels of computation
12 Models of computation Peter Marwedel TU Dortmund Informatik 12 Springer, 2010 2012 年 10 月 23 日 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Models of computation What
More informationA Short Summary of Javali
A Short Summary of Javali October 15, 2015 1 Introduction Javali is a simple language based on ideas found in languages like C++ or Java. Its purpose is to serve as the source language for a simple compiler
More informationPRINCIPLES OF COMPILER DESIGN UNIT I INTRODUCTION TO COMPILING
PRINCIPLES OF COMPILER DESIGN 2 MARKS UNIT I INTRODUCTION TO COMPILING 1. Define compiler? A compiler is a program that reads a program written in one language (source language) and translates it into
More informationA Model-based Standard for SDL
A Model-based Standard for SDL Andreas Prinz 1, Markus Scheidgen 2, and Merete S. Tveit 1 1 Faculty of Engineering, Agder University College Grooseveien 36, N-4876 Grimstad, Norway andreas.prinz@hia.no,
More informationModel-checking with the TimeLine formalism
Model-checking with the TimeLine formalism Andrea Zaccara University of Antwerp Andrea.Zaccara@student.uantwerpen.be Abstract A logical model checker can be an effective tool for verification of software
More informationDistributed Systems Programming (F21DS1) Formal Verification
Distributed Systems Programming (F21DS1) Formal Verification Andrew Ireland Department of Computer Science School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh Overview Focus on
More informationEN V1.2.4 ( )
European Standard (Telecommunications series) Integrated Services Digital Network (ISDN); Explicit Call Transfer (ECT) supplementary service; Digital Subscriber Signalling System No. one (DSS1) protocol;
More informationProject 5 Due 11:59:59pm Tue, Dec 11, 2012
Project 5 Due 11:59:59pm Tue, Dec 11, 2012 Updates Dec 10 - Fixed X.new typos (should have been new X ). Changed error message for instantiation Bot; either the old or new error message is acceptable.
More informationThe Grid-Occam Project
I. Overview Project Title The Grid-Occam Project Contributors Names The Grid-Occam Project Andreas Polze, Peter Tröger, Martin von Löwis Abstract Occam is a parallel processing language designed by a team
More informationSNiFF+ for Eiffel: A new programming environment for Eiffel
SNiFF+ for Eiffel: A new programming environment for Eiffel by Jan Willamowius Abstract: Until recently Eiffel developers were stuck with whatever programming environment was (or wasn t) provided by their
More informationA Design Methodology for the Exploitation of High Level Communication Synthesis
A Design Methodology for the Exploitation of High Level Communication Synthesis Francesco Bruschi, Politecnico di Milano, Italy Massimo Bombana, CEFRIEL, Italy Abstract In this paper we analyse some methodological
More informationDevelopment of Parlay-based Services Using UML and SDL
Development of Parlay-based Services Using UML and SDL Markos Koltsidas, Ognjen Prnjat, Lionel Sacks Departement of Electronic and Electrical Engineering, University College London, Torrington Place, London
More informationExercise Unit 2: Modeling Paradigms - RT-UML. UML: The Unified Modeling Language. Statecharts. RT-UML in AnyLogic
Exercise Unit 2: Modeling Paradigms - RT-UML UML: The Unified Modeling Language Statecharts RT-UML in AnyLogic Simulation and Modeling I Modeling with RT-UML 1 RT-UML: UML Unified Modeling Language a mix
More informationSOFTWARE ENGINEERING UML FUNDAMENTALS. Saulius Ragaišis.
SOFTWARE ENGINEERING UML FUNDAMENTALS Saulius Ragaišis saulius.ragaisis@mif.vu.lt Information source Slides are prepared on the basis of Bernd Oestereich, Developing Software with UML: Object- Oriented
More information5. Semantic Analysis!
5. Semantic Analysis! Prof. O. Nierstrasz! Thanks to Jens Palsberg and Tony Hosking for their kind permission to reuse and adapt the CS132 and CS502 lecture notes.! http://www.cs.ucla.edu/~palsberg/! http://www.cs.purdue.edu/homes/hosking/!
More informationSpecifications and Modeling
12 Specifications and Modeling Peter Marwedel TU Dortmund, Informatik 12 Springer, 2010 2012 年 10 月 17 日 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Hypothetical design
More informationUML SPECIFICATION BASED FAULT DIAGNOSIS IN EMBEDDED SYSTEMS
UML SPECIFICATION BASED FAULT DIAGNOSIS IN EMBEDDED SYSTEMS F. Matzke 1, V. Vasyutynskyy 2, K. Kabitzsch 2 1 Océ Printing Systems GmbH, Siemensallee 2, D-85586 Poing, Germany, fax: ++49 8121 72 3173, e-mail:
More informationMEMOCenterNG A full-featured modeling environment for organization modeling and model-driven software development
MEMOCenterNG A full-featured modeling environment for organization modeling and model-driven software development Jens Gulden and Prof. Dr. Ulrich Frank University Duisburg-Essen, Universitaetsstr. 9,
More informationPICSIL. A Data Flow Approach to Silicon Compilation. top-down decomposition. Programming Language primitives
PICSIL A Data Flow Approach to Silicon Compilation M W Pearson P J Lyons M D Apperley Department of Computer Science Massey University Palmerston North, New Zealand Silicon Compilation is a promising approach
More informationProgramming Languages Third Edition
Programming Languages Third Edition Chapter 12 Formal Semantics Objectives Become familiar with a sample small language for the purpose of semantic specification Understand operational semantics Understand
More informationModeling, Testing and Executing Reo Connectors with the. Reo, Eclipse Coordination Tools
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Modeling, Testing and Executing Reo Connectors with the
More informationSemantic Analysis and Type Checking
Semantic Analysis and Type Checking The compilation process is driven by the syntactic structure of the program as discovered by the parser Semantic routines: interpret meaning of the program based on
More informationTransforming UML Collaborating Statecharts for Verification and Simulation
Transforming UML Collaborating Statecharts for Verification and Simulation Patrick O. Bobbie, Yiming Ji, and Lusheng Liang School of Computing and Software Engineering Southern Polytechnic State University
More informationINTERNATIONAL TELECOMMUNICATION UNION
INTERNATIONAL TELECOMMUNICATION UNION ITU-T Q.774 TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU (06/97) SERIES Q: SWITCHING AND SIGNALLING Specifications of Signalling System. 7 Transaction capabilities
More informationProject 5 Due 11:59:59pm Wed, Nov 25, 2015 (no late submissions)
Introduction Project 5 Due 11:59:59pm Wed, Nov 25, 2015 (no late submissions) In this project, you will write a compiler for a programming language called Rube, which is a small objectoriented programming
More informationA little History Domain Specific Languages Examples Tools Benefits A more theoretical View Programming and Modeling The LWES Project Bonus: Best
Domain Specific Languages Markus Voelter Independent/itemis voelter@acm.org A little History Domain Specific Languages Examples Tools Benefits A more theoretical View Programming and Modeling The LWES
More informationTowards Generating Domain-Specific Model Editors with Complex Editing Commands
Towards Generating Domain-Specific Model Editors with Complex Editing Commands Gabriele Taentzer Technical University of Berlin Germany gabi@cs.tu-berlin.de May 10, 2006 Abstract Domain specific modeling
More informationTechnischer Bericht. TTCN-3 Test Case Generation from Message Sequence Charts
Georg-August-Universität Göttingen Institut für Informatik ISSN 1611-1044 Nummer IFI-TB-2005 02 Technischer Bericht TTCN-3 Test Case Generation from Message Sequence Charts Michael Ebner Technische Berichte
More informationStatic analysis and testing of executable DSL specification
Static analysis and testing of executable DSL specification Qinan Lai 1, Andy Carpenter 1 1 School of Computer Science, the University of Manchester, Manchester, UK {laiq,afc}@cs.man.ac.uk Keywords: Abstract:
More informationUnit 1 Introduction to Software Engineering
Unit 1 Introduction to Software Engineering João M. Fernandes Universidade do Minho Portugal Contents 1. Software Engineering 2. Software Requirements 3. Software Design 2/50 Software Engineering Engineering
More informationCompositional Model Based Software Development
Compositional Model Based Software Development Prof. Dr. Bernhard Rumpe http://www.se-rwth.de/ Seite 2 Our Working Groups and Topics Automotive / Robotics Autonomous driving Functional architecture Variability
More informationEvent-Driven Virtual Machine for Business Integration Middleware
Event-Driven Virtual Machine for Business Integration Middleware Joachim H. Frank 1, Liangzhao Zeng 2, and Henry Chang 2 1 IBM Software Group jhfrank@us.ibm.com 2 IBM T.J. Watson Research Center {lzeng,hychang}@us.ibm.com
More informationImplementing heuristic testing selection
Implementing heuristic testing selection NICOLAE GOGA Eindhoven University of Technology P.O. Box 53, 5600 MB Eindhoven THE NETHERLANDS Abstract: [] elaborates an abstract theory for test selection. The
More informationStatic rules of variable scoping in Erlang
Proceedings of the 7 th International Conference on Applied Informatics Eger, Hungary, January 28 31, 2007. Vol. 2. pp. 137 145. Static rules of variable scoping in Erlang László Lövei, Zoltán Horváth,
More informationDebugging and Profiling
Debugging & Profiling Dr.-Ing. Thomas Springer M.Sc. Martin Weißbach Errors in Swift conditions can occur that require a deviation from the predefined control flow in order to handle e.g. a file does not
More informationMetamodeling. Janos Sztipanovits ISIS, Vanderbilt University
Metamodeling Janos ISIS, Vanderbilt University janos.sztipanovits@vanderbilt.edusztipanovits@vanderbilt edu Content Overview of Metamodeling Abstract Syntax Metamodeling Concepts Metamodeling languages
More informationDeveloping Web-Based Applications Using Model Driven Architecture and Domain Specific Languages
Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 2. pp. 287 293. Developing Web-Based Applications Using Model Driven Architecture and Domain
More informationProject 4 Due 11:59:59pm Thu, May 10, 2012
Project 4 Due 11:59:59pm Thu, May 10, 2012 Updates Apr 30. Moved print() method from Object to String. Apr 27. Added a missing case to assembler.ml/build constants to handle constant arguments to Cmp.
More informationTTCN-3 Test Case Generation from Message Sequence Charts
TTCN-3 Test Case Generation from Message Sequence Charts Michael Ebner Telematics Group, Institute for Informatics, Georg-August-Universität Göttingen, Germany, ebner@cs.uni-goettingen.de Abstract Scenario-based
More informationEUROPEAN ETS TELECOMMUNICATION June 1993 STANDARD
EUROPEAN ETS 300 239 TELECOMMUNICATION June 1993 STANDARD Source: ETSI TC-ECMA Reference: DE/ECMA-0045 ICS: 33.080 Key words: PTN, QSIG-GF, ECMA-165 Private Telecommunication Network (PTN); Inter-exchange
More informationDraft ES V1.1.1 ( )
Standard Integrated Services Digital Network (ISDN); Signalling System No.7; ISDN User Part (ISUP); Signalling aspects of charging 2 Reference DES/SPS-01049 (c0000icp.pdf) Keywords ISDN, SS7, ISUP, charging
More informationSimulator. Chapter 4 Tutorial: The SDL
4 Tutorial: The SDL Simulator The SDL Simulator is the tool that you use for testing the behavior of your SDL systems. In this tutorial, you will practice hands-on on the DemonGame system. To be properly
More informationEUROPEAN ETS TELECOMMUNICATION November 1995 STANDARD
EUROPEAN ETS 300 359-1 TELECOMMUNICATION November 1995 STANDARD Source: ETSI TC-SPS Reference: T/S 46-33G ICS: 33.080 Key words: ISDN, supplementary service Integrated Services Digital Network (ISDN);
More informationLocation in railway traffic: generation of a digital map for secure applications
Computers in Railways X 459 Location in railway traffic: generation of a digital map for secure applications F. Böhringer & A. Geistler Institut für Mess- und Regelungstechnik, University of Karlsruhe,
More informationCom S 541. Programming Languages I
Programming Languages I Lecturer: TA: Markus Lumpe Department of Computer Science 113 Atanasoff Hall http://www.cs.iastate.edu/~lumpe/coms541.html TR 12:40-2, W 5 Pramod Bhanu Rama Rao Office hours: TR
More informationjunit RV Adding Runtime Verification to junit
junit RV Adding Runtime Verification to junit Normann Decker, Martin Leucker, and Daniel Thoma Institute for Software Engineering and Programming Languages Universität zu Lübeck, Germany {decker, leucker,
More informationCOMPILER DESIGN LECTURE NOTES
COMPILER DESIGN LECTURE NOTES UNIT -1 1.1 OVERVIEW OF LANGUAGE PROCESSING SYSTEM 1.2 Preprocessor A preprocessor produce input to compilers. They may perform the following functions. 1. Macro processing:
More informationQuality-of-Service Testing. Specifying Functional QoS Testing Requirements by using Message. Sequence Charts and TTCN
Quality-of-Service Testing Specifying Functional QoS Testing Requirements by using Message Sequence Charts and TTCN Jens Grabowski a and Thomas Walter b a Medizinische Universitat zu Lubeck, Institut fur
More informationImplementing the eodl graphical representation
Implementing the eodl graphical representation Joachim Fischer, Andreas Prinz 2, Markus Scheidgen, and Merete S. Tveit 2 Department of Computer Science, Humboldt Universitt zu Berlin Unter den Linden 6,
More informationDomain-Specific Languages for Wireless Sensor Networks
Domain-Specific Languages for Wireless Sensor Networks Daniel A. Sadilek Humboldt-Universität zu Berlin Institute for Computer Science Rudower Chaussee 25 12489 Berlin, Germany sadilek@informatik.hu-berlin.de
More informationFormal Methods in Software Design. Markus Roggenbach
Formal Methods in Software Design Markus Roggenbach October 2001 2 Formal Methods Use of mathematics in software development main activities: writing formal specifications 2 Formal Methods Use of mathematics
More informationAn Automated Testing Environment to support Operational Profiles of Software Intensive Systems
An Automated Testing Environment to support Operational Profiles of Software Intensive Systems Abstract: Robert S. Oshana Raytheon Systems Company oshana@raytheon.com (972)344-783 Raytheon Systems Company
More informationDraft ETSI EN V1.1.1 ( )
Draft EN 301 850-1 V1.1.1 (2000-10) European Standard (Telecommunications series) Integrated Services Digital Network (ISDN); Signalling System No.7 (SS7); ISDN User Part (ISUP); Application transport
More information